算术右移 逻辑右移

先由一道题目引入：有两个变量a和b，不用if、？：、switch等判断语句，找出较大的那个变量。

其中一种答案如下：

char* result[] = {"a is larger", "b is larger"};
int c = a - b;
c = unsigned(c) >> (sizeof(int) * 8 - 1);
cout << result[c] << endl;

 sizeof(int) * 8 很好理解，就是求出int型占内存的bit数，-1就是为了右移后保留最高位，即保留符号位。

 问题来了：为什么移位时要把c转为unsigned呢？而一旦去掉unsigned关键字的话运行出错。

 在vc2008中设置断点，调试，进入反汇编，发现问题出现在 >> 时，如果c为-1，则EAX（32位寄存器） = 0xffffffff，没有unsigned情况下移位后还是0xffffffff。

//c = c >> (sizeof(int) * 8 - 1);
004114F3  mov         eax,dword ptr [c] 
004114F6  sar         eax,1Fh 
004114F9  mov         dword ptr [c],eax 

 而有unsigned的话移位后则为0x00000001。

//c = unsigned(c) >> (sizeof(int) * 8 - 1);
004114F3  mov         eax,dword ptr [c] 
004114F6  shr         eax,1Fh 
004114F9  mov         dword ptr [c],eax 

 c右移的规则是：无符号数右移时左边高位移入0；有符号数右移时：1.符号位为0，移入0；2.符号位为1，有的系统移入1（算术右移），有的系统移入0（逻辑右移）。

 经验证vc和gcc均默认为算术右移，上面的汇编代码也说明了这一点，有unsigned时右移采用的是shr(shift logical right)逻辑右移，无unsigned时采用sar（shift arithmetic right）算术右移。

 《c和指针》中也建议不要对有符号数进行>>操作，所以为了确保结果一定，>>时把数值转成unsigned。

 又试了一下<<，发现signed和unsigned都是采用shl逻辑左移，应该是shl和sal效果都一样，所以编译器就统一采用shl。

 试验int 0x80000000 << 1结果为0，说明符号位对左移没影响。