如何在函数返回false时撤销其对传入数组的修改？

C语言里数组传参本质是传递首元素地址，被调用函数会直接操作原数组的内存空间，没有内置的事务回滚能力，要实现「函数返回false时将数组还原到调用前状态」的需求，有两种可落地的成熟方案，按场景选择即可。

方案1：全量快照备份（无侵入，可靠性最高） #

这是通用性最强的实现方式，完全不需要改动目标数组修改函数的内部逻辑，哪怕函数内部对数组做了随机修改、元素交换等复杂操作，也能100%还原初始状态，操作步骤如下：

• 调用目标修改函数前，按照原数组的总内存大小，分配一块尺寸完全匹配的临时缓冲区
• 用memcpy把原数组的全部内容拷贝到临时缓冲区，作为数组原始状态的快照
• 正常调用那个带布尔返回值的数组修改函数
• 根据返回值做分支处理：如果返回true，说明修改符合预期，直接释放临时快照内存即可；如果返回false，就用memcpy把临时快照里的原始内容拷贝回原数组，完成全量回滚，最后再释放临时内存

对应代码示例：

// 已知原数组为a，长度为n，目标修改函数原型为
// bool modify_target_array(int* arr, size_t arr_len);

size_t total_arr_size = n * sizeof(int);
// 大数组场景务必用堆分配快照，避免栈空间不足导致溢出
int* arr_snapshot = (int*)malloc(total_arr_size);
if (arr_snapshot == NULL) {
    // 按业务逻辑处理内存分配失败的异常场景
}
// 备份数组原始状态
memcpy(arr_snapshot, a, total_arr_size);

bool call_ret = modify_target_array(a, n);

if (!call_ret) {
    // 函数返回false，全量还原数组到初始状态
    memcpy(a, arr_snapshot, total_arr_size);
}

// 清理快照内存
free(arr_snapshot);

注意点：

• 不要尝试在函数返回后再逐元素对比排查修改位置，没有前置快照的话根本无法区分元素的原始值和修改后的值，逻辑上无法实现
• 如果目标函数在运行过程中存在重新分配原数组内存（比如修改了数组指针的指向）的行为，回滚时需要同步还原数组指针本身的取值，否则会出现非法内存访问
• 大数组场景不要在栈上分配快照，避免栈空间不足导致溢出

方案2：增量变更记录（低开销，适配大数组场景） #

如果数组长度非常大，全量拷贝带来的内存、时间开销无法接受，可以用增量变更追踪的方式实现回滚，这个方案需要改动目标修改函数的内部逻辑：

• 给目标函数增加一个变更日志的输出参数，用于记录所有对数组的修改操作
• 函数内部每次修改某个位置的数组元素前，先把「元素对应的下标、修改前的原始值」按顺序存入变更日志
• 函数最终返回false时，按照日志的记录顺序倒序回放，把每个被修改的位置重新写回修改前的旧值，即可完全还原数组初始状态
• 如果函数返回true，直接清空变更日志正常退出即可

注意点：如果函数对同一个数组位置做了多次修改，必须把每一次修改前的旧值都按顺序记入日志，回滚时倒序回放才能还原到最开始的状态，否则会出现状态错位。

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