C++——指针与多维数组

与使用一维数组一样，程序使用多维数组的时候，也会自动转换为指向数组首元素的指针。

int ia[3][4];    // ia大小为3的数组，每个元素是含有4个整数的数组
int (*p)[4] = ia;// p指向含有4个整数的数组
p = &ia[2];      // p指向ia的尾元素

(*p)意味着p是一个指针。[4]表示指针p所指的是一个维度为4的数组，再观察左边，数组中的元素是整数。因此，p是指向含有4个整数的数组的指针。

C++11标准通过使用auto或者decltype尽可能避免在数组前加上指针类型：

// 输出ia中每一个元素的值，每个内层数组各占一行
// p指向含有4个整数的数组
for (auto p = ia; p!=ia+3; ++p){
    // q指向4个整数数组的首元素
    for(auto q = *p; q != *p + 4; ++q)
        cout << *q << ' ';
    cout << endl;
}

外层for循环首先声明一个指针p并令其指向ia的第一个内层数组，然后依次迭代直至ia的全部3行都处理完。其中++p负责将指针p移动到ia的下一行。

内层for循环负责输出内层数组所包含的值。它首先令指针q指向p当前所在行的第一个元素。*p是一个含有4个整数的数组。也可以使用标准库函数begin和end实现同样的功能。

// p指向ia的第一个数组
for (auto p = begin(ia); p != end(ia); ++p){
    // q指向内层数组的首元素
    for(auto q = begin(*p); q != end(*p); ++q)
        cout << *q << ' '; // 输出q所指的整数值
    cout << endl;
}

使用类型别名来简化书写：

using int_array = int[4];   
typedef int int_array[4];
//  输出ia中每个元素的值，每个内层数组各占一行
for (int_array *p = ia; p != ia + 3; ++p) {
    for (int *q = *p; q!=*p+4; ++q)
        cout << *q << ' ';
    cout << endl;
}

上面程序将类型"4个整数组成的数组" 命名为int_array，用类型名int_array定义外层循环的控制变量。