C++中一维数组为何可被当作二维数组使用？技术原理咨询

调用侧代码 #

// 声明变量：
int* buf = new int[max_size];

// 填充数据：
for (int i = 0; i < max_size; ++i) buf[i] += i;

// 传入函数：
process(&buf);

函数实现代码 #

void process(const int* const* buf)
{
  int a = 0;
  int ch = 1;
  for(int c = 0; c < ch; ++c)
    for (int i = 0; i < max_size; ++i)
      a += buf[c][i]; // 为何可以这样使用？
}

背后的规则与原理 #

1. 指针类型的匹配与合法转换 #

调用时传递的&buf，其类型是int**（因为buf本身是int*类型，取地址后得到指向int*的指针）。而函数参数const int* const* buf是指向const int指针的const指针——根据C++的const正确性规则，非const指针可以安全转换为添加了const限定的指针，因此int**可以隐式转换为const int* const*，这是合法的类型转换。

2. 数组下标运算符[]的本质 #

C++中，x[y]的本质等价于*(x + y)，这是指针算术运算的语法糖，并非仅针对数组类型。只要x是指针，编译器就会将x[y]解析为：把指针x向后偏移y个元素的内存地址，再对该地址解引用。

放到代码里看buf[c][i]：

• 第一步，buf[c]等价于*(buf + c)：buf是const int* const*类型，偏移c个const int*的内存大小后解引用，得到的是const int*类型的值（也就是原调用侧的buf指针，因为c取值为0）。
• 第二步，buf[c][i]等价于*( *(buf + c) + i )：此时*(buf + c)是原一维数组的首指针（int*类型），再偏移i个int的内存大小后解引用，就访问到了原一维数组的第i个元素。

3. 伪二维数组的模拟逻辑 #

这段代码本质是用指向一维数组指针的指针，模拟了一个只有1行的二维数组：

• 原buf是一维数组的首指针，&buf则是指向该指针的指针，相当于二维数组中存储“行指针”的数组的首地址。
• 当循环变量c取0时，buf[c]就指向原一维数组的首地址，后续的[i]访问和普通一维数组完全一致。如果ch大于1，只要buf指向的指针数组中包含更多指向其他一维数组的指针，就能真正实现多行二维数组的访问——当前代码只是这个逻辑的最小化场景。

内容的提问来源于stack exchange，提问作者chatlanin