第一章见 Effective C++ 学习笔记 第一章:让自己习惯 C++
第二章见 Effective C++ 学习笔记 第二章:构造、析构、赋值运算
第三章见 Effective C++ 学习笔记 第三章:资源管理
第四章见 Effective C++ 学习笔记 第四章:设计与声明
第五章见 Effective C++ 学习笔记 第五章:实现
第六章见 Effective C++ 学习笔记 第六章:继承与面向对象设计
第七章见 Effective C++ 学习笔记 第七章:模板与泛型编程
第八章见 Effective C++ 学习笔记 第八章:定制 new 和 delete
第九章见 Effective C++ 学习笔记 第九章:杂项讨论
文章目录
条款 05:了解 C++ 默默编写并调用哪些函数
Know what functions C++ silently writes and calls.
C++ 中,空类并不是空的。
如果你没有指定构造函数,编译器会自动生成 default 构造函数,如果没有指定 copy 构造函数、copy 赋值操作符和析构函数,编译器也会自动生成空的版本。这几个自动生成的函数是 public 和 inline 的,析构函数是非 virtual 的(除非该空类的基类声明了 virtual 的析构函数)。
不过有个前提,只有这些函数被调用时,编译器才会创建。
自动生成的 copy 构造函数和 copy 赋值运算符,是简单的将类的成员全部拷贝赋值。
如果某个未指定 copy 构造函数或 copy 赋值运算符的类内存在引用成员对象或常量成员对象,需要执行类对象的 copy 操作时,编译器会拒绝编译。因为自动生成的 copy 构造函数或 copy 赋值运算符无法处理对引用成员对象和常量成员对象的赋值操作。
示例代码如下:
template<class T>
class DOG {
public:
DOG(std::string& name, const T& value);
// 这里我们只声明构造函数,不声明 copy 赋值运算符函数
private:
std::string& name; // 引用成员对象
const T value; // 常量成员对象
};
std::string newDog("Persephone");
std::string oldDog("Satch");
DOG<int> p(newDog, 2); // 作者当时养的狗狗
DOG<int> s(oldDog, 36); // 作者之前养的已经去世的狗狗
p = s; // 编译器对这条代码无能为力
如果某个类的基类将 copy 构造函数 和 copy 赋值运算符函数声明为 private,那么该类中也不会由编译器自动生成这两个函数,编译器认为它没办法处理 copy 操作时,调用基类 copy 方法的操作。
总结
- 编译器可以暗自为 class 创建 default 构造函数、copy 构造函数、copy 赋值运算符和析构函数。
条款 06:若不想使用编译器自动生成的函数,就该明确拒绝
Explicitly disallow the use of compiler-generated functions you do not want.
上个条款中我们知道,如果我们不声明 copy 构造函数和 copy 赋值运算符函数,编译器会在需要的时候自动声明。但如果我们不希望这个类的对象有拷贝操作,