多维数组 - Vafail的个人博客

多维数组#

严格来说，C++语言中没有多维数组，通常所说的多维数组其实是数组的数组。谨记这一点，对今后理解和使用多维数组大有益处。

当一个数组的元素仍然是数组时，通常使用两个维度来定义它：一个维度表示数组本身大小，另外一个维度表示其元素（也是数组）大小：

1
// 大小为3的数组，每个元素是大小为4的数组
2
int ia[3][4];

按照由内而外的顺序阅读此类定义有助于更好地理解其真实含义。

在第一条语句中，我们定义的名字是ia，显然ia是一个含有3个元素的数组。

接着观察右边发现，ia的元素也有自己的维度，所以ia的元素本身又都是含有4个元素的数组。

再观察左边知道，真正存储的元素是整数。因此最后可以明确第一条语句的含义：它定义了一个大小为3的数组，该数组的每个元素都是含有4个整数的数组。

上面的代码也可以初始化为

1
// 这些数组的元素是含有30个整数的数组
2
int arr[10][20][30] = {0}

使用同样的方式理解arr的定义。

首先arr是一个大小为10的数组，它的每个元素都是大小为20的数组，这些数组的元素又都是含有30个整数的数组。

实际上，定义数组时对下标运算符的数量并没有限制，因此只要愿意就可以定义这样一个数组：它的元素还是数组，下一级数组的元素还是数组，再下一级数组的元素还是数组，以此类推。对于二维数组来说，常把第一个维度称作行，第二个维度称作列。

多维数组的初始化

允许使用花括号括起来的一组值初始化多维数组，这点和普通的数组一样。下面的初始化形式中，多维数组的每一行分别用花括号括了起来：

1
//三个元素，每个元素是大小为4的数组
2
int ia[3][4] ={
3
        //第一行的初始值
4
        {0,1,2,3},
5
        //第二行初始值
6
        {4,5,6,7},
7
        //第三行初始值
8
        {8,9,10,11}
9
};

其中内层嵌套着的花括号并非必需的，例如下面的初始化语句，形式上更为简洁，完成的功能和上面这段代码完全一样：

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

类似于一维数组，在初始化多维数组时也并非所有元素的值都必须包含在初始化列表之内。如果仅仅想初始化每一行的第一个元素，通过如下的语句即可：

1
//初始化每一行的首元素
2
int ia2[3][4] = {{0},{4},{8}};

其他未列出的元素执行默认值初始化，这个过程和一维数组一样。在这种情况下如果再省略掉内层的花括号，结果就大不一样了。

1
//值初始化第一i行
2
int ix[3][4] = {0,3,5,9};

含义发生了变化，它初始化的是第一行的4个元素，其他元素被初始化为0。

多维数组的下标#

引用可以使用下标运算符来访问多维数组的元素，此时数组的每个维度对应一个下标运算符。

如果表达式含有的下标运算符数量和数组的维度一样多，该表达式的结果将是给定类型的元素；

反之，如果表达式含有的下标运算符数量比数组的维度小，则表达式的结果将是给定索引处的一个内层数组：

1
int ia[3][4] = {{1,2,3,4},
2
                {5,6,7,8},
3
                {9,10,11,12}};
4
int arr[1][1][1] = {{{1}}};
5
// 用arr的首元素为ia的最后一个元素赋值
6
ia[2][3] = arr[0][0][0];
7
//row是一个4维数组的引用,将row绑定到ia的第二个元素(4维数组)上
8
int (&row)[4] = ia[1];

使用for循环

我们可以使用for循环构建数组

1
constexpr size_t rowCnt = 3, colCnt=4;
2
//12 个未初始化的元素
3
int ia[rowCnt][colCnt];
4
//对于每一行
5
for(size_t i = 0; i != rowCnt; ++i){
6
    //对于行内的每一列
7
    for( size_t j = 0; j != colCnt; ++j){
8
        ia[i][j] = i*colCnt + j;
9
    }
10
}

C++11风格处理多维数组

由于C++11新标准增加了范围for语句，所以前一个程序可以简化为

1
constexpr size_t rowCnt = 3, colCnt=4;
2
//12 个未初始化的元素
3
int ia[rowCnt][colCnt];
4
size_t cnt = 0;
5
for(auto &row: ia){
6
    for(auto & col : row){
7
        col = cnt;
8
        ++cnt;
9
    }
10
}

输出每一个元素

1
for(const auto & row: ia){
2
    for(auto col : row){
3
        std::cout << col << " ";
4
    }
5
    std::cout << std::endl;
6
}

输出

指针和多维数组#

当程序使用多维数组的名字时，也会自动将其转换成指向数组首元素的指针。

新手雷区

定义指向多维数组的指针时，千万别忘了这个多维数组实际上是数组的数组。

因为多维数组实际上是数组的数组，所以由多维数组名转换得来的指针实际上是指向第一个内层数组的指针：

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

随着C++11新标准的提出，通过使用auto或者decltype就能尽可能地避免在数组前面加上一个指针类型了：

1
// ia数组
2
int ia[3][4] = {{1,2,3,4},
3
                {5,6,7,8},
4
                {9,10,11,12}};
5
//输出ia中每个元素的值,每个内存数组各占一行
6
//p指向含有4个整数的数组
7
for(auto p = ia; p != ia + 3; ++p){
8
    //q指向4个整数的数组的首元素
9
    for(auto q = *p; q != *p + 4; ++q){
10
        std::cout << *q << ' ';
11
    }
12
    std::cout << std::endl;
13
}

使用C++11提供的std::begin也能实现类似的功能

1
// ia数组
2
int ia[3][4] = {{1,2,3,4},
3
                {5,6,7,8},
4
                {9,10,11,12}};
5

6
// p指向ia的第一个数组
7
for(auto p = std::begin(ia); p != std::end(ia); ++p){
8
    // q指向内存数组的首元素
9
    for( auto q = std::begin(*p); q != std::end(*p); ++q){
10
        // 输出q所指的整数值
11
        std::cout << *q << ' ';
12
    }
13
    std::cout << std::endl;
14
}

类型别名简化多维数组指针

可以使用using 进行类型别名的声明，或者使用typedef声明类型的别名

1
// ia数组
2
int ia[3][4] = {{1,2,3,4},
3
                {5,6,7,8},
4
                {9,10,11,12}};
5
// 新标准下类型别名的声明
6
using int_array = int[4];
7
// 使用typedef 声明类型的别名
8
typedef int  int_array_t[4];
9

10
for(int_array * p = ia; p != ia + 3; ++p){
11
    for(int *q = *p ; q != *p+4; ++q){
12
        std::cout << *q << " ";
13
    }
14
    std::cout << std::endl;
15
}

多维数组#

多维数组的下标#

指针和多维数组#

文章分享

评论区