条款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类型变量的值。
  • 如果一个类的基类的拷贝赋值函数为私有的,那么该类默认生成的拷贝赋值函数将会调用基类的拷贝赋值函数,而基类的拷贝赋值函数是私有的,不能调用,故编译器不能应对。

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

原文地址:https://www.cnblogs.com/lasnitch/p/12764240.html