C/C++移位运算符出界后的结果是不可预期的
转自：http://dev.csdn.net/article/29/29329.shtm
关于逻辑移位、算术移位可参见 迅雷深大笔试题部分。的一道题。
以前看到C++标准上说，移位运算符（<<、>>）出界时的行为并不确定：
The behavior is undefined if the right operand is negative, or greater than or equal to the length in bits of the promoted left operand.
我当时也没有深究过这个问题。前几天有个网友来信问起这件事，我才发现，这和Intel CPU的移位运算有关。下面是那位网友的来信以及我的回复：
您好！运算符<<作为位操作中的高效的操作，但我遇到一个问题：下面在VC环境下发现一个很不明白的地方，下面标注。
#include <stdio.h>
void main()
{
unsigned int i,j;
i=35;
//为什么下面两个左移操作结果不一样？
j=1<<i; // j为8
j=1<<35; // j为0
}
不知是哪里没有理解对。
原因是这样的：i=35;j=1<<i;这两句在VC没有做优化的情况下，将被编译成下面的机器指令：
mov dword ptr [i],23h
mov eax,1
mov ecx,dword ptr [i]
shl eax,cl
mov dword ptr [j],eax
在shl一句中，eax=1，cl=35。而Intel CPU执行shl指令时，会先将cl与31进行and操作，以限制左移的次数小于等于31。因为35 & 31 = 3，所以这样的指令相当于将1左移3位，结果是8。
而j=1<<35;一句是常数运算，VC即使不做优化，编译器也会直接计算1<<35的结果。VC编译器发现35大于31时，就会直接将结果设置为0。这行代码编译产生的机器指令是：
mov dword ptr [j],0
对上面这两种情况，如果把VC编译器的优化开关打开（比如编译成Release版本），编译器都会直接将结果设置为0。
所以，在C/C++语言中，移位操作不要超过界限，否则，结果是不可预期的。
下面是Intel文档中关于shl指令限制移位次数的说明：
The destination operand can be a register or a memory location. The count operand can be an immediate value or register CL. The count is masked to 5 bits, which limits the count range to 0 to 31. A special opcode encoding is provided for a count of 1.
相关文档：
9月都快结束了，之前一直忙到写自己的东西加上上班。基本没有时间研究下汇编和C C++方面的感兴趣的东西。再怎么说嘛，9月还是得写一篇撒，以后每月至少一篇吧。给自己定了，希望大家监督。嘿嘿！
这篇文章就来谈谈平常很常见的HOOK技术，这里呢。写得比较简单，方法很多。只讲原理！希望大鸟们别吐我口水哈 - -。好！切入� ......
C操作符的优先级和关联规则
操作符
关联规则
关联操作符 () [] -> .
从左到右
一元操作符 ! – ++ -- + - (type) * & sizeof
从右到左
乘法和除法 * / %
从左到右
加法和减法 + -
从� ......
C/C++预处理 ISO/ANSI C标准译文与注解
http://blog.csdn.net/huyansoft/archive/2008/05/26/2484297.aspx
<<ISO/ANSI C标准译文与注解 C/C++预处理部分>>
内容简介：本文档完整翻译了C标准(99版)中预处理和相关章节的内容，并在许多必要之处附加了注解和程序示例，以帮助读者理解标准原文，同时制作了详细� ......
自己写的C/C++编译器Doctors[软件+文档]
http://blog.csdn.net/huyansoft/archive/2009/08/20/4464772.aspx
更新版本1.0.1：该版本解决了之前1.0.0版本中找不到链接库libc.lib的问题，以及IDE下点击Project菜单出现的BUG。下载地址：http://download.csdn.net/source/1597132
Doctors编译器内部实现
For version 1.0.1 ......
一、多维数组地址的表示方法
设有整型二维数组a[3][4]如下：
0 1 2 3
4 5 6 7
8 9 10 11
设数组a的首地址为1000，各下标变量的首地址及其值如图所示。
在前面曾经介绍过， C语言允许把一个二维数组分解为多个一维数组来处理。因此数组a可分解为三个一维数组，即a[0]，a[1]， ......
