C语言中如何正确返回realloc分配的动态数组？

你的问题核心出在C语言的值传递机制上：当你把numbers（一个int*类型指针）传给generateFromOneToTen的output参数时，output只是numbers的一个副本。函数里通过arrayAppendInt拿到的realloc新地址，只会修改这个副本的指向，完全不会影响外部的numbers变量——这就是为什么调用后numbers始终是NULL。

要让函数能修改外部指针的指向，你需要传递指针的指针（int**类型），这样函数才能直接操作原指针的地址值。下面是修改后的完整代码：

修改后的generateFromOneToTen函数 #

int generateFromOneToTen(int **output, int count) {
    for (int i = 0; i < 10; i++) {
        // 通过*output访问并修改外部指针的实际值
        *output = arrayAppendInt(*output, i + 1, count);
        // 增加realloc失败的容错处理
        if (*output == NULL) {
            printf("Failed to append element at index %d\n", i);
            return count;
        }
        count++;
    }
    // 内部验证打印
    printf("Generated array inside function: ");
    for (int i = 0; i < count; i++) {
        printf("%d ", (*output)[i]);
    }
    printf("\n");
    return count;
}

调用代码的调整 #

int *numbers = NULL;
int count = 0;
// 传入numbers的地址，让函数能直接修改它的指向
count = generateFromOneToTen(&numbers, 0);

// 现在可以正常使用外部的numbers数组了
if (numbers != NULL) {
    printf("Generated array outside function: ");
    for (int i = 0; i < count; i++) {
        printf("%d ", numbers[i]);
    }
    printf("\n");
    // 记得释放动态分配的内存，避免泄漏
    free(numbers);
}

关键逻辑说明 #

• 传递&numbers（int**类型）给output后，output指向的是numbers变量本身的内存地址，而非数组的地址。
• 函数里用*output就能直接读写外部numbers的实际值（也就是数组的起始地址），这样arrayAppendInt返回的新指针会被正确赋值给外部的numbers。
• 新增的NULL检查能避免realloc失败后继续操作无效指针，最后一定要用free释放内存，这是C语言动态内存管理的基本规范。

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