C++特殊成员函数及其生成机制

Python微信订餐小程序课程视频

https://edu.csdn.net/course/detail/36074

Python实战量化交易理财系统

https://edu.csdn.net/course/detail/35475
在C++中，特殊成员函数指的是那些编译器在需要时会自动生成的成员函数。C++98中有四种特殊的成员函数，分别是默认构造函数、析构函数、拷贝构造函数和拷贝赋值运算符。而在C++11中，随着移动语义的引入，移动构造函数和移动赋值运算符也加入了特殊成员函数的大家庭。本文主要基于Klaus Iglberger在CppCon 2021上发表的主题演讲Back To Basics: The Special Member Fuctions以及Scott Meyers的著作*Effective Modern C++*中的条款17，向大家介绍这六种特殊成员函数的特点以及它们的生成机制。

默认构造函数

当且仅当以下条件成立时，编译器会生成一个默认构造函数：

1. 没有显式声明的构造函数
2. 所有的数据成员和基类都拥有自己的默认构造函数

如果用户声明了自己的构造函数，那么编译器就不会再去生成一个默认构造函数；如果用户没有声明构造函数，但是类中包含了一个没有默认构造函数的数据成员，那么编译器也不会生成默认构造函数。

数据成员初始化

编译器生成默认构造函数会初始化所有类类型的数据成员，但是并不会初始化基础类型的数据成员。以下面的代码为例，第六行代码会调用默认构造函数将成员变量s初始化为空字符串，但是并不会初始化整型成员变量i以及指针pi。

struct Widget {
  int i;
  std::string s;
  int* pi;
};
int main() {
  Widget w1;   // Default initialization
  Widget w2{}; // Vaule initialization
  return 0;
}

如果我们想同时初始化所有的成员变量，可以使用值初始化，只需在声明对象时添加一对大括号即可，见上述代码第8行。如果没有声明默认构造函数，值初始化会zero-initialize整个对象，然后default-initializes所有non-trivial的数据成员。以上面的代码为例，使用值初始化后，i被初始化为0，s仍然被初始化为空字符串，而pi被初始化为nullptr。如果用户声明了默认构造函数，那么值初始化就会按照用户声明来完成初始化操作。

通过默认构造函数，我们可以初始化类中的数据成员。但是需要注意赋值和初始化的区别。在下面的代码中，我们实现了两个默认构造函数（仅仅为了说明赋值和初始化的区别