C++ 学习笔记之(13) - 拷贝控制

最新推荐文章于 2023-07-23 20:53:44 发布

小小池鱼儿

最新推荐文章于 2023-07-23 20:53:44 发布

阅读量200

点赞数

分类专栏： C++

本文链接：https://blog.csdn.net/u011221820/article/details/80171149

版权

本文详细探讨了C++中的拷贝控制，包括拷贝构造函数、移动构造函数、拷贝赋值运算符、析构函数及其作用。讲解了拷贝初始化、合成拷贝构造函数和赋值运算符、三/五法则、阻止拷贝、资源管理以及对象移动。还介绍了右值引用、移动构造函数和赋值运算符在资源管理中的重要性，以及引用限定符的概念。

摘要由CSDN通过智能技术生成

C++ 学习笔记之(13) - 拷贝控制

本文将学习类如何通过一组函数控制对象拷贝、赋值、移动和销毁，这组函数分别是拷贝构造函数、移动构造函数、拷贝赋值运算符、移动赋值运算符以及析构函数。若类没有显示定义这些拷贝控制成员，则编译器会自动定义。

拷贝、赋值与销毁

拷贝构造函数

如果一个构造函数的第一个参数是自身类类型的引用（几乎总为const引用），且任何额外参数都有默认值，则为拷贝构造函数，拷贝构造函数会被隐式使用，故不应为explicit

合成拷贝构造函数

若没有为类定义拷贝构造函数，则编译器会定义，即使定义了其他构造函数，编译器也会合成拷贝构造函数

合成拷贝构造函数：从给定对象中依次将每个非static成员拷贝到正在创建的对象中
对类类型，使用其拷贝构造函数来拷贝；对内置类型，直接拷贝；对数组，则逐元素拷贝

拷贝初始化

直接初始化：要求编译器使用普通的函数匹配来选择最匹配的构造函数，包括拷贝构造函数
拷贝初始化：要求编译器将右侧运算对象拷贝到正在创建的对象中，若需要可进行类型转换
拷贝初始化通常使用拷贝构造函数完成，有时也依靠移动构造函数完成
拷贝初始化发生情况
- 使用=定义变量时
- 将对象作为实参传递给一个非引用类型的形参
- 从一个返回类型为非引用类型的函数返回一个对象
- 用花括号列表初始化一个数组中的元素或一个聚合类中的成员
拷贝构造函数自身参数必须是引用类型，因为为了调用拷贝构造函数，必须拷贝实参，就又会调用拷贝构造函数，死循环

class Sales_data{
    public:
        Sales_data(const Sales_data& orig): bookNo(orig.bookNo), units_sold(orig.units_sold)) {}  // 拷贝构造函数，第一个参数为引用，且通常为const
    private:
        std::string bookNo;
        int units_sold = 0;
}
string dots(10, '.');  // 直接初始化
string s(dosts);  // 直接初始化，因为是调用最匹配的构造函数，包括拷贝构造函数
string s2 = dots;  // 拷贝初始化

参考

C++的一大误区——深入解释直接初始化与复制初始化的区别

拷贝赋值运算符

与拷贝构造函数类似，若类未定义自己的拷贝赋值运算符，编译器会生成一个合成拷贝赋值运算符

重载运算符本质上是函数，其名字由operator关键字后接运算符符号
若一个运算符为成员函数，其左侧对象就绑定到隐式的this参数。若为二元运算符，其右侧运算对象作为显示参数传递
赋值运算符通常应该返回一个指向其左侧运算对象的引用

析构函数

析构函数释放对象使用的资源，并销毁对象的非static数据成员

析构函数为成员函数，名字由波浪号组成，无返回值，不接受参数，不能被重载，在类中唯一
```
~Foo();  // 析构函数
```
析构函数中，首先执行函数体，然后销毁成员，按初始化顺序逆序销毁，且释放对象在生存期分配的所有资源
隐式销毁一个内置指针类型的成员不会delete它所指向的对象，智能指针在析构阶段被自动销毁
析构函数调用时间（对象被销毁时）
- 变量在离开其作用域时被销毁
- 当一个对象被销毁时，其成员被销毁
- 容器（无论是标准库容器还是数组）被销毁时，其元素被销毁
- 对于动态分配的对象，当对指向它的指针应用delete运算符时被销毁
- 对于临时对象，当创建它的完整表达式结束时被销毁
当指向一个对象的引用或指针离开作用域时，析构函数不会执行
析构函数体自身并不直接销毁成员，成员是在析构函数体之后隐含的析构阶段被销毁的