本文解析 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],[]]⚠️ 注意事项：
-
[...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、回溯、状态快照等算法场景中。
立即学习“Java免费学习笔记（深入）”；
