复制构造函数类

Copy Constructor classes

本文关键字：构造函数 复制      更新时间：2023-10-16

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

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();
}

C++是如此神奇，以至于当你不为类定义复制构造函数、移动构造函数、复制赋值和移动赋值时，编译器将不得不为你定义它们(标准是这么说的)。当然，您可以通过以下方式删除它们：

func() = delete;

因此，例如，如果您想删除示例中的隐式复制构造函数，您可以声明：

test(const test&) = delete;

正如您所看到的，您的代码将不再编译。

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

现在，你的程序正在泄漏内存，对吧？您已呼叫new，但未呼叫delete。假设你想通过插入来清理你的资源

delete ptr;

在析构函数中(这是一个简化版本，当然你需要定义至少一个合适的移动赋值和移动构造函数)。你知道会发生什么吗？一个漂亮的运行时错误，告诉您试图释放的指针尚未分配。原因是，您的两个对象(t1和t2)析构函数a都将被调用，并且它们都将删除同一指针。第一个正确，第二个错误。

因此，在C++社区中建立了一个三规则(现在的五规则)。但你知道吗？甚至还有一个更好的规则，叫做零规则。总结一下(但你真的应该读一读)它说：不要自己做RAII。我建议你遵循后者。

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

指针曾经做过的大多数事情(可选参数、按指针传递数组、可复制引用等)现在都被"弃用"了(不是字面意义上的：它们仍然存在)，取而代之的是更性感的方法(即boost:optional/std::optional、std::array/std::vector、std::reference_wrapper)。即使所有这些都不能满足您的需求，您仍然可以使用std::shared_ptr和std::unique_ptr。

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

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

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

对于您的类，这三个特殊函数可以如下所示

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

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

您的复制构造函数可以看起来像：

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

顺便说一句，为了防止内存泄漏，您可能还需要定义一个去循环器。

~test()
{
delete ptr;
}
相关文章：