【复读EffectiveC++05】条款05：了解 C++ 默默编写并调用哪些函数

条款05：了解 C++ 默默编写并调用哪些函数

此条款，原书第二章的开头，主要就是打基础，讲一下C++类最基础的东西，主要说了关于类自动生成成员函数的两件事：
a、如何自动生成及特点
b、自动生成也有意外

一、如何自动生成及特点

如下写一个空类：

class Empty{};

如果以为，这个空类什么成员变量，成员函数都没有那就大错特错了，其真实的样貌是：

class Empty {
public:
    Empty() { ... }                           // 默认构造函数（没有任何构造函数时）
    Empty(const Empty&) { ... }               // 拷贝构造函数
    Empty(Empty&&) { ... }                    // 移动构造函数 (since C++11)
    ~Empty() { ... }                          // 析构函数
    
    Empty& operator=(const Empty&) { ... }    // 拷贝赋值运算符
    Empty& operator=(Empty&&) { ... }         // 移动赋值运算符 (since C++11)
};

这些函数，你看不到，但编译器会替你声明默认构造函数，拷贝构造函数、拷贝赋值运算符和析构函数，当然，随着标准的发展，也有一些新的成员函数加入白送大礼包。
但真正被编译器创建出来，是在这些函数被调用时。
除此以外，还要强调一些特点：

• 当存在构造函数时，编译器不会再自动生成无参默认构造函数（已有就不白送）
• 编译器的默认 copy 构造函数，会把每一个 non-static 成员变量拷贝到目标对象
• 默认析构函数是 non-virtual，除非继承自父类的 virtual 析构函数
  ……
  在后续的条款中，会有针对性的进行更详细解释 。

二、自动生成也有意外

当情况不合适时，编译器也会拒绝生成默认函数，如下列情况：

template<class T>
class NameObject;
{
public:
	NameObject(std::string&name,const T& value);
	...//假设并未声明operator=
private:
	std::string& nameValue;//注意这是一个reference
	const T objectValue;//注意这是一个const 
};

std::string newDog("Persephone");
std::string oldDog("Satch");
NameObject<int> p(newDog,2);
NameObject<int> s(oldDog,36);

//赋值运算符报错
p=s;

上述“p=s”错误的原因：
a、name(引用类型) ：引用类型特点是一旦绑定就不可以改变引用指向，但此处拷贝赋值运算符，我们将 p 的 name 引用从一开始指向于newDog 改为了指向 oldDog ，因此会发生错误。
b、objectValue（const类型）：同上，const类型是只读的，此处欲将 p 的值从 2 改变为 36 因此会发生错误。

因此C++ 语法的冲突，最后的结果只有报错，想要解决这个问题，乖乖的定义拷贝赋值操作符吧。

此外，还有一种情况，即 如果某个base classes【基类】将copy assignment【赋值操作符】操作声明为private，编译器拒绝为其derived classes【派生类】生成一个copy assignment操作符。

三、总结

编译器可以隐式地生成类的默认构造函数、拷贝构造函数、拷贝赋值运算符和析构函数。