如何利用 Set 的 delete 返回值实现具备“原子化撤销”特征的操作逻辑-js教程-PHP中文网

set的delete方法返回布尔值，可精准标识真实删除操作，从而支撑原子化撤销；仅当返回true时记录历史并缓存被删元素，确保撤销操作精确可逆、无中间态残留。

如何利用 set 的 delete 返回值实现具备“原子化撤销”特征的操作逻辑

Set 的 delete 方法返回布尔值（删除成功为 true，否则为 false），这个看似简单的返回值，配合恰当的状态管理，能天然支撑“原子化撤销”——即操作要么完全生效，要么完全不生效，且可逆、无中间态残留。

利用 delete 返回值判断操作是否真正发生

很多场景下，“删除”动作需区分“目标本就不存在”和“成功移除”。若直接调用 set.delete(key) 而不检查返回值，容易把“假删”（本就不在）误认为“真删”，导致后续撤销逻辑错位。

正确做法是：仅当 delete 返回 true 时，才记录该操作为“已执行”，并缓存被删元素，为撤销做准备：

const history = []; // 撤销栈，存 { type: 'delete', value: xxx }
const mySet = new Set([1, 2, 3]);

function safeDelete(set, value) {
  if (set.delete(value)) {
    history.push({ type: 'delete', value });
    return true; // 真删成功
  }
  return false; // 本就不存在，无状态变更
}

构建可回滚的原子操作函数

“原子化撤销”的核心是：一次操作只改变一个确定的事实，并留下精确的逆转凭证。借助 delete 的返回值，可封装出带副作用控制的原子操作：

先尝试 delete，靠返回值确认是否触发了真实变更
仅在变更发生时，将反向操作（即 add）所需参数记入历史栈
撤销时直接 add 当初删掉的值，无需再次校验——因为记录本身已代表“它曾存在且被移除”

这样避免了撤销时重复判断“该值现在是否在 set 中”，消除了竞态与逻辑分支膨胀。

组合多个 Set 操作实现复合原子性

实际业务常需“批量删 + 单独加”等组合。此时可将多个 delete 和 add 的返回值聚合判断：

function atomicBatchUpdate(set, toRemove, toAdd) {
  const changes = [];

  // 记录所有真实发生的删除
  for (const x of toRemove) {
    if (set.delete(x)) changes.push({ op: 'delete', value: x });
  }

  // 记录所有真实发生的新增（add 总是返回 true，但可加 exists 判断）
  for (const x of toAdd) {
    if (!set.has(x)) {
      set.add(x);
      changes.push({ op: 'add', value: x });
    }
  }

  // 只有至少一个变更发生，才入栈；否则不产生历史
  if (changes.length > 0) {
    history.push({ batch: true, changes });
  }
  return changes.length > 0;
}

撤销时遍历 changes 倒序执行逆操作：delete 对应 add，add 对应 delete——每一步都精准可逆。