C++ 复制/移动语义学

VIP文章 XIao_MinK

已于 2022-11-24 14:51:50 修改

阅读量592

点赞数 1

分类专栏：编程文章标签： c++ 开发语言

于 2021-03-17 11:13:04 首次发布

本作品采用知识共享署名-非商业性使用-相同方式共享 4.0 国际许可协议进行许可。

本文链接：https://blog.csdn.net/XIao_MinK/article/details/113353938

版权

复制/移动构造函数

复制构造函数没有显式声明，那么编译器会合成一个复制构造函数。
只定义了移动构造函数会使得编译器把复制构造函数变成delete状态
如果移动构造函数没有显式声明，那么编译器只有在以下条件都满足时才会合成一个移动构造函数
- 用户没有显式定义复制构造函数
- 用户没有显式定义复制赋值函数
- 用户没有显式定义移动赋值函数
- 用户没有显式定义析构函数
合成的复制/移动构造函数一般是bitwise copy semantic
实际上编译器合成得复制/移动构造函数并不仅仅是bitwise copy semantic
- 如果有可能，它会调用基类、成员变量的复制/移动构造函数
- 当有虚函数的时候，用派生类实例初始化基类实例时，编译器要重新计算虚表指向：基类实例调用基类定义的虚函数
- 当有虚继承的时候，用派生类实例初始化基类实例时，编译器要重新计算偏移量：因为虚继承的实现方案是保存一个派生类到虚基类的偏移量（解决继承链过深，访问基类效率问题）
什么时候需要自定义复制构造函数：当bitwise copy semantic不足表达类对象复制语义的时候
什么时候需要自定义移动构造函数：当自定义了复制构造函数之后（或自定义了复制构造函数后，就要考虑移动构造函数是否需要的问题，如果需要则必须自定义一个）

当以左值传参时，形参调用复制构造函数初始化，若以右值传参时，形参调用移动构造函数初始化。

编译器优先匹配移动构造函数初始化，如果移动构造函数为delete，则调用复制构造函数进行初始化

C++17引入复制消除机制。原本返回值优化将被强制执行（其实就是把RVO、NRVO行为写进了标准，本来编译器都会进行RVO优化）。当符合下列情况，编译器将会对不必要的复制/移动构造进行消除，减少一次复制/移动-析构的过程。

T f() {
    return T(); }
T t &#

关注