C++对象互引用场景下聚合与非聚合类型编译差异探究

聚合版本编译失败的核心原因 #

该错误是C++标准对聚合初始化的特殊约束导致的：

• 聚合类型的初始化器求值发生在所有成员初始化完成前，此时编译器会将对未初始化成员的任何使用（哪怕只是绑定引用、不取成员的值）判定为非法访问，因为聚合初始化没有构造函数的上下文来豁免这类地址访问操作。
• 代码中B z{ z.a2, z.a1 };属于聚合初始化流程，初始化第一个成员a1时需要用z.a2作为初始化参数，编译器判定此时z.a2尚未初始化，直接禁止访问，所以抛出错误。

非聚合版本编译合法的底层逻辑 #

给A添加自定义构造函数后，A不再是聚合类型，B也随之失去聚合类型资格，初始化逻辑变为执行隐式合成的构造函数：

• C++标准明确允许在类构造函数的上下文（包括成员初始化列表、构造函数体）中，访问未初始化成员的地址、为其绑定引用，因为此时整个对象的存储空间已经完全分配，所有成员的地址是固定的，只要不读取未初始化成员的值、不调用未初始化对象的非静态成员函数，就属于合法操作。
• 代码中初始化a1时绑定z.a2的引用、初始化a2时绑定z.a1的引用，都只是绑定到固定的存储地址，没有读取未初始化的内容，完全符合标准要求，所以可以正常编译。

扩展到N个对象闭环的可行性 #

非聚合的实现方式可以安全扩展为编译期固定大小的N个对象引用闭环，只要保证初始化时仅绑定对应成员的引用、不访问未初始化成员的值，就能符合C++标准要求，不会触发编译错误或未定义行为。

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