在C语言中操作数组时如何避免函数产生的副作用？

要实现不修改原数组、返回全新数组的无副作用效果，C语言有三种常见的实现方式：

方法1：动态分配新数组返回 #

这是最通用的方案，适合任意长度的数组：

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

// 函数接收原数组指针和长度，返回新分配的增量后数组的指针
int* increment(const int* myarray, int size) {
    // 分配和原数组相同大小的内存
    int* new_array = (int*)malloc(size * sizeof(int));
    if (new_array == NULL) {
        return NULL; // 内存分配失败处理
    }
    // 拷贝原数组内容到新数组，不修改原数组
    memcpy(new_array, myarray, size * sizeof(int));
    // 仅修改新数组
    for (int i = 0; i < size; i++) {
        new_array[i] += 1;
    }
    return new_array;
}

int main() {
    int myarray[4] = {0,1,2,3};
    int* new_array = increment(myarray, 4);
    
    // 验证：原数组不变，新数组是增量后的结果
    printf("原数组：");
    for (int i = 0; i < 4; i++) {
        printf("%d ", myarray[i]); // 输出 0 1 2 3
    }
    printf("\n新数组：");
    for (int i = 0; i < 4; i++) {
        printf("%d ", new_array[i]); // 输出1 2 3 4
    }
    
    // 用完手动释放动态分配的内存，避免泄漏
    free(new_array);
    return 0;
}

注意：这种方案需要调用方手动释放返回的堆内存，否则会出现内存泄漏

方法2：调用方提前分配输出数组内存 #

把内存管理的责任交给调用方，可以选择栈内存避免动态分配的开销和泄漏风险：

#include <stdio.h>
#include <string.h>

// 输出数组out_array由调用方提前分配好足够空间
void increment(const int* myarray, int size, int* out_array) {
    memcpy(out_array, myarray, size * sizeof(int));
    for (int i = 0; i < size; i++) {
        out_array[i] += 1;
    }
}

int main() {
    int myarray[4] = {0,1,2,3};
    int new_array[4]; // 栈上分配输出数组空间
    increment(myarray, 4, new_array);
    
    // 验证效果和方法1一致
    return 0;
}

方法3：结构体封装数组（适合固定长度数组） #

C语言支持结构体值返回，我们可以把固定长度的数组封装到结构体里，直接值返回，完全不需要手动管理内存：

#include <stdio.h>

// 封装长度为4的int数组
struct IntArray4 {
    int data[4];
};

struct IntArray4 increment(const struct IntArray4 input) {
    // 结构体传参是值拷贝，直接修改传入的副本即可
    struct IntArray4 res = input;
    for (int i = 0; i < 4; i++) {
        res.data[i] += 1;
    }
    return res;
}

int main() {
    struct IntArray4 myarray = {.data = {0,1,2,3}};
    struct IntArray4 new_array = increment(myarray);
    
    // 原myarray完全不变，new_array是增量后的结果
    return 0;
}

补充说明：你给出的Python示例代码其实存在逻辑问题，for i in mylist: i +=1是对元素的值拷贝做修改，实际不会修改原列表的内容，正确写法应该是遍历下标修改列表元素，但不影响"返回新数组不修改原数据"的核心需求。

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