为什么default和empty构造函数在C ++中生成不同的机器代码？

Question

在查看以下代码的x86-64asm generated by GCC 7.1时，我发现a的构造函数会生成代码，而b没有构造函数的标签。

class a {
public:
  int aint;

  a() { }
};

class b {
public:
  int bint;

  b() = default;
};

int main() {
  a ac;
    //         lea     rax, [rbp-4]
    //         mov     rdi, rax
    //         call    a::a()
  ac.aint = 2;
    //         mov     DWORD PTR [rbp-4], 2


  b bc;             // no instructions for this statement
  bc.bint = 5;
    //         mov     DWORD PTR [rbp-8], 5

  return 0;
} 

为什么这里为构造函数生成的代码会如此不同？为什么不a() { }生成与b() = default相同的代码？

Answer 1

没有优化（-O0），gcc生成可以轻松调试的代码，因此它包含源代码中的每个语句和函数调用。您可以在:: a上设置断点。使用任何更高的优化级别，您将看不到该构造函数调用。