是否为 C++ 中的默认构造函数创建了汇编代码？

Question

如果我没有在 C++ 的类中定义默认构造函数或任何其他构造函数，我已经读到编译器会为您创建默认构造函数。但我创建了一个测试类，将其编译为汇编代码并检查发现没有创建任何此类内容。
有人可以澄清默认构​​造函数的代码是如何创建的，或者是否首先创建的？

Answer 1

如果您需要，则会创建默认构造函数，例如：

class Foo {
  std::string s;
};

...
Foo f;

12.1：

默认构造函数（12.1），复制
构造函数和复制赋值
运算符 (12.8) 和析构函数 (12.4)
是特殊的成员函数。这
实现将隐式声明
这些类的成员函数
当程序没有输入时键入
显式声明它们，除非
12.1 中注明。实施将
隐式定义它们，如果它们是
使用，如 12.1、12.4 和
12.8。

此外，如果您的类不需要在构造函数中执行任何操作，则编译器可能会选择不生成代码，即使按照标准构造函数应该存在。

Answer 2

C++ != 汇编。

汇编是已编译的 C++ 程序的（一种可能的）输出，该程序可能包含也可能不包含某些优化，这些优化可能会省略对可能为空的构造函数的调用。

换句话说，该语言说有一个默认构造函数，但它只描述行为，而不描述实现。如果一个实现感觉不需要生成代码，那么它就不需要生成代码。

Answer 3

C++03 标准的规定如下：

§12.1/5：

类 X 的默认构造函数是可以在不带参数的情况下调用的类 X 的构造函数。如果类 X 没有用户声明的构造函数，则隐式声明默认构造函数。隐式声明的默认构造函数是其类的内联公共成员。如果构造函数是隐式声明的默认构造函数并且满足以下条件，则该构造函数是简单的：

• 其类没有虚函数 (10.3) 和虚基类 (10.1)，并且
• 该类的所有直接基类都有简单的构造函数，并且
• 对于其类中属于类类型（或其数组）的所有非静态数据成员，每个此类都有一个简单的构造函数。

§12.1/6：

否则，构造函数就非常重要。

§12.1/7：

类的隐式声明默认构造函数在用于创建其类类型 (1.8) 的对象时会被隐式定义。隐式定义的默认构造函数执行类的一组初始化，这些初始化将由用户为该类编写的默认构造函数执行，该类具有空的 mem-initializer-list (12.6.2) 和空的函数体。如果用户编写的默认构造函数格式不正确，则该程序也是格式错误的。在隐式定义类的隐式声明的默认构造函数之前，应已隐式定义其基类及其非静态数据成员的所有隐式声明的默认构造函数。 [注意：隐式声明的默认构造函数有一个异常规范 (15.4)。]

---

这意味着对于具有隐式声明但未隐式定义默认构造函数的类，或对于具有隐式定义的类>简单的默认构造函数，可能不需要生成代码。

Answer 4

您是否想问您的编译器是否确实为默认构造函数发出代码？

这取决于优化。大多数现代编译器在与 -O0 一起使用时会发出默认的构造函数代码序列，但如果未使用它并且您使用 -O2 或更高版本，则会对其进行优化。