JavaScript 中数组作为参数传递时的引用陷阱与深拷贝解决方案-js教程-PHP中文网

JavaScript 中数组作为参数传递时的引用陷阱与深拷贝解决方案

本文解析 JavaScript 递归生成子集时因误传数组引用导致结果全为空数组的根本原因，并通过浅拷贝 temp 数组（如 [...temp]）确保每个子集独立存储，从而正确构建幂集。

本文解析 javascript 递归生成子集时因误传数组引用导致结果全为空数组的根本原因，并通过浅拷贝 `temp` 数组（如 `[...temp]`）确保每个子集独立存储，从而正确构建幂集。

在 JavaScript 中，数组是引用类型。当您将 temp（一个数组）直接 push 到 all_sets 中时，实际存入的是该数组对象的内存引用，而非其当前内容的副本。由于整个递归过程中始终复用同一个 temp 数组实例（通过 push/pop 动态修改），当递归回溯完成、函数调用栈清空后，temp 最终变为空数组 []——而 all_sets 中所有元素都指向这个已被清空的同一对象，因此打印结果为 [[],[],[],[],[],[],[],[]]（对长度为 4 的输入）。

✅ 正确做法是在递归终止条件满足时，向 all_sets 中推入 temp 的独立副本，而非引用。最简洁高效的方式是使用扩展运算符进行浅拷贝：

function generate(nums, curr_index, temp, all_sets) {
  if (curr_index === nums.length) {
    all_sets.push([...temp]); // ✅ 创建新数组副本，避免引用共享
    return;
  }

  temp.push(nums[curr_index]);
  generate(nums, curr_index + 1, temp, all_sets);
  temp.pop(); // 回溯：撤销当前选择
  generate(nums, curr_index + 1, temp, all_sets);
}

function generateAllSubsets(nums) {
  const all_sets = [];
  generate(nums, 0, [], all_sets);
  return all_sets;
}

console.log(generateAllSubsets([1, 2, 3]));
// 输出: [[1,2,3],[1,2],[1,3],[1],[2,3],[2],[3],[]]

⚠️ 注意事项：

Java Api Extractor

从 Java 项目中提取 Controller 层接口定义为 JSON 数据。

下载

[...temp] 是浅拷贝，适用于本题中 nums 元素为基本类型（数字、字符串等）的场景；若子集元素本身为对象或嵌套数组，需改用深拷贝（如 JSON.parse(JSON.stringify(temp)) 或结构化克隆 structuredClone(temp)）。
不可使用 all_sets.push(temp.slice()) 或 all_sets.push(Array.from(temp))，它们同样有效，但扩展运算符语法更现代、可读性更强。
避免在递归中创建新数组（如 generate(nums, i+1, [...temp, nums[i]], all_sets)）以节省空间，但本解法采用“回溯复用”策略，时间复杂度仍为 O(2ⁿ)，空间复杂度为 O(n)（递归深度 + 单个临时数组）。

总结：引用传递是 JavaScript 的底层机制，不是 Bug；关键在于明确何时需要值语义——在保存中间状态时，务必执行拷贝操作。 这一原则不仅适用于子集问题，也广泛存在于 DFS、回溯、状态快照等算法场景中。