第13章拷贝控制

当定义一个类时，通过显示或者隐式的指定在此类型的对象拷贝、移动、赋值和销毁时做什么。
通过定义五种操作来控制这些操作

定义：如果一个构造函数的第一个参数是自身类类型的引用，且任何额外参数都有默认值，则此构造函数是拷贝构造函数。
- 如果参数不是引用，则会陷入不停调用拷贝构造函数的死循环
产生：
- 合成拷贝构造函数：
  - 即使定义了其他构造函数，编译器也会合成一个拷贝构造函数（如果定义了构造函数，编译器不会合成默认构造函数）
  - 一般情况下，合成的拷贝构造函数将给定对象参数中每个非static成员拷贝到正在创建的对象中,每个成员的类型决定了它如何进行拷贝
作用：拷贝初始化通常由拷贝构造函数完成
- 拷贝初始化在以下情况下发生：
  - 用=定义变量
  - 将一个对象作为实参传递给一个非引用类型的实参
  - 从一个返回类型为非引用类型的函数返回一个对象
  - 用花括号列表初始化一个数组中的元素或一个聚合类中的成员
拷贝函数不应该是explicit的
- explicit构造函数：
  - 表示该构造函数不能用于执行隐式转换；
  - 只对一个实参的构造函数有效；
  - 只能在类内声明构造函数时使用
  - eg：explicit Sales(const string &s):bookNo(s){}，void test(Sales)，此时test("abc")，是错误的，因为不能"abc"隐式转换成sales对象
- 由于拷贝构造函数经常被隐式地引用，因此不应该是explicit的
- 有时用于禁止该类对象的拷贝

类可以通过拷贝赋值运算符来控制其对象如何赋值；
- 注意赋值和初始化的区别
  - string s = "abc"；拷贝初始化
  - string s1,s2; s1 = s2；拷贝赋值，s1,s2被默认初始化为“”
重载赋值运算符
- 重载运算符：
  - 名字由operator关键字后接表示要定义的运算符的符号组成→赋值运算符等同于名为operator=的函数。
  - 如果一个运算符是成员函数，其左侧对象就绑定到隐式的this参数
  - 对于一个二元运算符，如赋值元素安抚，右侧运算对象作为显示参数传递。
- 为了和内置类型保持一致，重载的赋值运算符返回指向其左侧运算对象的引用：Foo &operator=(const Foo &);
合成赋值运算符
- 有时用于禁止该类型对象的赋值
- 通常会将右侧运算对象的每个非static成员赋予左侧运算对象的成员，该工作通过成员类型的拷贝赋值操作符来完成

作用是：释放对象所使用的资源，并销毁对象的非static数据成员。
它没有返回值，也不接受参数
有一个析构部分和一个函数体，首先执行函数体，然后销毁成员，成员按初始化顺序的逆序销毁→也就是说析构函数体本身并不直接销毁成员
析构部分是隐式的，成员销毁时发生什么依赖于成员的类型，销毁类类型成员需要执行成员自己的析构函数
隐式销毁一个内置指针类型的成员不会delete它所指向的对象，与普通指针不同，智能指针是类类型，具有析构函数，因此只能指针成员在析构阶段会被自动销毁
调用析构函数的时间
- 变量离开其作用域
- 当一个对象被销毁时，其成员被销毁
- 容器被销毁时，其元素被销毁
- delete指向动态分配的对象的指针时，该对象被销毁
- 临时对象，当创建它的完整表达式结束时被销毁？？
- 当指向一个对象的引用或指针离开作用域时，析构函数不会执行？？？？是不是说指针或者引用指向的对象不会被销毁？

第13章 拷贝控制