MSVC 2022中max(NaN, 数值)的优化是否存在错误或未定义行为？

这并非未定义行为，而是MSVC 2022在特定优化场景下的代码生成bug，原因如下：

1. IEEE 754标准约束
   MSVC官方明确遵循IEEE 754标准，根据该标准，任何包含NaN的比较运算结果都为false。因此max(nan, 1)展开后的表达式nan > 1 ? nan : 1，必然会返回1，这是确定的行为，不属于未定义范畴。

2. 场景对比验证

   • 常量求值场景（static_assert验证）结果符合预期，说明编译器本身理解IEEE 754的规则；
   • MSVC 2019版本、MSVC 2022关闭优化模式，以及其他主流编译器都能正确返回1；
   • 仅当MSVC 2022 + /O1/O2优化 + 非常量求值 + 赋值给原NaN变量时，才会错误地将表达式优化为常量NaN。

3. 宏与函数的差异
   问题仅出现在max宏的使用中，std::max函数不会触发该bug，因为函数调用的语义更明确，编译器不会做出错误的优化假设。

代码示例 #

#include <cstdio>
#include <limits>

// 模拟Windows.h中的max宏定义
#define my_max( a, b ) (((a) > (b)) ? (a) : (b))

constexpr double get()
{
    double value = std::numeric_limits<double>::quiet_NaN();
    value = my_max( value, 1 ); // 按IEEE 754规则应返回1
    return value;
}

static_assert( get() == 1 ); // 常量求值结果符合预期

int main()
{
    // MSVC 2022开启/O1/O2时输出nan，其他场景输出1
    std::printf( "%f\n", get() );
}

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