为什么C不允许数组返回类型？

Question

为什么在C

int * foo(int a,int b){ 
... 
} 

这个有效的，但这是无效

int [] foo(int a,int b){ 
... 
} 

Answer 1

的语法是有点好笑。

int foo(int a, int b) [] 
{ 
    ... 
} 

但是不管怎么说都不允许。参见n1256 6.7.5.3第1段“函数声明符”。

函数声明符不应指定函数类型或数组类型的返回类型。

您可以返回指向数组的指针：

int (*foo(int a, int b)) []; // Weird syntax, n'est-ce pas? 

但是你可能也只是返回一个指针代替，因为下面是等价的：

int array[] = { ... }; 
int *x = array, (*y)[] = &array; 
x[0]; 
(*y)[0]; // same as above, just with more cumbersome syntax 

通常，如果一个功能需求要返回一个int的数组，请返回指针或将指针传入。以下之一：

int *func(int a, int b); // Allocated by func 
void func(int a, int b, int *array); // Allocated by caller 
void func(int a, int b, int **array); // Allocated by func 

的“结构 - 黑客”也适用于具有固定大小的数组：

struct { int arr[50]; } array_struct; 
struct array_struct func(int a, int b); 

但不建议这样做，除非阵列小。

理由：

阵列往往很大，而且往往有一个大小直到运行时才知道。由于使用堆栈和寄存器传递参数和返回值（在我所知的所有ABI上），并且堆栈具有固定大小，因此在堆栈中传递如此大的对象会有点危险。某些ABI也不会优雅地处理大的返回值，可能会导致生成额外的返回值副本。

下面的代码也可能是危险的：

void func(...) 
{ 
    int arr[BIG_NUMBER]; // potential for stack overflow 
    int *ptr = alloca(sizeof(int) * BIG_NUMBER); // potential for stack overflow 
} 

Answer 2

在由C值传递数组不直接支持（甚至当你写int []作为参数实际上是解释为int *），如果我没记错的话这是某种通道的神器从BCPL到C.

话虽这么说，你其实可以返回数组封装他们到struct S：

struct 
{ 
    int value[20] 
} foo(int a, int b) 
{ 
    /* ... */ 
} 

（这个技巧显然也适用于参数）

Answer 3

首先，回想一下C中的数组实际上只是指向内存块的语法糖。所以C不会通过强制使用前面的符号来限制该语言的功能（参见下面的例子）。

而且，他们可能已经做出了这个选择，以防止早期程序员从写这样的代码：

char *itoa(int n){ 
    char retbuf[25]; 
    sprintf(retbuf, "%d", n); 
    return retbuf; 
} 

ref

它看起来很简单，但会发生什么变化内存retbuf点在函数结束？调用函数可以信任它返回的指针中的数据吗？