为什么 MSVC 在某些情况下对有符号/无符号比较发出警告，而在其他情况下则不发出警告？

MSVC 中的有符号和无符号整数比较

考虑以下代码片段：

int a = INT_MAX;
unsigned int b = UINT_MAX;
bool c = false;

if (a <p><strong>了解有符号/无符号不匹配</strong></p><p>在 C 中，签名并无符号整数具有不同的类型，当直接比较它们时（例如，使用 ），MSVC 会发出警告 (C4018)。这是因为编译器在执行比较之前尝试将两个操作数提升为通用类型。</p><p><strong>提升规则</strong></p><p>对于整数比较，MSVC 遵循“通常的算术” C 标准中定义的“转换”规则。这些规则确定在比较之前发生哪些提升：</p>

• 整数提升（例如，int 到 long int）
• 如果无符号操作数大于有符号操作数，则转换为无符号操作数的类型操作数
• 如果两个操作数都是，则转换为 unsigned long int整数

为什么 a == b 没有警告？

在示例中，当使用 == 比较 a 和 b 时，MSVC 不会发出警告因为两个操作数在比较之前都被转换为 unsigned int。由于a和b的值都是正数，因此不存在有符号/无符号不匹配，结果是正确的。

直观和非直观结果

而缺少 a == b 的警告可能看起来很直观，但对于像 a

结论

MSVC 不会对 a == b 发出警告，因为通常的算术转换导致两个操作数都转换为相同的无符号类型，从而消除任何有符号/无符号不匹配。但是，对于使用 ，由于转换而可能出现意外结果，编译器会发出警告。

以上是为什么 MSVC 在某些情况下对有符号/无符号比较发出警告，而在其他情况下则不发出警告？的详细内容。更多信息请关注PHP中文网其他相关文章！