先看下列代码的输出是什么？
int main()
{
int m[5] = { 0,1,2,3,4 };
int* p = (int*)(&m+1);
printf("%d,%d
", *(m+1), *(p-1));
return 0;
}
要知道这个输出，最关键的是要理解指针操作的“加”和“减”，假设有一指针ptr，则“ptr”中的“1”是指ptr所指类型的大小。因此上述代码中的“&m+1”中的“1”实质是“sizeof(m)”，而后一个“1”则“sizeof(m[0])”。
为什么“&m+1”中的“1”是“sizeof(m)”？根本原因在于“&a”实际是一个二维数组“int (*)[5]”的首地址，而不是一维数组“int [5]”的首地址，看下面这段代码就容易理解：
int main()
{
int m[5] = { 0,1,2,3,4 };
int* p = (int*)(&m+1);
printf("%d,%d
", *(m+1), *(p-1));
int (*pp)[5] = (&m+1);
--pp;
printf("%d
", pp[0][4]);
return 0;
}
而要注意：上面的“p”仍然是一个一维数组的首地址！下面演示把一个一维数组变成真正的二维数组使用：
int main()
{
int m[5] = { 0,1,2,3,4 };
int** ppm = (int**)m; // 这里也可以写成：int** ppm = (int**)&m;，&m、m和&m[0]的区别是什么？
int (*pm)[3] = (int (*)[3])ppm;
printf("%d
", pm[1][1]);
return 0;
}
下列代码的输出又是什么了？或者代码有问题？
int main()
{
int m[5] = { 0,1,2,3,4 };
int** ppm = (int**)m;
int (*pm1)[3] = (int (*)[3])&m;
int (*pm2)[3] = (int (*)[3])ppm;
int (*pm3)[3] = (int (*)[3])&ppm;
printf("%d,%d,%d
", pm1[1][1], pm2[1][1], pm3[1][1]);
return 0;
}
指针加减，要看它指向的类型，移动大小是指向类型的大小。实际上，内存中的pm[0]和pm[1]是连续在一起的，并没有分成两行，只是为了理解二维数组经常被画成二维表格形式。
关联贴：常见指针定义解读（http://blog.chinaunix.net/uid-20682147-id-4344901.html）。