这是我在阅读Effective c++中认为比较重要的部分,下面给出了我对这一节的理解,并写出对应的比较容易理解的代码。
如果你声明自己的copying函数(拷贝构造,拷贝赋值),那么编译器在你做出错误的动作时不会告诉你,下面定义的copying函数没有对Defau赋值或初始化,而编译器不会管。
class Defau {
public:
int i = 10;
};
class A {
public:
A() = default;
A(const A&rhs):name(rhs.name){}
A& operator = (const A&rhs) {
this->name = rhs.name;
}
string name;
Defau u;
};
int main() {
A a;
a.u.i = 15;
A b(a);
cout << b.u.i;
}
而发生继承时,会造成更大的危机。例如下面代码发生的拷贝和赋值操作没有对子类中的父类成分进行初始化或赋值,而编译器对此的做法是调用父类的默认构造函数。
class B : public A {
public:
B():prio(3){}
int prio;
B(const B&ur):prio(ur.prio){}
B& operator =(const B&ur) {
prio = ur.prio;
return *this;
}
};
而正确的做法是让子类的拷贝构造函数的初始化列表调用父类的构造函数,拷贝赋值函数调用父类的拷贝赋值函数。
class Defau {
public:
int i = 10;
};
class A {
public:
A() = default;
A(const A&rhs):name(rhs.name),u(rhs.u){}
A& operator = (const A&rhs) {
this->name = rhs.name;
this->u = rhs.u;
return *this;
}
string name;
Defau u;
};
class B : public A {
public:
B():prio(3){}
int prio;
B(const B&ur):prio(ur.prio),A(ur){}
B& operator =(const B&ur) {
prio = ur.prio;
A::operator=(ur);
return *this;
}
};
int main() {
B b;
b.u.i = 15;
b.prio = 6;
b.name = "dewdqw";
B c(b);
cout << c.u.i << endl;
cout << c.prio << endl;
cout << c.name;
}
请记住
Copying函数应该确保复制“对象内的所有成员变量”及“所有base class成分”。
不要尝试以某个copying函数实现另一个copying函数。应该将共同机能放进第三个函数中,并由两个copying函数共同调用。