Codex修复TypeScript报错需三步：先切换语言服务为TypeScript 5.x+，再确保tsconfig.json存在且启用"strict": true，最后光标停在报错关键字按Cmd/Ctrl+Enter触发推断；禁用冲突插件、删除@ts-ignore、用类型守卫替代非空断言。
☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 多模态理解力帮你轻松跨越从0到1的创作门槛☜☜☜
你在VSCode里写TypeScript，编辑器右下角飘着红色波浪线，控制台报错Property 'data' does not exist on type '{}'、Argument of type 'string' is not assignable to parameter of type 'number'，光标停在报错行却不知道从哪下手改——Codex能直接帮你定位真实类型、推断安全用法、生成可验证的修复，但必须走对触发路径，否则它只会塞给你一堆any。
确认Codex已接管TypeScript语言服务
打开任意.ts文件，看VSCode右下角状态栏：若显示“JavaScript”或“Bundled”，说明Codex根本没加载TS服务。点击该文字→选择“TypeScript 5.x+”→等待3秒，直到图标变成蓝色TS徽标才算生效。
按Ctrl+Shift+P（Win）或Cmd+Shift+P（Mac），输入“Developer: Toggle Developer Tools”，在Console中搜索“tsserver”。如果出现“TypeError: Cannot read property 'getProgram' of undefined”，说明TS服务进程已崩溃——此时必须重启VSCode，并禁用所有非Codex插件（尤其是ESLint和Prettier的格式化钩子），否则后续所有修复都无效。
【必须确保项目根目录存在tsconfig.json，哪怕内容仅为{}】没有这个文件，Codex会退化为JS模式，类型推导完全失效，any将永远不被识别为问题。
暴露真实报错位置并触发Codex分析
第一步：打开tsconfig.json，在compilerOptions节点内添加"strict": true，保存后Codex会自动触发全量类型扫描。
第二步：终端执行tsc --noEmit --pretty，观察输出——Codex只对被tsc实际报错的位置生成修复建议，未报错的隐式any（如let x）不会进入AI处理队列。
完整的Galileo AI平台 TypeScript/JS SDK 参考，用于评估、观察和保护 GenAI 应用。适用于构建 Node.js 或 TypeScript 项目。
第三步：在VSCode中打开报错文件，将光标精准停在报错关键字上（比如undefined、any、'data'），按下Cmd/Ctrl+Enter（Codex默认快捷键），等待3～8秒，面板弹出“推断类型”选项卡。
这一步操作起来很简单，直接把光标放上去按快捷键就行。但若弹出的是“无法获取上下文”，说明当前行附近存在// @ts-ignore注释——Codex会跳过整块被抑制的代码区域，必须先删掉该行或缩小其作用范围。
Codex驱动的三类典型修复实操
方法一：单点精准替换
在报错行右侧空白处右键→选择“Codex: Infer Type from Usage”→AI分析map、filter、解构等上下文后，自动填充如Array<{id: number; name: string}>。替换后立即触发类型校验，若出现新报错，说明推断有偏差，需人工微调。
方法二：错误堆栈直传法
复制完整stack trace（含文件路径、行号、错误类型），粘贴进Codex对话框，开头加：
【Goal】修复该异常导致的登录按钮无响应；
【Context】项目为TypeScript + React 18，使用React Router v6；
【Constraints】只修改src/pages/login.tsx第42–48行，不增删依赖，不改动路由配置；
【Done when】点击按钮后触发navigate('/home')且无控制台报错。
方法三：类型守卫注入法
当报错是Object is possibly 'undefined'时，Codex常推荐加!非空断言——但这只是掩盖问题。正确做法是让Codex生成类型守卫：
if (user && 'profile' in user && user.profile) { /* 安全访问 */ }
或用自定义守卫函数isUserWithProfile(user: unknown): user is User & { profile: Profile } { return !!user && typeof user === 'object' && 'profile' in user; }
这样既通过编译，又保留运行时防护。
