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); AASS::graphmatch::Place ppp; AASS::graphmatch::Place p2(ppp); 尝试复制构造函数，并且在valgrind中有一个很大的段错误，告诉我在复制中删除后，我使用Conditional jump or move depends on uninitialised value(s) 。 makePointer中的makePointer方法执行一个new并返回一个指针Keypoint* 。

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

据我了解，应该使用delete释放每个新对象，因此这就是为什么在调用makePointer之前使用delete的原因。 所以这就是为什么我首先删除_kp释放旧的内存，然后为它分配新创建的指针。

我无法理解为什么我拥有未初始化的价值？

Answer 1

在副本构造函数中，您正在调用delete _kp; 。 但是_kp尚未初始化。

那不会很好地结束。

删除行delete _kp; 。 更好的是，考虑使用基本成员初始化 ：

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

更好的是，考虑为Keypoint成员使用托管指针类，如std::unique_ptr 。

Answer 2

您将复制构造函数编写为好像是赋值运算符一样：

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

    }

您可能需要一个赋值运算符，并且可能还需要一个复制构造函数。 但是它们不是同一回事。

_kp在进入复制构造函数时会保留垃圾，因此delete是一个错误。

Answer 3

您在副本构造函数中删除未初始化的指针：

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