C++17静态inline成员是否仍存在静态初始化顺序问题及析构疑问

首先直接给结论：用C++17的static inline静态成员来解决跨翻译单元的静态初始化顺序混乱问题是安全的，且你的示例中的析构顺序也是有明确标准保证的。下面分两部分详细解释：

一、初始化阶段：完全规避静态初始化顺序问题 #

C++17引入的static inline静态数据成员本质是inline变量，标准对它的初始化有严格规定：

• 它的初始化会在首次odr-use（单定义规则下的使用）之前完成：在你的示例中，A::static_a和B::static_b的构造函数都需要引用C::static_counter，这属于odr-use行为，因此static_counter一定会在这两个Object实例构造之前完成初始化，绝不会出现"使用未初始化Counter"的问题。
• 即使在多个翻译单元中被引用，static inline成员只会被初始化一次：不会因为a.cpp和b.cpp都用到C::static_counter就重复构造Counter对象，彻底避免了重复初始化的风险。

你给出的MSVC输出也完全符合这个预期：Counter created是第一条输出，说明它确实先于两个Object完成初始化。

二、析构阶段：顺序有明确标准保证 #

你关心的"析构顺序是否有保证"，答案是肯定的：
C++标准明确规定，静态存储期对象的析构顺序与它们的构造顺序完全相反。

在你的场景中：

1. 构造顺序：C::static_counter先被初始化（因为static_a和static_b的构造都依赖它），随后是static_a和static_b（这两者的构造顺序取决于编译器对不同翻译单元静态对象的处理，但无论谁先谁后，都在static_counter之后）。
2. 析构顺序：按照构造的逆序，static_a和static_b会先被析构（两者的析构顺序也和自身构造顺序相反），最后才是C::static_counter被析构。

你的MSVC输出也验证了这一点：两个Object的析构（以及对应的计数器递减）完成后，才出现Counter destroyed的输出，完全符合预期。

这个模式的潜在注意点 #

虽然这个方案很安全，但有一个小细节需要留意：
如果后续新增了不依赖C::static_counter的静态对象，且这个对象的析构逻辑依赖Counter的状态，那需要额外确保它的析构顺序在static_counter之前。不过在你的当前场景中不存在这个问题，只要所有依赖static_counter的静态对象都像示例中的static_a和static_b那样，通过引用它完成初始化，析构顺序就会自动符合预期。

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