Effective C++ 学习笔记 《五》

Item 5: Know what functions C++ silently writes and calls

这一节讲的是C++编译器会为程序员默认生成的函数

对于一个“空类” class Empty{}; 看上去好像什么都没有
但是当需要构造类对象，拷贝类对象等等的时候，编译器会默认为这个类生成默认构造函数，拷贝构造函数，析构函数和拷贝赋值运算符，而且这些函数都是public且inline（在函数处直接展开）

class Empty {
	public:
	Empty() { ... } // default constructor
	Empty(const Empty& rhs) { ... } // copy constructor
	~Empty() { ... } 
	Empty& operator=(const Empty& rhs) { ... } // copy assignment operator
};

书上强调编译器生成的析构函数是非vitrual的，除非它是个派生类而且它的基类有virtual析构函数

接下来书上开始解释这些编译器生成的函数有什么用，怎么工作

首先默认构造函数和析构函数不用多解释，它们的意义就是在于构造类对象和释放类对象。对于拷贝构造函数和拷贝赋值运算符，书上给了一段代码

template<typename T>
class NamedObject {
public:
	NamedObject(const char *name, const T& value);
	NamedObject(const std::string& name, const T& value);
	...
private:
	std::string nameValue;
	T objectValue;
};

这个类里有构造函数，所以编译器不会再生成默认的构造函数。但是拷贝构造函数和拷贝赋值运算符都没声明，所以编译器会默认生成。
比如当以下代码执行的时候

NamedObject<int> no1("Smallest Prime Number", 2);
NamedObject<int> no2(no1); // calls copy constructor

第一句生成了一个对象no1，第二句就是编译器生成的拷贝构造函数发挥作用的时候，它需要完成把no1的nameValue和no1的objectValue的值设置给no2，对于前者，由于是string类型，直接调用string的拷贝构造函数，后者是int类型（int）此时就直接做字节拷贝。

说完了拷贝构造函数，接下来就是讲拷贝赋值运算符=
书上说到=的行为和拷贝构造函数如出一辙，这不难理解，但是前提必须是这种行为是合法的而且得是有意义的。怎么理解呢？书上继续给了个例子

template<class T>
class NamedObject {
public:
	// this ctor no longer takes a const name, because nameValue
	// is now a reference-to-non-const string. The char* constructor
	// is gone, because we must have a string to refer to.
	NamedObject(std::string& name, const T& value);
	... // as above, assume no operator= is declared
private:
	std::string& nameValue; // this is now a reference
	const T objectValue; // this is now const
};

注意到代码的注释，现在的构造函数参数nameValue变成了string的引用类型
然后下面是赋值代码

std::string newDog("Persephone");
std::string oldDog("Satch");
NamedObject<int> p(newDog, 2); // when I originally wrote this, our dog Persephone was about to have her second birthday
NamedObject<int> s(oldDog, 36); // the family dog Satch (from my childhood) would be 36 if she were still alive
p = s; // what should happen to the data members in p?

来分析一下，对于p和s在执行p=s前，它们的nameValue都各自引用自己的nameValue(“Persephone” 和 “Satch”)，接着执行 p = s
按照我们的分析，应该是会把p的nameValue赋值为s的nameValue，也就是让p的nameValue引用到s的nameValue，很显然，这是错误的，因为C++是不允许修改引用的值的。
既然这种行为是错误的，那么C++是怎么解决的呢？按照前面所说，=行为的前提必须是这种行为是合法的而且得是有意义的，既然不满足合法，C++就会拒绝编译这一句。
所以对于这种包含引用成员的类中支持赋值操作，就必须自己定义拷贝赋值运算符。
另外书上还提到了几种其他情况，例如内含const成员（比如上面类中的objectValue就是const），更改const类型也是不合法的。
还有一种情况就是在继承中，如果基类把拷贝赋值运算符声明成了private，在它的派生类中，编译器也会拒绝生成拷贝构造运算符，这很容易理解，因为派生类肯定是要能拷贝基类中的部分的，但这时派生类就无权调用继承的这部分，从而无法完成赋值。