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

1、编译器可能默默生成哪些函数及特点

(1)编译器可能默认生成的函数

• 默认构造函数(无参构造函数)
• copy构造函数(赋值构造函数)
• copy赋值函数(等号运算符符号函数)
• 析构函数

(2)这些函数的特点

• 都是public(公共)且是inline(内联)的
• 只有这些函数被调用的话，编译器才会生成

2、什么情况下编译器会默默生成上述每一种函数？

(1)默认构造函数

• 如果一个类没有写任何构造函数(不管是有参的，还是无参的)，那么编译器将会自动生成默认构造函数。
• 如果一个类写了构造函数，且都是有参数的，那么该类便不再有无参构造函数。

(2)其它三种情况

如果一个类中没有写上述其它三种函数，那么编译器将会默默生成这样的函数。

3、默默生成的函数都干什么事情？

(1)默认构造函数和析构函数的作用

用来给编译器一个地方，用来放置“藏身背后”的代码。

这些代码例如：调用基类和non-static成员变量的构造函数和析构函数。

注意：

编译器默默生成的析构函数是non-virual 。如果编译器为一个派生类默默生成析构函数，那么如果该派生类的基类的析构函数是virual的，那么编译器为该派生类默默生成的析构函数也是virual 的。

(2)拷贝构造函数和拷贝赋值函数的作用

单纯的将来源对象的每一个non-static成员变量拷贝到目标对象。

• 如果一个成员是内置类型的，则一个bit一个bit的copy。
• 如果一个成员是类类型的，则调用该类类型的copy构造函数进行初始化。

4、编译器不会默认生成拷贝赋值函数的特殊情况及原因

(1)编译器不会默认生成拷贝赋值函数的特殊情况

• 该类成员中有：reference类型的成员
• 该类成员中有：const类型的成员
• 基类的拷贝赋值函数为私有(private)的

(2)编译器不会为上述情况默认生成拷贝赋值函数原因

• 如果一个类中包含reference成员，那么调用编译器默默生成的拷贝赋值函数时，将会试图更改引用类型所引用的变量。
• 如果一个类中包含const成员，那么调用编译器默默生成的拷贝赋值函数时，将会试图更改const类型变量的值。
• 如果一个类的基类的拷贝赋值函数为私有的，那么该类默认生成的拷贝赋值函数将会调用基类的拷贝赋值函数，而基类的拷贝赋值函数是私有的，不能调用，故编译器不能应对。

在上述三种情况中，编译器不会默默生成拷贝赋值函数，需要我们手动写。