为何inline static变量在不同翻译单元中地址不同？

当你在全局作用域使用inline static修饰变量时，static的内部链接特性会主导变量的行为，直接导致每个包含该头文件的翻译单元都会生成一个独立的变量实例，因此不同翻译单元中的变量地址不同。下面拆解具体原因：

核心概念梳理 #

• 单独的inline全局变量：C++17引入的特性，默认是外部链接。虽然每个翻译单元都可以有该变量的定义，但编译器会确保所有定义指向同一个实体，因此不同翻译单元中变量的地址完全相同（对应你测试中的i_value）。
• 单独的static全局变量：属于内部链接，每个翻译单元都会创建一个独立的变量副本，副本之间相互独立，地址自然不同（对应你测试中的s_value）。
• inline static全局变量：这里的static会将变量的链接属性强制设为内部链接，inline的作用仅在于允许你在头文件中合法定义这个变量（避免头文件重复包含导致的重定义错误），但无法改变static带来的「每个翻译单元独立副本」的特性。也就是说，inline在这里只是消除了重定义编译错误，但每个翻译单元依然会生成自己的is_value实例。

对应你的测试代码验证 #

• main.cpp和io.cpp都包含了io.h，因此各自生成了一个独立的is_value副本：main中直接取的&is_value是该翻译单元内的副本地址，get_is_value()返回的是io.cpp翻译单元内的副本地址，二者自然不同。
• i_value是纯inline全局变量，所有翻译单元共享同一个实体，因此地址相等。
• s_value是纯static全局变量，每个翻译单元有独立副本，地址不等。

额外注意：类内的inline static是例外 #

如果inline static是类的成员变量，行为完全不同：类成员的inline static是全局唯一的，所有翻译单元共享同一个实例，地址一致。这是因为类成员的static本身就不是文件作用域的内部链接，而是属于类的全局实体，inline只是允许在类内直接定义初始化。

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