Effective C++ 条款5——了解C++默默编写并调用哪些函数

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

关于C++，经常有种声音就是编译器背着程序员做了太多的事情。比如说今天要说的default构造函数、copy构造函数和析构函数。

当我们写下一个类时 class Empty{ };

那么我们的编译器就会默默的为我们合成一些函数，我们的类可能会被扩张成这个样子

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

Empty& operator=(const Empty& rhs){...}//copy assignment 操作符
};

那么我们可能会很高兴，因为我们知道构造函数、析构函数等这都是很有用的，既然程序自动生成为什么还有人抱怨呢？这是因为这些自动合成的函数只满足编译器的需要，而不满足用户(也就是类的使用者或调用者)的需要。

首先，编译器合成的default constructor不会初始化类内部的成员变量，当我们要使用这些变量时就会报错

然后是copy constructor和copy assignment 操作符，编译器创建的版本只是单纯的将来源对象的每一个non-static 成员变量拷贝到目标对象（记住，是完完全全的拷贝），也就是说目标和来源最后是一模一样的。那么我们设想一下这种情况下的指针和引用。对了还有const 成员变量。当他们和拷贝赋值纠缠在一起时，会是多么混乱的现象。

最后是，析构函数。它的功能完全不够看的，而且不是个virtual 函数(这对于base class 很重要)。我想只要是个稍微复杂点的类和一个负责任的程序员，都应该自定义析构函数。

总之本节条款，就是让说明编译器可以案子为class创建default构造函数、copy构造函数、copy assignment操作符，以及构造函数。

因功能简单，我们有时候是不使用编译器为我们合成的这些函数的。甚至会禁止掉copy功能，即无法拷贝对象。