C++类声明中类常量定义疑问：constexpr静态浮点常量为何可行？

这种constexpr static float的写法是完全正确的，背后有明确的C++标准依据，下面结合标准演进和语法规则详细解释：

传统认知的来源 #

早期的C标准（如C03）确实有严格限制：仅允许**整数类型（包括bool、char、枚举类等）**的static const成员在类内直接初始化，而且如果代码中需要取该成员的地址、或把它作为左值使用（ODR-use），还必须在类外的编译单元中提供单独的定义。这就是你所说的“传统认知”的由来。

constexpr带来的规则突破 #

从C++11开始引入的constexpr关键字，核心目标是支持编译期常量表达式。针对类的static constexpr成员，标准做出了两大关键调整：

1. 允许更多类型类内初始化：只要成员的类型是字面类型（Literal Type），就可以在类内直接用常量表达式初始化。浮点类型（float、double）属于算术类型，自然属于字面类型的范畴。
2. 类内初始化即为完整定义：static constexpr成员的类内初始化语句本身就是它的定义，不需要在类外的编译单元中额外补充定义（C++17标准进一步明确，即使对该成员进行ODR-use，也不需要额外定义）。

两种写法的本质差异 #

• static const float D1 = 33.8F：
  这种写法在C03中完全不合法（因为浮点类型不属于允许类内初始化的整数类型）；即使到了C11及以后，它也只是一个声明而非定义。如果代码中需要对该成员进行ODR-use（比如取地址、绑定到引用），必须在类外的某个.cpp文件中补充定义：const float Foo::D1;，否则会触发链接错误。
• constexpr static float D1 = 33.8F（注：你写的constexpr static float const里的const是冗余的，constexpr隐含了const属性）：
  这种写法在C++11及以后完全合法，类内初始化就是完整定义，无需额外补充，且能保证该值是编译期常量，可用于所有需要常量表达式的场景。

标准依据摘要 #

• C11及后续标准的[class.static.data]章节规定：static constexpr成员可以在类内用常量表达式初始化，且该声明即为定义（C17进一步明确ODR-use场景无需额外定义）。
• 字面类型（Literal Type）的定义包含算术类型（浮点、整数）、引用、满足特定条件的类类型等，float属于合法范畴。
• 对于非整数类型的static const成员，C++11及以后允许类内初始化，但仅视为声明，必须在类外提供定义才能满足ODR-use要求。

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