Segfault при вызове метода подкласса

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 

    .... 
} 

Стоимость вызова на указатель подкласса перед попыткой копирования выполнена успешно. Я не включил подкласс, потому что он очень длинный и сложный.

Edit:

государство определяется следующим образом:

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

Answer 1

Да, вы объявляете переменную состояния как указатель, затем разыменования указателя, который имеет неизвестное значение, поэтому не указывают на действительный объект. Это плохая идея и в конечном итоге приведет к segfault или к доступу к неопределенной области памяти. Если вы не знаете подходящий подкласс состояния как при вызове метода, так и внутри него, я бы сказал, что у вас должна быть, например, функция чистого виртуального клонирования, которая создаст копию текущего состояния. Конечно, в подклассах это было бы почти одинаково. Но, как-то я считаю, что это может быть несколько уродливым, не уверен, что думают другие, я не опытный разработчик C++.
Если ваш сайт вызова, то есть функция, передающая указатель состояния, знает соответствующий подкласс, тогда вы можете рассмотреть возможность использования шаблонов, даже в сочетании с полиморфизмом.

Answer 2

Проблема здесь:

*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; 

Или гибрид из 2-х вариантов, в том случае, просто сделать копию вносить изменения и копирование в основных переменную, если справедливы и без ошибок:

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; 

Edit: Из-за проблемы с полиморфизмом и скопировать конструкторы, вы можете реализовать чистый виртуальный Клон e, но это приведет к распределению без стека, и вам нужно будет удалить или использовать автоматический указатель.

Copy object - keep polymorphism

Answer 3

Кроме того, обратите внимание, что конструктор копирования, что называется, является одним из класса государства. Это может вызвать проблему, если реализация Cost зависит от того, как данные фактического класса также будут скопированы в задании.