MSVC 2019编译期对double类型quiet_NaN常量比较疑似存在编译器bug

问题现象 #

• 团队开展NaN相关基础实验时发现，MSVC 2019的编译行为与预期不符：同一段测试代码在Clang、GCC环境下可正常编译，在MSVC 2019环境下会触发编译报错。
• 可稳定复现问题的代码片段：

#include <limits>

int main()
{
    static_assert(!(1 < std::numeric_limits<double>::quiet_NaN()), "compiler bug?");
}

已排查的触发特征 #

• 问题仅在编译期常量与std::numeric_limits<double>::quiet_NaN()执行大小比较的场景下触发，这类场景在常规业务开发中极少使用。
• 经运行时逻辑验证，当quiet_NaN与普通变量执行>、<比较时，结果恒为false，完全符合IEEE-754标准的预期，异常仅出现在编译期常量求值环节。

问题定位与应对方案 #

问题属性确认 #

• 该问题是MSVC 2019早期版本的已公开编译器缺陷：在编译期常量表达式求值流程中，对涉及quiet_NaN的大小比较规则实现不符合标准要求，未正确按照IEEE-754规则完成“任意有限值与NaN做大小比较时结果恒为false”的常量推导，反而将该类比较判定为非法常量表达式，直接触发编译错误。
• 该缺陷已在MSVC 2019 16.10及后续版本、MSVC 2022全版本中完成修复。

可选规避方案 #

• 若使用受影响的旧版MSVC，可将依赖该比较逻辑的静态断言挪至运行时执行，绕开编译期常量求值环节的异常。
• 由于按照IEEE-754规则，非NaN值与quiet_NaN的大小比较结果为固定的false，可直接用显式编译期常量替代实际的比较操作，避免触发编译器的缺陷逻辑。
• 升级到已修复该缺陷的MSVC版本，从根源解决编译异常问题。

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