如何触发数据成员的复制构造函数

How can I trigger the copy constructor for data members?

本文关键字:复制 构造函数 数据成员 何触发      更新时间:2023-10-16

我试过这个:

class cls1{
    public:
    cls1(){ cout << "cls1 constructorn";}
    cls1 (cls1 & o){ cout << "cls1 copy constructorn";}
};
class cls2{
public:
    cls2 () { cout << "cls2 constructorn";}
    cls2 (cls2 & o){ cout << "cls2 copy constructorn";}
};
class my_cls{ 
public: 
    cls1 o1;
    cls2 o2;
    my_cls(){ cout << "my_cls constructorn";}
    my_cls(my_cls& o){ cout << "my_cls copy constructorn";}    
};    
void f(my_cls o){}
int main(){
    my_cls p;
    f(p);
    return 0;
}

但输出是:

cls1 constructor
cls2 constructor
my_cls constructor
cls1 constructor
cls2 constructor 
my_cls copy constructor

我觉得这很令人困惑,因为我被告知,对于每个成员,复制构造函数在进行逐位复制时调用该成员的复制构造函数,对于高级类型执行。(我希望 cls1 和 cls2 的复制构造函数在 my_cls 的复制构造函数之前调用)

您被告知的内容仅适用于编译器生成的复制构造函数。

如果要编写自己的复制构造函数,则需要将成员和基类的副本 c-tor 放在初始化列表中,否则将使用它们的默认 c-tor。

在您的示例中,缺少: o1(o.o1), o2(o.o2)

der (der & o)
: o1(o.o1)
, o2(o.o2)
{ cout << "my_cls copy constructorn";}  

实际上:

der (der & o){ cout << "my_cls copy constructorn";}    

相当于

der (der & o):o1(),o2(){ cout << "my_cls copy constructorn";}    

即,复制构造函数调用类类型成员的默认构造函数。

要使其按预期运行,请执行以下操作:

der (der & o):o1(o.o1),o2(o.o2){ cout << "my_cls copy constructorn";}

要使其语义正确:

der (der const& o)

它就像常规构造函数的初始化列表

class my_cls{ 
public: 
    cls1 o1;
    cls2 o2;
    my_cls (){ cout << "my_cls constructorn";}
    my_cls (my_cls & o) : o1(o.o1), o2(o.o2) { cout << "my_cls copy constructorn";}    
};