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.
相关文档：
普通变量是直接传值show(int a,int b)
指针变量传递地址show(int *a,int *b)
引用变量是隐式传地址 1:int x;void show(int &x)，实际传递的是x的地址p，但是函数内部使用x时会自动变成*p
......
复杂的C\C++声明，常出现在学校的考卷，面试题或是牛人老外的代码中。
我们在实际的工作中，应该尽可能少使用复杂的声明。复杂的声明，会让阅读您代码的人很是郁闷。
虽然不使用这种复杂的声明，但还是应该把将如何解析这种复杂的声明的方法记在心中。
所以，我把这种方法记录下来，以备不时之需。
入门题
1) 一个整� ......
合并排序（MERGE SORT）是又一类不同的排序方法，合并的含义就是将两个或两个以上的有序数据序列合并成一个新的有序数据序列，因此它又叫归并算法。它的基本思想就是假设数组A有N个元素，那么可以看成数组A是又N个有序的子序列组成，每个子序列的长度为1，然后再两两合并，得到了一个 N/2 个长度为2或1的有序子序列，再两两 ......
C/C++预处理 ISO/ANSI C标准译文与注解
http://blog.csdn.net/huyansoft/archive/2008/05/26/2484297.aspx
<<ISO/ANSI C标准译文与注解 C/C++预处理部分>>
内容简介：本文档完整翻译了C标准(99版)中预处理和相关章节的内容，并在许多必要之处附加了注解和程序示例，以帮助读者理解标准原文，同时制作了详细� ......
一、多维数组地址的表示方法
设有整型二维数组a[3][4]如下：
0 1 2 3
4 5 6 7
8 9 10 11
设数组a的首地址为1000，各下标变量的首地址及其值如图所示。
在前面曾经介绍过， C语言允许把一个二维数组分解为多个一维数组来处理。因此数组a可分解为三个一维数组，即a[0]，a[1]， ......
