第13章 拷贝控制

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

• 同类型的另一个对象初始化本对象：拷贝构造函数，移动构造函数
• 将本对象赋予同类型另一个对象时做什么：拷贝赋值运算符，移动赋值运算符
• 当此类型对象销毁时做什么：析构函数

一、拷贝、赋值与销毁

1. 拷贝构造函数

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

2. 拷贝赋值运算符

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

3. 析构函数

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