C++17聚合类显式默认默认构造函数与隐式定义有何差异？C++20移除副作用？

首先明确：在C17标准下，两种写法的struct A都是聚合类——C17允许聚合类包含显式默认/删除的构造函数（只要不是用户提供的构造函数，即没有自定义函数体）。二者的核心差异主要体现在以下几点：

• 隐式构造函数的延迟生成：写法二的隐式默认构造函数，只有当代码中实际调用它（触发ODR使用）时，编译器才会生成其定义；而写法一显式声明的A() = default;，会在类定义阶段就完成声明，即使未被调用，编译器也可能生成其定义（具体取决于实现，但ODR规则下只要被引用就会生成）。不过在大多数日常场景中，这一点不会带来可见差异。
• 特殊成员的初始化限制：如果类中包含const成员、引用成员或无法默认初始化的成员，写法二的隐式默认构造函数会被编译器自动删除；而写法一中显式=default的构造函数，编译器会直接报错（因为无法完成成员初始化）。但你的例子中仅包含int v，所以这个差异暂时不涉及。
• 初始化行为（针对你的例子）：对于A a;这种默认初始化操作，两种写法的结果一致——v都会是未初始化的不确定值；而对于A a{};这种值初始化操作，因为都是聚合类，都会对v进行值初始化（即v=0）。

C++20收紧了聚合类的定义：任何用户声明的构造函数（包括显式=default/=delete的）都会让类失去聚合类身份。所以要保持A为聚合类，必须移除A() = default;，但这个操作可能带来以下副作用：

1. 值初始化行为的变化：

   • 移除前（写法一，C++20中为非聚合类）：A a{};会调用显式默认构造函数，对v执行默认初始化（即v为不确定值）。
   • 移除后（写法二，C++20中为聚合类）：A a{};会触发聚合初始化，对v执行值初始化（即v=0）。
     如果你的代码中依赖A a{};的旧行为（比如期望v是未初始化状态），这会直接导致逻辑错误。

2. 构造函数指针的可用性：
   如果你之前的代码中通过decltype(&A::A)获取默认构造函数的指针，移除显式声明后，隐式默认构造函数无法被取地址（因为它没有被显式声明），这会导致编译错误。

3. 特殊成员的初始化行为变化：
   如果后续给A添加const成员、引用成员或非默认可构造的成员，移除显式构造函数后，隐式默认构造函数会被自动删除，此时A a;这种默认初始化操作会直接报错；而保留显式=default的构造函数时，编译器会在类定义阶段就报错（更早暴露问题）。

4. 与旧代码的兼容性：
   如果你的代码被其他模块依赖，且这些模块中存在针对A非聚合类的操作（比如依赖构造函数的显式存在），移除构造函数声明后会导致这些模块编译失败。

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