//############################################################################
/* 在C++ 03标准下
在没有显式定义的情况加,编译器会自动生成以下4个函数
1. 拷贝构造函数
2. 拷贝赋值运算符
3. 析构函数
4. 默认构造函数(只有当没有声明任何构造函数的时候)
*/
class dog {};
/* 这个看似空的类,其实等效于下面这个类 */
class dog {
public:
dog(const dog& rhs) {...}; // 逐成员的初始化
dog& operator=(const dog& rhs) {...}; // 逐成员的拷贝
dog() {...}; // 1. 调用基类的默认构造函数,按照他们的继承时声明的顺序
// 2. 调用数据成员的默认构造函数,按照他们在类中声明的顺序
~dog() {...}; // 1. 调用基类的析构函数
// 2. 调用数据成员的析构函数
/*
注意:
1. 这些函数是公有且内联的public and inline.
2. 只有当需要的时候才会生成,即如果没用到不会生成
3. 如果某个函数不满足生成的必要条件,则不会生成该函数
*/
/* 例子: 编译器是否会自动生成这些函数
1. Copy constructor. - no 因为没有用到拷贝构造
2. Copy Assignment Operator. - yes
3. Destructor. - no 用户自己已定义
4. Default constructor - no 已经有用户定义的构造函数
*/
class dog {
public:
string& m_name; // 如果这里改成引用,则此程序没法编译通过,因为该引用成员不允许拷贝
dog(string name = "Bob") {m_name = name; cout << name << " is born." << endl;}
~dog() { cout<< m_name << " is destroyed.\n" << endl; }
};
int main() {
dog dog1("Henry");
dog dog2;
dog2 = dog1; //需要逐成员拷贝
}
输出:
Henry is born.
Bob is born.
Henry is distroied.
Henry is distroied.
注意:
当拷贝赋值运算符是非法的时候,编译器会拒绝生成它
1. 引用成员数据
2. 常量成员数据
这样的类不能用在STL容器中,因为容器的元素必须
能够拷贝构造和拷贝赋值
*/
/* 例子 2: */
class collar {
public:
collar() { std::cout << " collar is born.\n"; }
};
class dog {
collar m_collar;
string& m_name;
};
int main() {
dog dog1;
}
输出:
main.cc:13: error: no matching function for call to `dog::dog()'
main.cc:8: note: candidates are: dog::dog(const dog&)
// 没法编译通过,因为编译器会尝试为dog类生成默认构造函数,
// 需要先生成数据成员collar m_collar的默认构造函数,而collar类已经有一个构造函数
// 如果在dog类中增加如下成员:
// string& m_name;
// Result: not compilable because age is not initialized.
// 生成的默认构造函数不会进行初始化,引用必须初始化
/* C++ 11 Update: */
class dog {
public:
dog() = default; //C++ 11提供了定义默认构造函数的方法
dog(string name) {...}; //即使已经定义了其他构造函数,还可以定义默认构造函数
}