有几点要指出。
首先，您不能像在这里那样分配数组对象：
char A[WIDTH][HEIGHT];
A=rand_grid(WIDTH,HEIGHT);
数组类型的对象不可修改。
其次，C语言中的函数无法返回数组类型。 但是，它们可以返回指向数组的指针：
char (*foo(int width))[HEIGHT]
{
/**
* dynamically allocate memory for a widthxHEIGHT array of char
*/
char (*newArr)[HEIGHT] = malloc(sizeof *newArr * width);
/**
* initialize array contents here
*/
return newArr;
}
语法有点混乱； 它读为
foo -- foo
foo(int width) -- is a function
-- taking an int parameter
*foo(int width) -- returning a pointer
(*foo(int width))[HEIGHT] -- to a HEIGHT-element array
char (*foo(int width))[HEIGHT] -- of char
对于C89，以上代码段中的HEIGHT必须是编译时常量整数表达式(宏，数字文字或由宏和/或数字文字组成的算术表达式)。 我不确定C99是否也适用。
根据您发布的代码片段，您要做的是获取一个已经分配的数组并初始化其内容。 请记住，在大多数情况下，数组类型的表达式将隐式转换为指向基本类型的指针。 IOW，如果将T的N个元素数组传递给函数，则函数实际接收的是指向T的指针：
void foo (T *p) {...}
...
T arr[N];
foo(arr);
对于二维数组，这有点难看：
void foo (T (*p)[M]) {...}
...
T arr[N][M];
foo(arr);
这也依赖于在编译时已知M，这限制了函数的用途。 您想要的是一个可以处理任意大小的二维数组的函数。 我所知道的最好的方法是，不要将指针传递给数组，而是传递array [1]中第一个元素的地址，并将行数和列数作为单独的参数传递：
void foo(T *base, size_t rows, size_t cols) {...}
...
T arr[N][M];
foo (&arr[0][0], N, M);
因此，您的rand_grid函数将如下所示：
void rand_grid(char *base, size_t rows, size_t cols)
{
size_t i, j;
for (i = 0; i < rows; i++)
{
for (j = 0; j < cols; j++)
{
/**
* Since base is a simple char *, we must index it
* as though it points to a 1-d array. This works if
* base points to the first element of a 2-d array,
* since multi-dimensional arrays are contiguous.
*/
base[i*cols+j] = initial_value();
}
}
}
int main(void)
{
char A[WIDTH][HEIGHT];
rand_grid(&A[0][0], WIDTH, HEIGHT);
...
}
即使表达式&A[0][0]和A产生相同的值(A的基地址)，两个表达式的类型也不同。 第一个表达式的结果为指向char的简单指针(char *)，第二个表达式的结果为指向char的二维数组的指针(char (*)[HEIGHT])。
