Effective C++学记之05 编译器可以暗自为class创建default构造函数 copy构造函数 copy assignment操作符 析构函数。

编译器可以暗自为class创建default构造函数 copy构造函数 copy assignment操作符 析构函数。

如果你写下class Empty{}；
等价于你写下：
class Empty{
public：
    Empty（）{...}  //default构造函数
    Empty（const Empty& rhs）{...}  //copy 构造函数
    ~Empty()         //析构函数（non-vitual）
    Empty& operator=(const Empty& rhs){...} //copy assignment操作符
}；
调用如下：
Empty e1； //default构造函数
       //析构函数
Empty e2（e1）；//copy构造函数
e2 = e1；//copy assignment操作符

再举个例子说明一些细节：

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

①如果类中声明了构造函数，那么编译器不会再创建default构造函数。
②例中NameObject类没有声明copy构造函数和copy assignment操作符，编译器会自动创建。
③copy构造函数的用法：
NameObject<int> no1("smallest prime number",2);
NameObject<int> no2(no1);

copy构造时，no1.nameValue和no1.objectValue为初值设定no2.nameValue和no2.objectValue。
nameValue以no1.nameValue为实参，调用string的copy构造函数，
由于objectValue为int ，所以no2.objectValue会拷贝no1.objectValue的每一个bits来初始化。

④编译器NameObject<int>的copy assignment操作符其行为基本上跟copy构造函数如出一辙，但只有当生出的代码合法并有适当机会证明它有意义，否则编译器会拒绝生出operator=。

内含引用成员或const成员的类必须自己定义copy assignment操作符
父类将copy assignment操作符声明为private 编译器将拒绝生成一个copy assignment操作符。

举例说明：
public:
    NameObject(std::string& name,const T& value)； //这里std::string& name 为non-const。
privte:
std::string& nameValue; //nameValue为引用
const T objectValue;   //const

调用：
std::string newDog("Persephone");
std::string oldDog("Satch");
NameObject<int> p(newDog,2);
NameObject<int> s(oldDog,2);
p = s ;  //编译器拒绝该赋值动作！！！ c++不允许“让引用指向不同的对象”。