静态存储对象循环引用的标准合规性及外部前置声明使用问题

这个问题问得相当典型，不少C++开发者在处理全局/静态存储期对象的循环引用时，都会纠结这种写法是否符合标准、会不会埋下隐患。先把你给出的代码完整展示出来：

struct Object { Object* other; };

// extern forward declarations
extern Object object_a;
extern Object object_b;

Object object_a = { &object_b };
Object object_b = { &object_a };

int main() { return 0; }

接下来我们拆解分析：

1. 这段代码完全符合C++标准 #

首先可以明确：这段代码的写法是符合C++标准要求的，没有违反任何核心规则。关键原因在于：

• extern Object object_a; 和 extern Object object_b; 是对象声明（而非定义），它们的作用是向编译器“预告”这两个全局对象的存在，让编译器知道这两个标识符对应着一个具有静态存储期的Object类型对象，因此在后续初始化object_a和object_b时，取用对方的地址&object_b、&object_a是完全合法的——编译器会信任这个声明，把地址的具体解析工作交给链接器完成。
• 静态存储期对象的内存空间会在程序启动阶段就被分配好（早于任何初始化操作），哪怕某个对象的初始化顺序晚于另一个，它的地址也是确定且有效的。这里我们只是存储对方的地址，并不涉及访问对象的成员或状态，所以完全不存在“访问未初始化对象”的问题。

2. 关于循环引用与初始化顺序的误区 #

很多人会担心：如果object_a先初始化，此时object_b还没初始化，取它的地址会不会有问题？其实完全不用担心：

• 全局对象的地址是由链接器在编译链接阶段确定的，和运行时的初始化顺序无关。不管哪个对象先初始化，另一个对象的内存地址已经是固定且有效的，我们只是把这个地址存在当前对象的other成员里而已。
• 这里的初始化属于聚合初始化，而且是用链接期常量（对象地址）完成的，编译器甚至可以把这些地址直接嵌入到可执行文件中，不需要等到运行时再计算。

3. 这种写法的注意事项 #

虽然代码合规，但有一个小细节需要留意：如果你的Object类不是聚合类型（比如添加了用户自定义的构造函数），那这种初始化方式可能会失效，因为此时无法再用聚合初始化的语法直接赋值地址，需要改用构造函数，但只要你保持extern声明的正确性，依然可以实现类似的循环引用，只是初始化写法会略有不同。

内容来源于stack exchange