进一步理解指针：一维数组和二维数组转换

先看下列代码的输出是什么？
int main()
{
    int m[5] = { 0,1,2,3,4 };
    int* p = (int*)(&m+1);
    printf("%d,%d\n", *(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\n", *(m+1), *(p-1));


    int (*pp)[5] = (&m+1);
    --pp;
    printf("%d\n", 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\n", 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\n", pm1[1][1], pm2[1][1], pm3[1][1]);


    return 0;
}

指针加减，要看它指向的类型，移动大小是指向类型的大小。实际上，内存中的pm[0]和pm[1]是连续在一起的，并没有分成两行，只是为了理解二维数组经常被画成二维表格形式。
关联贴：常见指针定义解读（http://blog.chinaunix.net/uid-20682147-id-4344901.html）。