C语言函数返回二维数组指针出现编译错误的原因求解

C语言的复合类型（数组指针、函数指针）声明遵循「就近结合、从内向外读」的规则，你的写法不符合语法要求：

• 你写的float (*)[n]fct(int *n)相当于直接把数组指针类型float (*)[n]硬摆在函数名前面，编译器解析到float (*)[n]时已经判定这是一段完整的类型描述，后面直接跟函数名fct属于非法语法，因此抛出括号前缺标识符的错误。
• 编译器提示的float (*)[n]是对返回值类型的描述，不是让你把这段字符串原封不动粘在函数名前面——你之前写的float fct(int)、float *fct(float)能正常编译，是因为float、float*都是一级普通类型，直接放在函数名前符合普通类型的声明规则，但复合类型不能这么写。

另外要注意：如果数组长度n是函数传入的形参（即你要返回指向变长数组的指针，C99及以上支持），形参n的声明必须放在数组长度引用位置之前，否则编译器解析到数组长度位置的n时，还未识别到这个形参，会报未定义标识符的错误。

返回数组指针的函数声明固定语法模板为：
数组元素类型 (*函数名(形参列表))[数组长度]

从内向外读这个声明的逻辑是：

1. 首先找到函数名，fct(形参)说明fct是一个函数
2. 函数名前面加*说明函数返回值是指针
3. 括号整体后面加[数组长度]说明这个指针指向对应长度的数组
4. 最前面的类型说明符标记数组内存储的元素类型

常见场景示例 #

1. 数组长度为编译期固定值 #

如果n是编译阶段就能确定的常量（比如宏定义、枚举值），直接按模板写即可：

#include <stdio.h>
#define ARR_LEN 10

// 返回指向长度为10的float数组的指针
float (*fct(int *n))[ARR_LEN] {
    static float res[ARR_LEN]; // 用静态数组避免返回栈地址的野指针问题
    *n = ARR_LEN;
    for (int i = 0; i < ARR_LEN; i++) {
        res[i] = i * 1.2f;
    }
    return &res;
}

int main() {
    int len;
    float (*arr)[ARR_LEN] = fct(&len);
    for (int i = 0; i < len; i++) {
        printf("%.1f ", (*arr)[i]);
    }
    return 0;
}

2. 数组长度为运行时传入的变长数组（C99及以上支持） #

如果数组长度是形参n指向的运行时值，要把n放在形参列表靠前位置，数组长度位置写*n即可：

#include <stdio.h>
#include <stdlib.h>

// 返回指向长度为*n的float数组的指针
float (*fct(int *n))[*n] {
    int arr_len = *n;
    float (*res)[arr_len] = malloc(sizeof(float) * arr_len);
    for (int i = 0; i < arr_len; i++) {
        (*res)[i] = i * 0.5f;
    }
    return res;
}

int main() {
    int len = 6;
    float (*arr)[len] = fct(&len);
    for (int i = 0; i < len; i++) {
        printf("%.1f ", (*arr)[i]);
    }
    free(arr);
    return 0;
}

简化写法（可选） #

如果觉得原生声明可读性太差，可以用typedef提前定义数组指针类型，之后声明函数就和普通返回值类型写法一致：

// 定义类型别名：FloatArrPtr 是「指向float类型数组的指针」类型
typedef float (*FloatArrPtr)[];

// 变长数组场景下的函数声明可简化为
FloatArrPtr fct(int *n);

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