Question

这是我的一段代码，请帮助我了解如何使复制构造函数正确。我的类没有为它编写的复制构造函数

test(cosnt test&obj){
    ////////something
}

但是当我尝试制作test t2(t1);这样的副本时，它似乎被正确复制了！你能否向我解释一下，即使没有明确的复制构造函数，副本似乎也能正常工作？

#include <iostream>
using namespace std;

class test{
    int *ptr;
public:
    test(int t=0){
        ptr=new int;
        *ptr=t;
    }
    void increment(){
        (*ptr)++;
    }
    void display(){
        cout<<*ptr<<endl;
    }   
};

int main(){
    test t1;

    t1.display();
    t1.increment();
    t1.display();

    test t2(t1);//copy constructor works fine!
    t2.display();

    t1.increment();

    t1.display();   
    t2.display();
}

Answer 1

C ++是如此惊人，以至于当你没有定义一个复制构造函数，移动构造函数，复制赋值和移动一个类的赋值时，编译器必须为你定义它们（标准所说）。当然你可以通过以下方式删除它们：

func() = delete;

因此，例如，如果要在示例中删除隐式复制构造函数，则应声明：

test(const test&) = delete;

和as you can see您的代码将不再编译。

隐式复制构造函数的行为是您期望的行为：它将构造类的每个成员复制到另一个对象。在这种情况下，它将复制构造指针值（而不是指向的值），有效地使两个对象共享相同的指针。

现在，你的程序正在泄漏内存吗？您已拨打new但没有delete。假设您希望通过插入以下内容来清理资源：

delete ptr;

析构函数中的

（它是一个简化版本，当然你需要定义至少一个正确的移动赋值和移动构造函数）。你知道会发生什么吗？一个漂亮而美丽的运行时错误，告诉您尚未分配您尝试释放的指针。这就是为什么你的对象（t1和t2）析构函数都将被调用，它们都将删除相同的指针。第一个是正确的，第二个是错误的。

出于这个原因，在C ++社区中已经建立了Rule of three（现在的五条规则）。但你知道吗？甚至还有一个更好的规则称为Rule of Zero。总结一下（但你应该真的读到它）它说：不要自己做RAII。我建议你跟随后者。

现在，让我们讨论一点new。我相信你知道这一点，但我在这里是为了防止未来的损害：你不需要在C ++中使用new。在大多数情况下，不再是。

指针曾经做过的大多数事情（可选参数，通过指针传递数组，可复制引用等等）现在已被“弃用”（不是字面意义上的：它们仍在那里）支持更性感的方法（即boost:optional/std::optional，std::array / std::vector，std::reference_wrapper）。即使所有这些都无法满足您的需求，您仍然可以使用std::shared_ptr和std::unique_ptr。

所以，请不要使用裸new指针。感谢。

Answer 2

如果您没有自己定义复制构造函数，那么编译器会隐式定义它而不是您。此复制构造函数生成类数据成员的成员方式副本。相对于您的代码示例，隐式定义的复制构造函数将复制数据成员ptr。结果，两个或多个对象可以引用相同的内存。

您的类还需要析构函数和复制赋值运算符。

这三个specail函数可以通过以下方式为您的类

test( const test &rhs ) : ptr( new int( *rhs.ptr ) )
{
}

test & operator =( const test &rhs )
{
   if ( this != &rhs )
   {
      int tmp = new int( *rhs.ptr );
      delete ptr;
      ptr = tmp;
   }

   return ( *this );
}

~test()
{
   delete ptr;
}

Answer 3

您没有定义复制构造函数。就像@jrok所说的那样，编译器生成的默认复制构造函数只能执行浅成员复制。

您的复制构造函数可能类似于：

public:
    test(const test& t)
    {
        ptr = new int;
        *ptr = *t.ptr;
    }

顺便说一句，你可能也想定义一个destrcutor来防止内存泄漏。

~test()
{
    delete ptr;
}

复制构造函数类

3 个答案: