C++ конструктор копирования и указатель

Question

Я имею класс Place с такими методами:

class Place{ 

    protected: 
    Keypoint* _kp; 

    Place() { 
     Keypoint* kp = new Keypoint(); 
     _kp = kp; 
    }; 
    Place(const Place& cSource){ 
     delete _kp; 
     _kp = cSource.makePointer(); 

     } 
    virtual ~Place(){ 
     delete _kp; 
    } 

    virtual Keypoint* makePointer() const { 
     return _kp->makePointer(); 
    } 


}; 

Таким образом, конструктор, деструктор и метод копирования.

В моем основном я делаю что-то простое, как AASS::graphmatch::Place ppp; AASS::graphmatch::Place p2(ppp);, чтобы попробовать конструктор копирования, и у меня есть огромный segfault с valgrind, который говорит мне, что я использую Conditional jump or move depends on uninitialised value(s) после удаления в копии. Метод makePointer в Keypoint делает new и возвращает указатель Keypoint*.

virtual Keypoint* makePointer() const { 
    Keypoint* d = new Keypoint(); 
    return d; 
} 

Это мое понимание того, что каждый новый должен быть освобожден с помощью удаления так, поэтому я использую удалить перед вызовом makePointer. Поэтому я начинаю с удаления _kp, чтобы выпустить старую память, а затем присваиваю ей вновь созданный указатель.

Я не могу понять, почему у меня есть неинициализированное значение?

Answer 1

В своем конструкторе копирования вы вызываете delete _kp;. Но _kp не был инициализирован в этот момент.

Это не будет хорошо.

Удалить строку delete _kp;. А еще лучше, рассмотреть вопрос об использовании базового элемента инициализации:

Place(const Place& cSource) : _kp(cSource.makePointer()) 
{ 
} 

Даже лучше, чем, рекомендуется использовать управляемый класс указатель, как std::unique_ptr для Keypoint члена.

Answer 2

Вы написали свой конструктор копирования, как будто это оператор присваивания:

Place(const Place& cSource){ 
    delete _kp; 
    _kp = cSource.makePointer(); 

    } 

Вам может понадобиться оператор присваивания, и вам может понадобиться конструктор копирования. Но это не одно и то же.

При входе в конструктор копирования _kp держит мусор, так что delete является ошибкой.

Answer 3

Вы удалить uninitialzed указатель в конструкторе копирования:

Place(const Place& cSource){ 
    // delete _kp; // _kp is not initialized 
    _kp = cSource.makePointer(); // now _kp gets initialized 
}