Effective C++ 条款05

了解C++默默编写并调用哪些函数。Know what functions C++ silently writes and calls

 

有如下函数会被编译器自动生成，如果在这些函数需要被调用时，且这个对象的作者自己没有创建对应函数。

1. default 构造函数
2. 析构函数
3. copy构造函数
4. 赋值操作符

注意，只有当这些函数被需要调用时，编译器才会创建这些函数。

 

对于copy构造函数和赋值操作符，编译器创建的版本只是单纯的将来源对象的每一个Non-static 成员变量拷贝到目标对象。

另外，也会存在编译器拒绝为class 生成赋值操作符或者是拷贝构造函数的情况：

第一：如果父类的拷贝构造函数为private，那么子类不会自动生成拷贝构造函数。因为子类的拷贝构造函数需要调用父类的拷贝构造函数。

第二：只有当生成的代码合法，且有适当机会证明它有意义，对应函数才会自动生成。(以下面为例)

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

　

这时，有如下情况：

std::string newDog("Persephone");
std::string oldDog("Satch");
NamedObject<int> p(newDog,2);
NamedObject<int> s(oldDog,3);
p=s;

 

当代码p=s这一句时，编译器会为NamedObject 生成赋值操作符函数，但是，C++ 不允许引用类型被初始化以后再指向其他对象。所以这里，编译器的动作是拒绝生成赋值操作符函数。因此编译失败。