类内与类外静态成员初始化：const/constexpr属性与ODR规则解析

我通过实验（主要依据编译器诊断信息）掌握了各类static数据成员的声明、初始化与定义方式，但并未真正理解这些机制背后的规则以及One-Definition-Rule（ODR，单定义规则），尤其对static数据成员初始化的逻辑及ODR合规性存在困惑，而const、constexpr属性带来的行为差异更加剧了这种困惑。我在Stack Overflow上找到一些相关帖子，但不确定它们是否能精准解答我的问题，且没有一篇能给出完整的全局视角。cppreference上的static相关规则文档也未能让我完全理解其与ODR的关联。我编写了包含ClassODR.h、ClassODR.cpp、TestODRUse#N.cpp、main.cpp的示例代码，基于此有以下观察与问题：

• 若设置任意OUT_OF_xxx_IN_HEADER_DEFINITION，会触发ODR违反（对应变量在多个翻译单元中定义），C++17起可通过inline声明缓解；
• 我了解到非const的static成员无法类内初始化是为避免ODR违反，但困惑为何const/constexpr的static成员可（或必须）类内初始化，且每个翻译单元都能看到定义却不违反ODR；
• cppreference中提到，若const非inline（C17起）或constexpr（C11至C++17）的static数据成员被odr-used，仍需在命名空间作用域定义且不能带初始化器，但我从未遇到过需要对类内初始化的static constexpr成员进行类外重定义的情况。

综上，我希望针对不同const(expr)属性的static数据成员，结合各C++版本差异，澄清其ODR相关规则。

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