多维数组的超出范围声明

Question

此问题参考Allocating variable length multi dimensional arrays 此处提供的解决方案/解释（请参阅已接受的答案）。

在我的例子中，我使用相同的函数来定义一个 3D 数组，如下所示

void arr_alloc (int x, int y, int z, int(**aptr)[x][y][z])
{
  *aptr = malloc( sizeof(int[x][y][z]) ); // allocate a true 3D array
  assert(*aptr != NULL);
} 

对于我正在处理的代码库，这是一个巨大的项目存储库，之前我使用指向类型指针的指针（***数组）然后交错，以便我可以将其用作 3D（伪）大批。为此，我曾经将变量声明为extern int ***array，并在单独的头文件中将指针定义为int ***array。我的问题 - (a) 对于新函数，鉴于 SO 参考答案使用声明和定义，例如

int x = 2;
int y = 3;
int (*aptr)[x][y];

(b) 考虑到size_t 占用 8 个字节而 int 占用 4 个字节，使用 size_t 与 int 作为索引变量的激励。

附言。我在上面提到的声明和定义行（也在 SO 答案中）之后检查了 gdb 的变量类型，即(int (*)[variable length][variable length][variable length]) 0x0

编辑：请注意，这个问题是关于数组/数组指针的声明和定义，而不是关于分配和设置数组的函数的声明。

Answer 1

函数声明对于分配 3D 数组是正确的。指向此类数组的指针将具有 int (*)[a][b][c] 类型，因此该函数需要接受该类型指针的地址来写入它，即 int (**)[a][b][c]，这就是您所拥有的。

要使用此函数，您需要按如下方式调用它：

int s1=2, s2=3, s3=4;
int (*p)[s1][s2][s3];
arr_alloc(s1,s2,s3,&p);

然后你可以像这样写入 3D 数组：

int i,j,k;
int n = 0;
int i,j,k;
int n = 0;
for (i=0;i<s1;i++) {
    for (j=0;j<s2;j++) {
        for (k=0;k<s3;k++) {
            (*p)[i][j][k] = n++;
        }
    }
}

编辑：

真正的多维数组必须为除第一个维度之外的所有维度声明一个大小。如果您的数组是在文件范围内声明的，则意味着这些维度的大小必须是编译时常量。

如果尺寸必须改变，您需要将其设为void * 并根据需要进行转换。您在这里放松了一些类型检查，但这是执行此操作的唯一方法：

int s1, s2, s3;
void *arr;

void arr_alloc (int x, int y, int z)
{
  int (*p)[x][y][z] = malloc( sizeof(int[x][y][z]) );
  assert(p != NULL);
  arr = p;
  s1=x;
  s2=y;
  s3=z;
}

int main()
{
    arr_alloc(2,3,4);
    int (*p)[s1][s2][s3] = (int(*)[s1][s2][s3])arr;

    int i,j,k;
    int n = 0;
    for (i=0;i<s1;i++) {
        for (j=0;j<s2;j++) {
            for (k=0;k<s3;k++) {
                    (*p)[i][j][k] = n++;
            }
        }
    }
    for (i=0;i<s1;i++) {
        for (j=0;j<s2;j++) {
            for (k=0;k<s3;k++) {
                    printf("%d:%d:%d=%d\n",i,j,k,(*p)[i][j][k]);
            }
        }
    }
    free(p);
    return 0;
}