Question

我在如何编写一个很好的多态退火器类时遇到了一些麻烦。我确定我做的事情非常错误，这是一个重复的问题，但我一直在寻找很长一段时间而没有找到任何东西。

我想指向一个抽象类型State（称为pState）的实例，并使用纯虚函数Perturb（）（随机改变状态）和Cost（）（它评估成本）函数）找到一个最小化成本函数的状态。

我需要跟踪此函数中的多个子类实例，我相信这些变量的声明或赋值都会导致问题。

void Annealer::Minimise(State *pState){
    //Set up 
    ....
    ....
    State *state;
    State *newState;

    *state = *pState;
    *newState = *state;

    //Evaluate the initial cost
    pState->Cost(); //Works just fine
    double cost = state->Cost(); //Segfault

    ....
}

在尝试复制成功之前，在子类指针上调用Cost。我没有包含子类，因为它非常冗长而复杂。

编辑：

国家定义如下：

class State {
public:
    virtual void Perturb()=0;
    virtual double Cost()=0;
};

Answer 1

问题在于：

*state = *pState;
*newState = *state;

您正在尝试将pState复制到状态变量指向的位置（尚未设置）。如果要复制内存，则需要分配内存：

virtual State* State::clone() = 0;
State *state;
State *newState;
state = pState->clone();
newState = state->clone();
// do some stuff
delete state;
delete newState;

或将其保留为指针：

State *state;
State *newState;
state = pState;
newState = state;

或两种选项的混合，在简单地复制以进行更改并复制到主变量的情况下如果有效且没有错误：

virtual State* State::clone() = 0;
virtual void State::copy(State* cpy) = 0;
State *state;
State *newState;
state = pState;
newState = state->clone();
... // do stuff to newState
state->copy(newState); // copy changes to input
delete newState;

编辑：由于多态性和复制构造函数的问题，您可以实现纯虚拟克隆方法，但这将导致非堆栈分配，您将需要删除或使用自动指针。

Copy object - keep polymorphism

Answer 2

是的，您将状态变量声明为指针，然后取消引用具有未知值的指针，因此不指向有效对象。这是一个坏主意，最终会导致段错误或访问未定义的内存区域。如果你在调用方法和内部时都不知道正确的状态子类，我会说你应该有一个纯虚拟克隆成员函数来创建当前状态的副本。当然，它在子类中看起来几乎相同。但是，不知怎的，我相信它可能有些难看，不确定别人怎么想，我不是一个经验丰富的c ++ dev。如果你的调用站点，即传递状态指针的函数，知道正确的子类，那么你可以考虑使用模板，甚至结合多态。

Answer 3

另外，请注意，被调用的复制构造函数是类State。如果Cost的实现在某种程度上依赖于实际类的数据也要在赋值中复制，则可能会导致问题。

Segfault调用子类方法时

3 个答案: