C++ Primer 笔记10

1、复制构造函数、赋值操作符和析构函数总称为复制控制(copy control)。

2、复制构造函数可用于：

① 根据另一个同类型的对象显式或隐式初始化一个对象。

② 复制一个对象，将它作为实参传给一个函数。

③ 从函数返回时复制一个对象。

④ 初始化顺序容器中的元素。

⑤ 根据元素初始化式列表初始化数组元素。

3、vector<string> svec(5);
编译器首先使用string默认构造函数创建一个临时值来初始化svec，然后使用复制构造函数将临时值复制到svec的每个元素。

4、合成复制构造函数的行为是，指定逐个成员初始化，将新对象初始化为原对象的副本。
虽然一般不能复制数组，但如果一个类具有数组成员，则合成复制构造函数将复制数组。复制数组时合成复制构造函数将复制数组的每一个元素。

5、复制构造函数就是接受单个类类型应用形参(通常用const修饰)的构造函数。 
通过声明(但不定义)private复制构造函数，可以禁止任何复制类类型对象的尝试：
用户代码中的复制尝试将在编译时标记为错误，而成员函数和友元中的复制尝试将在链接时导致错误。

6、赋值操作符： 第一个形参对应着左操作数， 第二个形参对应右操作数。 当操作符为成员函数时，它的第一个操作数隐式绑定到this指针。
赋值操作符也返回对同一类类型的引用。

7、撤销一个容器(不管是标准库容器还是内置数组)时，也会运行容器中的类类型元素的析构函数。 容器中的元素总是按逆序撤销。

8、如果类需要析构函数，则它也需要赋值操作符和复制构造函数，这是一个有用的经验法则，这个法则常称为三法则(rule of
three)， 指的是如果需要析构函数，则需要所有这三个复制控制成员。

9、析构函数不能重载， 析构函数与复制构造函数或赋值操作符之间的一个重要区别是， 即使我们编写了自己的析构函数，合成析构函数仍然在我们自己定义的析构函数结束之后运行。

10、定义智能指针类：实现使用计数有两种经典策略，这个所用的方法中，需要定义一个单独的具体类用以封装使用计数和相关指针。

class U_Ptr{

   friend class HasPtr;

   int *ip;

   size_t use;

   U_Ptr(int *p): ip(p),
use(1){}

   ~U_Ptr(){delete ip;}

};

 
U_Ptr类保存指针和使用计数，每个HasPtr对象将指向一个U_Ptr对象，使用计数将跟踪指向每个U_Ptr对象的HasPtr对象的数目。

  使用计数类的使用：

 class HasPtr{

   public:

    
HasPtr(int *p, int i): ptr(new U_Ptr(p)), val(i){ }

    
HasPtr(const HasPtr &orig) : ptr(orig.ptr),
val(orig.val) { ++ptr->use;}

    
HasPtr& operator=(const HasPtr&
rhs)

    
{

       
++rhs.ptr->use;

       
if(--ptr->use == 0)

            
delete ptr;

       
ptr = rhs.ptr;

       
val = rhs.val;

       
return *this;

    
}

    
~HasPtr() {if(--ptr->use == 0) delete ptr;}

   private:

    
U_Ptr *ptr;

    
int val;

};

11、处理指针成员的另一个完全不同的方法，是给指针成员提供值定义， 复制值型对象时，会得到一个不同的新副本。