一. 内容
- 如果你声明自定义的拷贝函数,无论是拷贝构造还是拷贝复制函数,
编译器不会保证你的拷贝行为一定正确
,即使你的实现代码必然出错。 - 比如写完拷贝函数后,新添了一个成员变量,但编译器
不会自动
在拷贝函数中添加新的成员,意味着要自行维护拷贝函数
。特别是当存在多个拷贝函数时,需要修改所有的函数参数。对于构造函数,也需要自行在成员初值列添加对应的参数,否则由于构造函数均不匹配,将根据默认的构造函数生成对象,想必那不是你所期待的行为。 - 当你为 derived class 编写 copying 函数时,也需要小心的复制其 base class 成分,而那些成分大多是 private,所以要
直接显式调用 base class 的 copying 函数
。 - 综上,当编写 opying 函数时,请确保复制所有 local 成员变量,调用所有 base classes 内适当的 copying 函数。
- 拷贝复制函数,拷贝构造函数代码上往往具有很大的相似度,但令其中某个拷贝函数调用另一个拷贝函数却不能达到避免代码重复的问题,因为两个函数的调用时机不同,拷贝复制函数调用拷贝构造函数,就像试图构造一个已经存在的对象,拷贝构造函数调用拷贝复制函数同样也无意义,对一个尚未初始化的对象赋值,但赋值只存在于已初始化的对象。一个明智的做法是:
封装相同的代码,建立一个新的函数给两者调用。这样的函数往往为private且命名类似init
。
二. 总结
- Copying函数应该确保复制对象内的所有成员变量及所有base class成分。
- 不要尝试以某个copying函数实现另一个copying函数。应该将共同机能放进第三个函数中,并由两个copying函数共同调用。