【C++ Primer】拷贝控制

十三、复制控制

1. 复制构造函数

类中的成员函数都默觉得inline类型。所以即使在类定义体内的函数声明显示定义为inline类型，在进行函数定义时也可以将inline进行省略。

// 复制构造函数应该为常量引用类型，假设同意传值參数会造成无限循环调用从而导致内存溢出。

CopyConstruct(const CopyConstruct& a){value = a.value;}

复制构造函数可用于初始化顺序容器中的元素，如vector<string> svec(5）;

这样的方式使用了默认构造函数和复制构造函数。

编译器首先使用string的默认构造函数创建一个暂时值来初始化svec然后使用复制构造函数将暂时值拷贝到svec的每个元素。

数组成员是个例外，假设类具有数组成员。合成复制构造函数将复制数组，它将复制数组的每个元素。注意指针只复制字面值。



复制构造函数在向函数传递该类型的对象和从函数返回该类对象时隐式调用。因此不应该将复制构造函数指定为explicit。



仅仅包括类类型或内置类型（但不包括指针类型的）的类无需显式的定义复制构造函数。

当类有一个成员为指针类型或有成员在构造函数中分配的其它资源，这两种情况下都必须定义复制构造函数。

有些类须要全然禁止复制，如iostream类。假设想禁止复制，类必须显式声明其复制构造函数为private。

此时编译器将拒绝用户代码，不论什么进行复制的尝试。

可是此时在友元和类的成员中还能够进行复制。假设也想禁止它们，能够声明一个private复制构造函数，但不正确其定义。注意是定义。而不是把它定义为一个空的复制构造函数。

声明而不定义成员函数是合法的。可是使用没有定义成员函数的不论什么尝试都将导致链接失败。声明private的复制构造函数后，用户代码不论什么复制类类型对象的尝试都将导致语法错误。而在友元和成员函数的调用将导致链接错误。

假设定义了复制构造函数，编译器就不会合成默认构造函数了。

2. 赋值操作符

假设类未定义自己的赋值操作符，则编译器会合成一个。

赋值操作符的返回类型返回对左/右操作数的引用。且赋值操作符函数必须为类的成员函数，由于赋值必须是类的成员。參数列表中第一个形參为this指针，被省略了。

合成赋值操作符函数与合成复制构造函数操作类似，它也会运行逐个成员赋值。

一般而言假设类须要定义复制构造函数。它也会须要赋值操作符。

3. 析构函数

动态分配的对象仅仅有在该对象的指针被删除时才撤销。

当动态分配对象的引用或指针超出作用域时，不会执行析构函数。

仅仅有显式调用delete才会调用析构函数。但进程结束时会撤销。

假设类须要析构函数，则它也须要赋值操作符和复制构造函数，这被称为三法则。

编译器总会为我们合成一个析构函数，合成的析构函数按对象创建时的逆序撤销每一个非static成员。

对于类类型的成员，合成析构函数会调用该成员的析构函数来撤销对象。

合成析构函数并不删除指针成员所指向的对象。所以一般定义自己的析构函数以释放那些资源。

析构函数与复制构造函数或赋值运算符的一个重要差别是：即使我们编写了自己的析构函数，合成构造函数仍然执行。析构函数仅仅能有一个。

注意：这里使用的是执行。合成构造函数调用成员为类类型的析构函数，用于撤销成员。

4. 管理指针成员

大多数C++类採用下面三种方法之中的一个管理指针成员：

1：指针成员採取常规指针型行为。即不处理。

2：使用智能指针。採取引用计数来控制来管理贡献对象。

     class U_Ptr {
         friend class HasPtr;
         int *ip;
         size_t use;
         U_Ptr(int *p): ip(p), use(1) { }
         ~U_Ptr() { delete ip; }
     };

3：一个指向对象只。每个对象都有其自己的副本。

版权声明：本文博客原创文章，博客，未经同意，不得转载。