数组的奇怪参数恢复

Question

我试图理解一些将多维数组传递给函数的代码。但是这个函数的原型让我很感兴趣。

程序创建这个“选项卡”变量：

#define N 8

float tab[N][N];
tab[0][0] = 2; tab[0][1] = 3; tab[0][2] = -1;
tab[1][0] = 3; tab[1][1] = 1; tab[1][2] = -4;
tab[2][0] = 1; tab[2][1] = 2; tab[2][2] =  3;
hello(tab);

我们有这个功能：

function hello(float mat[][N]) {

我不明白为什么 hello 函数使用空 [] 然后使用 [N] 获取 tab 变量。它有什么变化？我不明白...为什么不 tab[][] ？

代码似乎是由优秀的开发人员编写的，所以我不认为 N​​ 变量是无缘无故的。

如果你能解释一下，谢谢你的时间！

The original code

Answer 1

float tab[N][N];

通过N 定义N 的数组。我不会使用行或列，因为数组如何面向程序逻辑可能与数组在内存中的表示方式无关。只要知道这将是一块 N*N 长的内存块，可以使用mat[0..N-1][0..N-1] 访问。尺寸是已知的且恒定的。当你定义一个数组时，它必须知道它的大小并且这个大小不能改变。如果您不知道大小，请使用std::vector 或std::vector<std::vector<YOUR TYPE HERE>>

float tab[][];

是非法的，因为数组的大小是未知的。编译器不知道要为数组分配多少存储空间，也无法生成功能正常（即使有缺陷）的程序。

当您将数组传递给诸如

之类的函数时

function hello(float mat[][N])

数组衰减为指针。更多信息：What is array decaying? 一旦数组衰减，第一个维度的大小就会丢失。要安全地使用数组，您必须已经知道数组的大小或将其作为另一个参数提供。示例：

function hello(float mat[][N], size_t matLen)

有问题，大小为N。你知道它是N，你可以放心地拨打电话

hello(mat);

不提供任何大小，只需在函数内使用N 作为边界。 N 不是一个狡猾的magic number，但它可以被赋予一个更具描述性的名称。

你也可以完全明确和

function hello(float mat[N][N])

并消除任何歧义以及将函数与大小为 M × N 的数组一起使用的能力。有时这是值得做出的权衡。

Answer 2

让我稍微“非技术性地”解释一下，但可能是全面的：

将float tab[ROW][COL] 视为一个二维浮点数组，其中“ROW”代表行，“COL”代表列，并认为该数组一个完整的行依次映射到内存，即

r0c0,r0c1,r0c2
r1c0,r1c1,r1c2
r2c0,r2c1,r2c2

对于ROW=3 和COL=3。然后，如果编译器必须找出写入tab[2][1] 的位置，则它必须占用行大小的2 倍+ 1（其中行大小实际上是列数COL）。因此，对于一个单元格寻址，知道行的大​​小是相关的，而在一行内只需添加列索引。因此，像tab[][N] 这样的声明就足够了，因为N 定义了列数——即行的大小——并让编译器正确地处理每个单元格。

希望能有所帮助。