用Cursor写React组件，AI老是把我的类型定义改乱，怎么破？

试试在agent模式里加一条规则“类型定义禁止改动”，或者干脆把类型拆到单独的文件里，它就不太敢动了。

这问题太真实了，我最近也踩了同样的坑。Claude对“类型收窄”这件事好像有执念，我写个'pending' | 'success' | 'error'，它非要给我并成string，还觉得自己优化得挺对。后来我学乖了，涉及关键类型定义的地方，直接在prompt里加一句“不要修改任何类型声明，只改逻辑”，效果稍微好点，但偶尔还是会抽风。

另外我发现它特别容易把interface里的可选属性改成必填，尤其是在补全组件props的时候。我猜测是它在训练数据里见过太多“完整”的props写法，就默认把所有字段都当成必要的了。现在我的办法是，把类型定义单独抽到types.ts文件里，然后跟Cursor说“这个文件是只读的”，它就老实多了。

不过说实话，最靠谱的还是自己盯紧diff，每次它改完我都习惯性看一眼类型声明那块，有乱改的就直接ctrl+z。毕竟AI写代码是快，但类型这块它真没我懂我的业务场景，有时候宁可让它多写点重复代码，也别让它动我的类型边界。

试试在prompt里明确加一句“不要动类型定义”，或者把类型抽到单独文件里锁死，效果立竿见影。

类型定义抽出去之后AI就老实多了，反正它看不见就改不了。

我最近也遇到过，而且不只是类型定义，有时候连泛型约束都被它自作主张地简化了。后来我养成了习惯，在prompt里明确加一句“只改逻辑，不要动类型声明”，然后每次让它改完代码我都会用git diff扫一眼关键文件，有变化就直接revert。另外，如果你用interface比较多，建议换成type别名试试，感觉模型对type的边界感会强一点，不知道是不是我的错觉。

这情况太真实了，我也被Claude这么坑过好几回。后来我学乖了，凡是涉及类型的关键代码，我都会在注释里特别标注别动，或者干脆把类型定义单独抽到文件里锁起来，让它只改组件逻辑部分。另外你可以试试在prompt里明确要求它保持现有类型签名不变，只做局部修改，这样命中率会高不少。不过说真的，AI对类型系统的理解还是太机械，复杂泛型或条件类型它经常理解跑偏，还是得自己多盯一眼。

这问题我太有同感了，Claude 3.5 Sonnet在类型推导上确实有点“自作聪明”。我后来发现一个规律，它特别喜欢把显式的联合类型合并成string或者unknown，尤其是在你给它上下文不够完整的时候。我的做法是，每次写组件前先把类型定义单独抽出来放到一个types.ts文件里，然后在prompt里明确告诉它“只能改逻辑，禁止动types文件”，这样能减少80%的误伤。但还有个坑，就算你说了别改，它有时还是会通过“优化”的方式偷偷把可选属性变成必填，因为对它来说这更符合“完整”的逻辑。我怀疑这是模型训练时对TypeScript的“最佳实践”理解太死板了，总觉得可选属性是坏味道。另外，如果它真改了，别直接让它“改回去”，那样它可能又给你重构一遍，最好是手动git checkout那个文件，然后再让它基于旧版本重新生成。说到底，AI写代码还是得人盯着类型边界，它更像一个高级自动补全，而不是真正的类型安全守护者。