[Effective C++ --012]复制对象时勿忘其每一个成分
引言:
在深拷贝和浅拷贝的理解中,我们知道了“拷贝构造函数”一词,并且也了解了它的构成。
A(const A& r); // 形式有多种,在这里只列出一个
因此,在值传递的应用场景里,我们可以写出以下的拷贝构造函数:
1 #include <iostream> 2 #include<string> 3 using namespace std; 4 5 class A { 6 public: 7 A(int i) : count(i) {}; 8 A(const A& r) { // 拷贝构造函数 9 count = r.count; 10 } 11 ~A() {}; 12 void out() { 13 cout << "count:" << count << endl; 14 } 15 private: 16 int count; 17 }; 18 19 int main() 20 { 21 A a(1); 22 A a1(a); // 将a的临时变量传递进去 23 24 a1.out(); 25 return 0; 26 }
输出结果:1
一、不要忘记复制每一个成员
在引言的例子里,我们完整将count通过拷贝构造函数复制了过来。如果我们此时有了新需求,需要给类A增加一个成员x,那么在拷贝构造函数中,一定不要忘记拷贝x!
1 #include <iostream> 2 using namespace std; 3 4 class A { 5 public: 6 A(int i, int j) : count(i),x(j) {}; 7 A(const A& r) { 8 count = r.count; 9 x = r.x; // 不要忘记赋值成员x! 10 } 11 ~A() {}; 12 void out() { 13 cout << "count:" << count << endl; 14 cout << "x:" << x << endl; 15 } 16 private: 17 int count; 18 int x; 19 }; 20 21 int main() 22 { 23 A a(1, 1); 24 A a1(a); 25 26 a1.out(); 27 return 0; 28 }
值得注意的是:如果我们遗漏了第9行代码,编译器是不会报错的,甚至也能正常运行,但是不会得出想要的结果1!
二、拥有"显示"拷贝构造函数发生继承
在上面的A类中, 我们已经针对A写出了显示的拷贝构造函数。但是如果此时发生了继承会怎么样呢?
假设我们有class B: public A
1 class B: public A { 2 public: 3 B(int x, int y) : b1(x),b2(y){}; 4 B(const B& r){ 5 b1 = r.b1; 6 b2 = r.b2; 7 }; 8 ~B() {}; 9 void out() { 10 cout << "b1:" << b1 << endl; 11 cout << "b2:" << b2 << endl; 12 } 13 private: 14 int b1, b2; 15 };
简直跟class A一样有木有?
于是我们开始编译 B b(2,2); B b1(b);
会出现以下错误:
error C2512: 'CPS' : no appropriate default constructor available
这是为什么呢?
在类B的拷贝函数中看起来好像赋值了B中的每一个东西,但是它们复制的只是B声明的成员变量b1,b2;B继承A的成员变量附件完全木有得到复制啊!
在创建对象时,会首先调用A类的构造函数。而在B的初始化列表中,并没有显示的对基类的构造函数进行调用。那么,系统会默认调用A的无参构造函数,但是你的A类并没有定义无参构造函数,所以出错了!
改法如下:
1 class B: public A { 2 public: 3 B(int x, int y) : b1(x),b2(y), A(x, y) {}; // 调用A的构造函数 4 B(const B& r) : A(r.b1, r.b2){ // 调用A的构造函数 5 b1 = r.b1; 6 b2 = r.b2; 7 }; 8 ~B() {}; 9 void out() { 10 cout << "b1:" << b1 << endl; 11 cout << "b2:" << b2 << endl; 12 } 13 private: 14 int b1, b2; 15 };
◆总结
1.拷贝函数应该确保复制对象内的所有成员变量及所有的基类成分。
2.不要尝试以某个拷贝函数实现另一个拷贝函数。应该将共同机能放进第三个函数中,并由两个拷贝函数共同调用。