多维数组和指针

我相信指针和数组之间的暧昧缠绵让很多C初学者很头痛吧，特别是多维数组，那真的是要了亲命，这里我给大家好好分析一下指针和多维数组之间的关系。

大家都知道一维数组名即是一个指针常量，它代表数组第一个元素的地址，我们知道一维数组的长度，那么可以通过数组名输出一维数组的所有元素：

#include <stdio.h>

int main(void)
{
    int i;
    int a[5] = {1, 2, 3, 4, 5};
    int *p = a;
    for( i = 0; i < 5; i++ )
        printf( "%d\n", *(p + i) );
    return 0;
}

但是在多维数组中，数组名却是第一个数组的地址，怎么理解呢？比如说定义一个二维数组：

int a[2][5] = {1, 2, 3, 4, 5,
               6, 7, 8, 9, 10};

那么数组名a就是二维数组的第一行一维数组的地址，而不要错误的认为它代表的是第一行第一个元素的地址噢，那我们应该怎么正确的申明一个指向整形数组的指针呢？

int (*p)[5] = a;

它使 p 指向二维数组的第一行的一维数组（注意是指向的第一行一维数组）。

#include <stdio.h>

int main(void)
{
    int i;
    int a[2][5] = {1, 2, 3, 4, 5,
                   6, 7, 8, 9, 10};
    int (*p)[5] = a;
    for( i = 0; i < 5; i++ )
        printf( "%d\n", *(*p + i) );
    return 0;
}

上面的程序也是依次输出了1~5，这里 p 是指向二维数组的第一行地址的指针，那么 *p 即是代表第一行数组，那么也就是第一行数组的地址，我们可以再通过 *(*p + i) 输出第一行数组的各个元素。有点乱？呵呵，再仔细想想，或者直接说 a 是指向的第一行，那么 *a 就代表第一行的那个一维数组，但 *a 仍然是一个指针常量，而 **a 才是这个一维数组的第一个元素的值。

如果我们要定义一个指针可以逐个访问元素呢？下面两种方法都是正确的声明和赋值：

int *p = &a[0][0];

int *p = a[0];

第一种方法，就干脆把数组的第一行第一个元素取地址给指针变量p，这可能是最直观的方法。

第二种方法，其实原理一样，前面刚说了 a 是指向的第一行，第一行是一个一维数组，那么a[0]就是这个一维数组的第一个元素的地址。特别注意这里的 a[0] 不是一个值，而是一个地址。

#include <stdio.h>

int main(void)
{
    int i;
    int a[2][5] = {1, 2, 3, 4, 5,
                   6, 7, 8, 9, 10};
    int *p = a[0];
    for( i = 0; i < 10; i++ )
        printf( "%d\n", *(p + i) );
    return 0;
}

上面的代码就输出了二维数组中的所有元素。

附：这里的a[0]却输出了hello

int main(void)
{
    char a[2][10] = {"hello", "hi"};
    printf( "%s\n", a[0] );
    //printf( "%s\n", *a );
    //printf( "%s\n", *a + 1 ); 输出 "ello"
    //printf( "%s\n", *(a + 1) ); 输出 "hi"
    return 0;
}

而这又是为什么呢？这里的 a[0] 仍然是一个地址，它指向的是一个字符串常量，%s 是可以打印地址的，这里跟 %d 输出值是不一样的，a[0] 指向了字符串的第一个字母的地址，一直输出到 NUL 为止。