2.2 复制构造函数的构造操作_只有non-trivial的拷贝构造函数才会被编译器合成-优快云博客

本文链接：https://blog.youkuaiyun.com/Virtual_Func/article/details/46918729

本文深入解析了C++中复制构造函数的两种类型：trivial和nontrivial，解释了如何通过类的声明判断复制构造函数是否为trivial，并举例说明了展现bitwisecopysemantics的情况以及不展现的情况，同时阐述了不展现bitwisecopysemantics的四种情形，最后详细介绍了复制构造函数调用的三种情况。

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

Q1：复制构造函数分为两类：trivial 和 nontrivial ——只有nontrival的实例才会被合成在程序中

决定一个复制构造函数是否为 trivial 的标准在于：类是否展现出所谓的“bitwise copy semantics”（逐比特拷贝语义学）

Q2：“bitwise copy semantics”

1） Eg: 展现 bitwise copy sematics

class A
    {
    public:
        A(const char *) ;
        ~A();
        int ival;
        char * cval;
    };

这种情况下并不需要合成默认复制构造函数，因为上述声明展现了默认赋值语义学

2） Eg：不展现 bitwise copy semantics

class B
{
public:
    B(const String&);
    ~B();
    //…
    int ival;
    String sval;
};

class String
{
    String(const char *);
    String(const String&);
    ~String();
}

• 编译器必须合成出复制构造函数，以便调用类成员String 对象的复制构造函数
合成的复制构造函数如下：

inline B::B(const B & b)
    {
        sval.String::String(b.sval);
        ival = b.ival;
    }

Q3：不展现 “bitwise copy semantics”的四种情况：

1) 当类含有一个成员对象，而该成员对象类型声明了一个复制构造函数（不管是其显示声明，还是由编译器合成的）

2) 当类的基类存在一个复制构造函数时（不管是显示声明，还是编译器合成）

3) 当类声明了一个或者多个虚函数时

4) 当类派生自一个继承串链，且有一个或多个虚基类时

Q4：重新设定 virtual table 的指针

• 编译器需要对每一个新产生的类对象的 vptr 正确的设置其初值，此时逐位操作将不再展现，需合成复制构造函数

• 对相同类类型的对象，逐位复制构造函数没有问题

• 将派生类对象使用复制构造函数构造基类对象时，需要使用合成复制构造函数，初始化正确的 vptr

Eg: 如下图所示：

这里写图片描述

Q5：复制构造函数调用的三种情况：

1) 显示调用                                                 
    Eg: X x = xx;

2) 当对象作为参数传递给某个函数时  
    Eg: void foo(X xx);

3) 当函数返回一个类对象时   
    Eg: X foo();