两种inline全局变量声明场景下，初始化顺序是否存在差异？

先看两段代码：

第一段代码在Clang 15环境下运行异常：

#include <iostream>
struct A {
    A() {
        std::cout<<"hello" << std::endl;
    }
};
inline A a;
int main() {
}

第二段仅给变量a添加static修饰后，就能成功打印hello：

#include <iostream>
struct A {
    A() {
        std::cout<<"hello" << std::endl;
    }
};
static inline A a;
int main() {
}

提问者认为static不应该影响std::cout和变量a的初始化顺序，二者应为不确定顺序，这个观点并不正确，原因如下：

1. 链接属性的差异直接影响初始化规则 #

• inline A a;：C++17及之后，该变量属于外部链接的全局对象，跨翻译单元可见。它的动态初始化由编译器选择某个翻译单元执行，其初始化顺序与其他翻译单元中的全局对象（比如std::cout）没有固定顺序——无依赖关系的跨单元全局对象，初始化顺序完全由编译器实现决定。
• static inline A a;：该变量属于内部链接，仅在当前翻译单元可见。它的动态初始化发生在当前翻译单元的动态初始化阶段，而C++标准对标准库IO对象有特殊保证：如果在当前翻译单元的动态初始化过程中首次使用std::cout这类IO对象，标准库会保证该对象在使用前已完成初始化。

2. 实际运行中的初始化时机差异 #

• 对于外部链接的inline变量，Clang 15的实现可能将其初始化安排在std::cout之前，此时构造函数访问未初始化的std::cout，自然会引发运行异常。
• 对于内部链接的static inline变量，其初始化被安排在std::cout完成初始化之后（或触发了标准库的IO对象初始化保证），因此能正常执行打印逻辑。

简单来说，static通过改变变量的链接属性，间接改变了它的初始化规则和时机，并非像提问者认为的那样不影响初始化顺序。

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