类型转换

Question

我真的不明白为什么我必须在反演后对变量b进行类型转换（一元运算operator ~ ）。 任何人都可以解释为什么需要它吗？

unsigned char a = 0xFF;
unsigned char b = 0x00; 

return (a == (~b));                //expected to return 1 but 0

...

return (a == (unsigned char)(~b)); //after typecast returns 1 as expected

Answer 1

~b结果是提升类型int （通常是b与任何其他一元运算符的结果+ ， -或~ ）所以你需要对结果进行类型转换。

来自C11规范草案第6.5.3.3节一元算术运算符：

〜运算符的结果是其（ 提升的 ）操作数的按位补码（即，当且仅当未设置转换后的操作数中的相应位时，才会设置结果中的每个位）。 整数提升在操作数上执行 ， 结果具有提升类型 。 如果提升类型是无符号类型 ，则表达式~E等于该类型中可表示的最大值减去E.

所以，

unsigned char b = 0x00;
/* ~b = 0xFFFFFFFF (assuming 4 byte int), (unsigned char)~b = 0xFF */