c - 宏定义 :' #define my_macro (1 << 16) ' 和 '#define my_macro(1U << 16)' 有什么区别

Question

我猜后者明确指示将“1”视为无符号整数。但是，如果有任何前者，那么不良的副作用是什么。我看到这两个都在 linux 内核中使用。那么哪个更准确/更推荐，为什么？

Answer 1

1 << x 有一个问题当您将 1 向左移动足够远时，就会变得很明显。在用二进制补码表示整数的机器上，这会使值突然变为负数。假设 int 32位宽度:

#include <stdio.h>

int
main(int argc, const char** argv) 
{
    printf("%d\n", (1 << 30));
    printf("%d\n", (1 << 31));
    printf("%ud\n", (1U << 30));
    printf("%ud\n", (1U << 31));        
    return 0;
}

产量

1073741824
-2147483648
1073741824d
2147483648d

在我的机器上。这在代码的其他部分可能是意想不到的。特别是，由于有符号扩展，反向移位不一定等价:

#include <stdio.h>

int
main(int argc, const char** argv) 
{
    printf("%d\n", (2 << 29) >> 29);
    printf("%d\n", (2 << 30) >> 30);
    printf("%u\n", (2U << 29) >> 29);
    printf("%u\n", (2U << 30) >> 30);
    return 0;
}

产量

2
-2 
2 
2

注意他在第二个输出行翻转了符号...