比较整数提升后的结果

Question

以下情况：

我有用于将变量的补码连同其原始值一起存储在结构中的宏。使用另一个宏，我想检查原始值是否等于存储的补码值的补码。但奇怪的是，我没有得到预期的结果。 简化操作，结果如下：

#include <stdbool.h>
#include <stdint.h>
#define CHECKVAR(var__, compl__) ((var__^compl__)==-1);

int main()
{
uint8_t var;
uint8_t complementvar;

var=3;
complementvar=~var;

bool checkOK=CHECKVAR(var,complementvar); /*-> I expect that all bits are set and hereby it is equal to "-1", but instead i get "false" */

return 0;
}

我的期望是（例如在 32 位系统上：

1. 在补码运算后complementvar 的值为0xfffffffc（在由 ~ 运算符引起的整数提升为 int 并通过隐式将左值强制转换为 uint8 将左值分配给 complementvar 之后）。
2. 现在到检查宏： 按位运算导致双方的整数提升？：
   • 2a)。 var: 0000 0000 0000 0000 0000 0000 0000 0011; complementvar: 1111 1111 1111 1111 1111 1111 1111 1100
   • 2b)\ 现在对 var 和 Complementvar 进行异或运算会导致 1111 1111 1111 1111 1111 1111 1111 1111
3. 与 -1 一起检查 XOR 运算的结果（表示为整数） 1111 1111 1111 1111 1111 1111 1111 1111==1111 1111 1111 1111 1111 1111 1111 1111 应为真，但我总是收到假，因为异或运算的结果（对我来说很奇怪）是 0x000000ff？

我使用的是什么编译器？它是 MSVC++11，但实际上解决方案应该尽可能独立于编译器。 由于我也必须是可移植的，所以使用 C 编译器的结果会有所不同吗？

Answer 1

在补码运算之后，complementvar 的值为0xfffffffc

没有。看看那个代码：

uint8_t complementvar;
complementvar=~var;

~var 将评估为您期望的值，但 complementvar 的类型为 uint8_t，因此转换仅导致 0xfc。

在您的检查步骤中，这再次提升为int，但由于uint8_t 是一个无符号 类型，此处不会发生符号扩展，您只需添加0 位。这解释了您从 xoring (^) 获得的结果。