如何创建值为-0.0的constexpr常量？

直接用 -0.0f 初始化就行，C++标准允许constexpr环境下这么定义负零，符合IEEE 754标准的编译器都会生成正确的位模式（符号位为1，其余位为0）。示例代码：

constexpr float fNEGZERO = -0.0f;

验证位模式（C++20及以上） #

可以用std::bit_cast在编译期验证它的位是否符合预期：

#include <bit>
#include <cstdint>

constexpr float fNEGZERO = -0.0f;
// 编译期断言：负零的uint32位表示应为0x80000000
static_assert(std::bit_cast<std::uint32_t>(fNEGZERO) == 0x80000000U, "未生成正确的负零位模式");

为什么联合方法不可行？ #

你提到的联合类型赋值法在constexpr里被C++标准禁止——constexpr上下文不允许访问联合的非活跃成员，这确实是硬性限制，但直接赋值-0.0f是完全合法的constexpr操作，没必要绕弯路。

关于编译器内置值的补充 #

NaN、正/负无穷这类值确实依赖编译器实现，但负零是IEEE 754浮点数标准明确规定的特性，所有合规编译器都会正确处理-0.0f的constexpr初始化，不需要依赖numeric_limits的内置特殊值。

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