c++ - 我什么时候可以确定如果 == 运算符对于不同类型的整数操作数计算结果为真，那么操作数真的相等？

Question

我知道整数转换可能非常棘手，应用不同整数类型的操作数可能会破坏例如 <运算符(operator):

std::cout << (-1 < 1u)
false

甚至是 ==运算符(operator):

std::cout << (4294967295u == -1)
true

(当然，上面两个例子都会产生警告)

我想知道的是:

• 如果我将两个操作数与 == 进行比较运算符，并且任一操作数的值位于另一个操作数的范围内，我可以确定如果语句的计算结果为 true值真的相等吗？
• 如果不是，在什么情况下 ==运营商产生合理的结果？如何使用它来无误地比较有符号和无符号值？

Answer 1

• If I compare two operands with the == operator, and the value of either operand lies within the range of the other operand, can I be sure that if the statement evaluates to true the values are really equal?

是。只要满足两个条件:

1. 两个参数都是完整的，并且
2. 两种参数类型要么具有相同的符号，要么符号值恰好是非负的。

但是:这并不意味着这是个好主意。编译器警告不应掉以轻心。

对于大多数二元运算符(包括==)和整数操作数，编译器将首先应用整数提升(C++11:§4.5[conv.prom] ) 独立地分配给每个操作数。这会将操作数至少转换为 unsigned int 或(最好)int。这保留了操作数的所有可能值，但它可以将一种类型从无符号类型更改为更大的有符号类型。

接下来，编译器寻找通用类型 (C++11: §5[expr]/9)。此类型不会大于两个操作数中较大的一个。这里确实可以更改值:有符号类型可能会转换为无符号类型，在这种情况下，负值将不会保留。但由于我们排除了负值，所以这不是问题。