React中状态更新依赖问题：inferredFacts无法获取最新facts值

核心问题 #

1. 状态快照滞后：doForwardChaining里的factsHasAll依赖组件状态facts的快照，而状态更新是异步的，推理过程中facts不会同步变更，导致后续循环始终基于旧的事实集合判断。
2. 异步更新冲突：推理时多次调用addFact更新facts，但组件状态不会立刻生效，同时inferredFacts的更新依赖循环内的本地集合，而非最终同步后的facts，导致两者状态不一致。
3. 无限循环诱因：若用useEffect监听facts触发推理，会形成facts变化→触发推理→更新facts→再次触发推理的闭环。

修复方案 #

修改推理逻辑，在本地维护完整的事实集合，避免依赖组件状态的异步更新，最后一次性同步到组件状态：

修改后的代码 #

export default function useFacts(answers: boolean[]) {
  const [facts, setFacts] = useState<Set<string>>(new Set([]));
  const [inferredFacts, setInferredFacts] = useState<Set<string>>(new Set([]));

  function populateFacts() {
    const tmpFacts = new Set<string>([]);
    if (answers[0]) tmpFacts.add("a");
    if (answers[1]) tmpFacts.add("b");
    if (answers[2]) tmpFacts.add("c");
    if (answers[3]) tmpFacts.add("f");

    setFacts(tmpFacts);
    setInferredFacts(new Set([]));
  }

  const doForwardChaining = useCallback((rules: Rule[]) => {
    // 基于当前facts创建本地集合，推理全程操作这个集合
    const localFacts = new Set(facts);
    const localInferred = new Set<string>();

    while (true) {
      let inferred = false;
      for (const rule of rules) {
        // 直接用本地集合判断，无需依赖组件状态的工具函数
        const allAntecedentsPresent = rule.antecedent.every(item => localFacts.has(item));
        if (allAntecedentsPresent && !localInferred.has(rule.consequent)) {
          localFacts.add(rule.consequent);
          localInferred.add(rule.consequent);
          inferred = true;
          break;
        }
      }
      if (!inferred) break;
    }

    // 批量更新组件状态，仅触发一次重渲染
    setFacts(localFacts);
    setInferredFacts(prev => new Set([...prev, ...localInferred]));
  }, [facts]);

  return {
    facts,
    populateFacts,
    doForwardChaining,
    inferredFacts,
  };
}

关键修改点 #

• 本地集合替代状态依赖：用localFacts维护推理过程中的最新事实，避免组件状态异步更新带来的快照滞后问题，确保循环判断始终基于当前最新数据。
• 移除频繁状态更新：不再通过addFact多次触发组件状态变更，而是在本地完成所有推理后批量更新，减少不必要的重渲染。
• 保证状态一致性：推理完成后同步更新facts和inferredFacts，确保两者状态匹配。

自动触发推理的注意事项 #

如果需要在facts变化时自动执行推理，可添加useEffect但需严格控制依赖：

useEffect(() => {
  // 确保rules是稳定引用（比如用useMemo包裹）
  if (rules?.length) {
    doForwardChaining(rules);
  }
}, [facts, rules, doForwardChaining]);

仅当facts或rules真正变化时才触发推理，避免无意义的重复执行。

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