David Khourshid:隐式状态机是 vibe coding 的隐形 bug 源

DavidKPiano · x · 2026-11-09

XState 作者 David Khourshid 指出,应用中充满状态机——「处于某状态时发生某事件,就迁移到另一状态」的逻辑。显式状态机(switch 语句、reducer、XState 等库)可以枚举所有可能的状态迁移;而散落在代码各处的 ad-hoc 逻辑则是「隐式状态机」,开发者通常这样写码,AI agent 的 vibe coding 也是如此(因为它们是从人类代码学来的)。

隐式状态机的问题在于无法明确哪些状态迁移是可能的,会不知不觉留下本应不可能出现的「非法」状态。即使所有测试通过、代码审查 agent 回复 LGTM,仍可能有严重 bug——他举了 Apple FaceTime 窃听漏洞作为例子。结论:把应用逻辑显式化很重要。