Question

我试过了：

class cls1{
    public:
    cls1(){ cout << "cls1 constructor\n";}
    cls1 (cls1 & o){ cout << "cls1 copy constructor\n";}
};

class cls2{
public:
    cls2 () { cout << "cls2 constructor\n";}
    cls2 (cls2 & o){ cout << "cls2 copy constructor\n";}
};

class my_cls{ 
public: 
    cls1 o1;
    cls2 o2;
    my_cls(){ cout << "my_cls constructor\n";}
    my_cls(my_cls& o){ cout << "my_cls copy constructor\n";}    
};    

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

我发现这令人困惑，因为我被告知对于每个成员，复制构造函数在进行逐位复制时调用该成员的复制构造函数，execpt用于premitive类型。（我希望在my_cls的复制构造函数之前调用cls1和cls2的复制构造函数）

Answer 1

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

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

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

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

Answer 2

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

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

Answer 3

实际上：

der (der & o){ cout << "my_cls copy constructor\n";}

相当于

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

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

让它表现得像预期的那样：

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

使其在语义上正确：

der (der const& o)

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

3 个答案: