c - 两个表达式都是 TRUE

Question

在第一个代码块中，两个条件都为 TRUE。在第二个例子中，第一个为 true，另一个为 false。

int8_t i8 = -2;
uint16_t ui16 = i8;
if(ui16 == -2)       //this is TRUE
if(ui16 == 65534)    //this is TRUE as well

这是第二种情况:

int8_t i8 = -2;
int16_t i16 = i8;
if(i16 == -2)       //this is TRUE
if(i16 == 65534)    //this is NOT TRUE !!!

Answer 1

因为 -2 适合 int16_t，而 -2 在 uint16_t 中转换为无符号。

这是明确定义的行为。

来自 ISO/IEC 9899(C99 标准工作草案):

6.3.1.3 Signed and unsigned integers
...
2 Otherwise, if the new type is unsigned, the value is converted by repeatedly adding or subtracting one more than the maximum value that can be represented in the new type until the value is in the range of the new type.⁴⁹⁾
...
⁴⁹⁾ The rules describe arithmetic on the mathematical value, not the value of a given type of expression

所以如果我这样做:

uint16_t i = -2;

编译器应该执行以下操作:

i = -2 + (USHRT_MAX + 1);

或

i = -2 - (USHRT_MAX + 1);

直到我们得到一个可存储在 16 位以内且无符号位的值。

不依赖于-2的排名，而是依赖于数学值。

在您的情况下，这应该是:65534

Which it is with gcc.[C++ 遵循相同的带符号转换规则]

在代码的第二部分中，您只需将较低排名值分配给较高排名变量。

例如使用更多的精度位数来存储相同的数字。

当您检查 i16 == 65534 时，您将从同一部分调用标准的这一部分:

3 Otherwise, the new type is signed and the value cannot be represented in it; either the result is implementation-defined or an implementation-defined signal is raised.

因为 65534 无法以 15 位和符号位 (2¹⁵ - 1) 的形式存储。

因此调用实现定义的行为。

除非您是编译器开发人员，否则依赖此返回值与依赖未定义行为一样糟糕。