编译器合成copy constructors

最新推荐文章于 2024-08-29 08:58:09 发布

原创最新推荐文章于 2024-08-29 08:58:09 发布 · 421 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #类 #编译器

VC++ 专栏收录该内容

11 篇文章

订阅专栏

本文深入探讨了编译器如何在特定条件下合成拷贝构造函数，特别是当类不展示位复制语义时的情况。详细阐述了类不展示位复制语义的四种情形，并解释了编译器为何在缺乏显式声明时必须合成拷贝构造函数以确保正确处理类对象作为另一个类对象的初始化。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

编译器合成copy constructors

当class 不展现bitwise copy semantics时编译器会产生出来一个copy constructors且缺乏一个已声明的copy constructor时
和default constructors一样copy constructors也分为tivial（不被合成出来） & nontivial（被合成于程序之中，不展现bitwise copy semantics）
class 不展现bitwise copy semantics的四种情况：
1. 当class内含一个memberobject而后者class声明有一个copy constructor时
2. 当class继承自一个base class而后者存在有一个copy constructor时。（此种情况发生于一个class object以其derived classes 的某个object做为初值之时）
3. 当class声明了一个或多个virtual functions时。（当编译器导入一个vptr到class之中时，该class就不再展现bitwise semantics了）

4. 当class派生自一个继承串链，其中有一个或多个virtual base classes时。

注：

编译器为了正确处理"以一个class object 作为另一个class object的初值"，必须合成出一个copy constructor

第1和2种情况，编译器会将member或者 base class的"copy construcots"的调用操作安插到被合成的copy construtor中。
每一个编译器对于虚拟继承的支持承诺，都表示必须让"derived class object 的virtual base class subobject位置"在执行期就准备妥当。维护"位置的完整性"是编译器的责任,"bitwise copy semantics"可能会破坏这个位置，所以编译器必须在它自己合成出来的copy constructor中做出仲裁。