linux有符号和无符号,51CTO博客

符号和无符号,51CTO博客"/>

linux有符号和无符号,51CTO博客

(下面所有的测试为Linux平台，gcc编译器)

#include

#include

int main ()

{

int a = 0x80000000;

unsigned int b = 0x80000000;

printf("a right shift value is 0x%X\n", a >> 1);

printf("b right shift value is 0x%X\n", b >> 1);

return 0;

}

输出结果为

[root@Lnx99 test]#./a.out

a right shift value is 0xC0000000

b right shift value is 0x40000000

为什么结果不同呢？

查看汇编代码

Dump of assembler code for function main:

0x080483c4 : push %ebp

0x080483c5 : mov %esp,%ebp

0x080483c7 : and $0xfffffff0,%esp

0x080483ca : sub $0x20,%esp

0x080483cd : movl $0x80000000,0x18(%esp)

0x080483d5 : movl $0x80000000,0x1c(%esp)

0x080483dd : mov 0x18(%esp),%eax

0x080483e1 : mov %eax,%edx

0x080483e3 : sar %edx

0x080483e5 : mov $0x80484e4,%eax

0x080483ea : mov %edx,0x4(%esp)

0x080483ee : mov %eax,(%esp)

0x080483f1 : call 0x80482f4

0x080483f6 : mov 0x1c(%esp),%eax

0x080483fa : mov %eax,%edx

0x080483fc : shr %edx

0x080483fe : mov $0x8048501,%eax

0x08048403 : mov %edx,0x4(%esp)

0x08048407 : mov %eax,(%esp)

0x0804840a : call 0x80482f4

0x0804840f : mov $0x0,%eax

0x08048414 : leave

0x08048415 : ret

End of assembler dump.

其中红色代码对应的是a>>1，sar为算术右移，使用符号位补位，在这里补的全是1.

蓝色代码对应的是b>>1，shr为逻辑右移，使用0补位。

在平时的工作中，一般情况下，我们所期待的移位操作应该为逻辑右移，所以在使用移位操作时，一定要注意操作数的类型，一定要保证为无符号数。这样结果才是我们所期待的结果。

查了查资料，根据大多数的说法。C标准没有规定有符号数的右移如何处理。那么对于有符号数的右移处理，就由编译器决定。