MSVC 中编译时 NaN 比较的可能错误

Question

我的同事正在使用 NaN 进行一些基本实验，并对 Visual Studio 上与他的预期不符的行为感到困惑。经过讨论，他似乎发现了 MSVC 2019 中可能存在的编译器错误。

此代码片段无法在 MSVC 上编译，但在 Clang 和 GCC 上可以正常编译：

#include <limits>

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

演示： https: //godbolt.org/z/xGdqd5

Il 似乎问题涉及常量与 的编译时比较std::numeric_limits<double>::quiet_NaN()，这在现实生活中并不真正有用。

如果与 IEEE-754 所期望的变量进行比较，则比较>和<始终为 false 。quiet_NaN