为何不推荐用动态数组实现C函数返回多个值？

一、静态数组：看似正常其实是未定义行为的“侥幸” #

你测试时能正常访问数组元素，只是未定义行为恰好没触发，并非这种写法安全。C标准明确了两个核心问题：

• 静态局部变量的生命周期是整个程序，但如果后续再次调用该函数，静态数组的内容会被覆盖。调用者没法同时保存多组返回结果，完全依赖函数内部的状态，复用性极差。
• 这种写法不具备线程安全性，多线程并发调用时会直接出现数据竞争，导致返回值错乱。

比如这段示例代码：

int* get_values() {
    static int arr[2] = {10, 20};
    return arr;
}

你第一次调用拿到的是{10,20}，但如果其他线程或代码再次调用get_values()并修改数组内容，你之前拿到的指针指向的数据会同步改变，完全不可控。

二、动态分配数组：内存管理的隐形负担 #

用malloc动态分配数组返回的问题更隐蔽：

• 调用者必须手动释放内存，但如果没有明确的约定或文档说明，很容易出现内存泄漏——在大型项目里，这类泄漏排查难度极高。
• 数组的长度信息无法和指针一起返回，调用者要么硬编码长度（耦合度拉满），要么得额外通过指针参数传递长度，反而比结构体/指针的写法更繁琐。

比如：

int* get_dynamic_values() {
    int* arr = malloc(2 * sizeof(int));
    arr[0] = 10; arr[1] = 20;
    return arr;
}

调用者如果忘了free(arr)，内存就永久泄漏；如果后续函数修改了返回数组的长度，调用者的硬编码长度会直接导致越界访问。

三、对比结构体/指针写法：可读性与安全性的差距 #

结构体写法可以把多个返回值（包括数组长度）打包成一个明确的类型，调用者一眼就能知道返回数据的结构，无需担心内存管理；用指针参数传递输出的写法，则把内存控制权完全交给调用者，逻辑清晰且灵活。而数组返回的写法，既隐藏了内存管理细节，又让调用者忽略潜在风险，完全没必要舍近求远。

比如结构体写法：

typedef struct {
    int values[2];
    int length;
} Result;

Result get_result() {
    Result res = {{10,20}, 2};
    return res;
}

这种写法清晰、类型安全，调用者不需要额外处理内存，也能明确知道返回数据的长度。

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