为何MSVC不为指定初始化器复制构造用的显式默认noexcept默认构造函数生成代码？

• 你看到的代码生成差异本质是编译器优化逻辑导致的，而非构造函数本身是否被自动生成：
  1. 无noexcept的默认构造函数：当写Foo() = default;时，编译器会自动推导这个构造函数的异常规格——因为成员int的初始化不会抛出异常，所以这个构造函数会被隐式标记为noexcept，编译器会正常生成构造函数代码（除非被优化掉）。
  2. 带noexcept的默认构造函数：当写Foo() noexcept = default;时，你是显式强制构造函数的异常规格为noexcept（这在默认构造函数本来就符合noexcept条件时是合法的，这里刚好满足）。此时构造函数同样会被生成，但编译器可能因为显式的noexcept标记更确定构造函数不会抛出异常，从而更激进地优化掉构造函数的调用（比如直接返回0，无需实际构造对象），导致你看不到构造函数的汇编代码。
• 补充：Bar是聚合类型，.baz = Foo{}的指定初始化本质是直接初始化成员，无论Foo的构造函数是否带noexcept，初始化行为都是一致的。

内容的提问来源于stack exchange，提问作者JanKXSKI