1

我试过这个:

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,当逐位复制时。(我希望在 my_cls 的复制构造函数之前调用 cls1 和 cls2 的复制构造函数)

4

3 回答 3

5

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

如果要编写自己的复制构造函数,则需要将成员和基类的复制 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";}  
于 2012-09-21T14:37:52.177 回答
1

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

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";}    
};
于 2012-09-21T14:40:14.917 回答
1

实际上:

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)
于 2012-09-21T14:40:55.543 回答