复制对象意味着什么?什么是复制构造函数和复制赋值运算符?我什么时候需要自己申报?如何防止复制对象?


当前回答

我什么时候需要自己申报?

三人法则规定,如果您声明

复制构造函数复制赋值运算符析构函数

那么你应该申报这三项。这是由于观察到,需要接管复制操作的含义几乎总是源于执行某种资源管理的类,这几乎总是意味着

无论在一个复制操作中进行了什么资源管理,都可能需要在另一复制操作中完成,并且类析构函数也将参与资源的管理(通常是释放资源)。要管理的经典资源是内存,这就是为什么所有标准库类管理内存(例如,执行动态内存管理的STL容器)都声明“三大”:复制操作和析构函数。

“三法则”的一个结果是,用户声明的析构函数的存在表明简单的按成员复制不太适合类中的复制操作。这反过来表明,如果类声明了析构函数,那么复制操作可能不会自动生成,因为它们不会做正确的事情。在采用C++98时,这一推理方式的重要性尚未得到充分认识,因此在C++98中,用户声明的析构函数的存在对编译器生成复制操作的意愿没有影响。C++11中的情况仍然如此,但这仅仅是因为限制复制操作的生成条件会破坏太多的遗留代码。

如何防止复制对象?

将复制构造函数和复制赋值运算符声明为私有访问说明符。

class MemoryBlock
{
public:

//code here

private:
MemoryBlock(const MemoryBlock& other)
{
   cout<<"copy constructor"<<endl;
}

// Copy assignment operator.
MemoryBlock& operator=(const MemoryBlock& other)
{
 return *this;
}
};

int main()
{
   MemoryBlock a;
   MemoryBlock b(a);
}

在C++11以后的版本中,您还可以声明复制构造函数和赋值运算符已删除

class MemoryBlock
{
public:
MemoryBlock(const MemoryBlock& other) = delete

// Copy assignment operator.
MemoryBlock& operator=(const MemoryBlock& other) =delete
};


int main()
{
   MemoryBlock a;
   MemoryBlock b(a);
}

其他回答

三巨头的法则如上所述。

一个简单的例子,用简单的英语来说,就是它解决的问题:

非默认析构函数

您在构造函数中分配了内存,因此需要编写一个析构函数来删除它。否则会导致内存泄漏。

你可能认为这已经完成了。

问题是,如果复制对象,则复制对象将指向与原始对象相同的内存。

一旦其中一个删除了其析构函数中的内存,另一个将有一个指向无效内存的指针(这称为悬空指针),当它试图使用它时,事情就会变得复杂起来。

因此,您编写了一个复制构造函数,以便它为新对象分配自己的内存以进行销毁。

赋值运算符和复制构造函数

您在构造函数中为类的成员指针分配了内存。复制此类的对象时,默认赋值运算符和复制构造函数会将此成员指针的值复制到新对象。

这意味着新对象和旧对象将指向同一块内存,因此当您在一个对象中更改它时,另一个对象也会更改它。如果一个对象删除了这个内存,另一个对象将继续尝试使用它。

要解决这个问题,您需要编写自己版本的复制构造函数和赋值运算符。您的版本为新对象分配单独的内存,并跨第一个指针所指向的值而不是其地址进行复制。

C++中的三原则是设计和开发三个要求的基本原则,即如果以下成员函数中的一个有明确的定义,那么程序员应该一起定义其他两个成员函数。也就是说,以下三个成员函数是必不可少的:析构函数、复制构造函数、复制赋值运算符。

C++中的复制构造函数是一个特殊的构造函数。它用于构建一个新对象,该新对象相当于现有对象的副本。

复制赋值运算符是一种特殊的赋值运算符,通常用于将现有对象指定给同类型对象的其他对象。

以下是一些快速示例:

// default constructor
My_Class a;

// copy constructor
My_Class b(a);

// copy constructor
My_Class c = a;

// copy assignment operator
b = a;

基本上,如果你有一个析构函数(不是默认的析构函数),这意味着你定义的类有一些内存分配。假设某个客户机代码或您在外部使用该类。

    MyClass x(a, b);
    MyClass y(c, d);
    x = y; // This is a shallow copy if assignment operator is not provided

如果MyClass只有一些基本类型的成员,则默认的赋值运算符可以工作,但如果它有一些指针成员和没有赋值运算符的对象,则结果将是不可预测的。因此,我们可以说,如果类的析构函数中有要删除的内容,我们可能需要一个深度复制运算符,这意味着我们应该提供一个复制构造函数和赋值运算符。

复制对象意味着什么?有几种方法可以复制对象——让我们来谈谈你最可能提到的两种——深度复制和浅层复制。

因为我们使用的是面向对象的语言(或者至少假设是这样),所以假设您分配了一块内存。由于它是一种OO语言,我们可以很容易地引用我们分配的内存块,因为它们通常是原始变量(int、chars、bytes)或我们定义的由我们自己的类型和原语组成的类。假设我们有一类汽车,如下所示:

class Car //A very simple class just to demonstrate what these definitions mean.
//It's pseudocode C++/Javaish, I assume strings do not need to be allocated.
{
private String sPrintColor;
private String sModel;
private String sMake;

public changePaint(String newColor)
{
   this.sPrintColor = newColor;
}

public Car(String model, String make, String color) //Constructor
{
   this.sPrintColor = color;
   this.sModel = model;
   this.sMake = make;
}

public ~Car() //Destructor
{
//Because we did not create any custom types, we aren't adding more code.
//Anytime your object goes out of scope / program collects garbage / etc. this guy gets called + all other related destructors.
//Since we did not use anything but strings, we have nothing additional to handle.
//The assumption is being made that the 3 strings will be handled by string's destructor and that it is being called automatically--if this were not the case you would need to do it here.
}

public Car(const Car &other) // Copy Constructor
{
   this.sPrintColor = other.sPrintColor;
   this.sModel = other.sModel;
   this.sMake = other.sMake;
}
public Car &operator =(const Car &other) // Assignment Operator
{
   if(this != &other)
   {
      this.sPrintColor = other.sPrintColor;
      this.sModel = other.sModel;
      this.sMake = other.sMake;
   }
   return *this;
}

}

深度副本是指我们声明一个对象,然后创建一个完全独立的对象副本。。。我们最终在两组完整的内存中找到了两个对象。

Car car1 = new Car("mustang", "ford", "red");
Car car2 = car1; //Call the copy constructor
car2.changePaint("green");
//car2 is now green but car1 is still red.

现在让我们做一些奇怪的事情。假设car2编程错误,或者故意共享car1所用的实际内存。(这样做通常是一个错误,在课堂上通常是讨论的毯子。)假装每当你问到car2时,你真的在解析一个指向car1内存空间的指针。。。这或多或少就是一个浅显的副本。

//Shallow copy example
//Assume we're in C++ because it's standard behavior is to shallow copy objects if you do not have a constructor written for an operation.
//Now let's assume I do not have any code for the assignment or copy operations like I do above...with those now gone, C++ will use the default.

 Car car1 = new Car("ford", "mustang", "red"); 
 Car car2 = car1; 
 car2.changePaint("green");//car1 is also now green 
 delete car2;/*I get rid of my car which is also really your car...I told C++ to resolve 
 the address of where car2 exists and delete the memory...which is also
 the memory associated with your car.*/
 car1.changePaint("red");/*program will likely crash because this area is
 no longer allocated to the program.*/

因此,无论你用什么语言写作,在复制对象时都要非常小心,因为大多数时候你都需要一个深度复制。

什么是复制构造函数和复制赋值运算符?我已经在上面使用过了。当您键入诸如Carcar2=car1之类的代码时,将调用复制构造函数;本质上,如果您声明一个变量并在一行中分配它,那就是调用复制构造函数的时候。赋值运算符是使用等号--car2=car1;时发生的情况;。注意car2没有在同一语句中声明。您为这些操作编写的两块代码可能非常相似。事实上,典型的设计模式有另一个函数,当您满足初始复制/分配是合法的时,您可以调用它来设置所有内容——如果您查看我编写的长代码,这些函数几乎完全相同。

我什么时候需要自己申报?如果您不是以某种方式编写要共享或用于生产的代码,那么您只需要在需要时声明它们。如果您选择“意外”使用程序语言,但没有创建程序语言,那么您确实需要了解程序语言的功能,即您获得了编译器默认值。例如,我很少使用复制构造函数,但赋值运算符重写非常常见。你知道你可以忽略加法、减法等的含义吗?

如何防止复制对象?使用私有函数覆盖允许为对象分配内存的所有方式是一个合理的开始。如果你真的不想让人复制它们,你可以公开它,并通过抛出一个异常来警告程序员,同时也不要复制对象。

三法则是C++的经验法则,基本上说

如果您的班级需要复制构造函数,分配运算符,或析构函数,如果定义明确,那么很可能需要所有三个。

原因是这三个类通常都用于管理资源,如果您的类管理资源,则通常需要管理复制和释放。

如果没有良好的语义来复制类管理的资源,那么考虑通过将复制构造函数和赋值运算符声明为私有来禁止复制。

(注意,即将发布的新版本的C++标准(即C++11)为C++添加了移动语义,这可能会改变三规则。然而,我对这一点了解太少,无法编写一篇关于三法则的C++11章节。)