尧图网站建设 
【声明】本博客所有内容均为个人业余时间创作所述技术案例均来自公开开源项目如GithubApache基金会不涉及任何企业机密或未公开技术如有侵权请联系删除标题188、【Agent】【OpenCode】TuiThreadCmdInferredOptionType背景上篇 blog【Agent】【OpenCode】TuiThreadCmdoptions重载解释了第二个 options没有带上OmitT, K的原因真实原因是因为“匹配得太宽泛”问题不在于 K “不属于 T”而在于 K 可能是 string 本身不是“没匹配上所以安全合并”而是 “匹配范围太大导致毁灭性误删”所以重载2 并不是只为“新 key”服务的它也必须兼容“旧 key 但以变量形式传入”的情况。 当用户用 string 类型的变量传入了一个实际上已存在的 key 时TS 无法区分这是“新 key”还是“旧 key”只能选择保守策略不删只合并接着分析了options复数和option单数的签名差别options 全部丢失了别名推导永远优先使用 option单数下面继续分析OpenCode下面再看下这里的 InfferedOptionType 的定义这里有两个不同层面的概念InferredOptionTypeO是 yargs 定义的工具类型名称一个“函数”。infer是 TypeScript 的内置关键字一种“语法”。它们的关系是InferredOptionType 这个工具类型的内部实现使用了 infer 这个关键字。 拆解看// 这是 yargs 定义的工具类型名字type InferredOptionTypeOOextends{type:string}?string:Oextends{type:number}?number:Oextends{type:boolean}?boolean:// 这是 TS 内置关键字 infer用来捕获 default 的值类型Oextends{default:inferD}?D:unknown;注意看第四行O extends { default: infer D } ? D这里的infer D意思是“如果 O 有 default 属性请临时提取它的类型并命名为 D”。然后问号后面的 D 就是提取出来的结果。类比理解概念类比说明InferredOptionTypeOparseInt(str)一个封装好的函数/工具传入配置对象返回推导出的类型inferNumber()/match()函数内部使用的底层语法/操作符用来完成具体的提取工作就像parseInt里面用了Number一样——parseInt是对外暴露的工具名Number是内部用的底层机制。这里可能有人会有疑问为啥要用infer呢直接O extends D不行吗答案是不行O extends D在语法上就是非法的而且即使合法逻辑上也完全达不到目的。核心原因在于infer 是唯一能让 TS “从结构中提取未知类型”的机制而extends 只能做“已知类型的匹配/约束”。❌为什么 O extends D 不行语法层面D 未定义// ❌ 报错Cannot find name DOextends{default:D}?D:unknown这里的 D 是一个凭空出现的标识符。TS 编译器不知道 D 是什么——它既不是泛型参数也不是已定义的类型别名。就像在 JS 里写if (x undefinedVar)一样直接报引用错误。逻辑层面extends 是“匹配”不是“提取”假设提前定义了type D string写成// ⚠️ 语法不报错了但逻辑完全错了Oextends{default:string}?string:unknown这变成了“如果 O 的 default 属性恰好是 string 类型就返回 string”。那当用户写{ default: 42 }时42 不匹配 string条件为 false走到兜底分支返回 unknown。就丢失了 number 类型的推导能力。要覆盖所有可能的 default 类型就得写Oextends{default:string}?string:Oextends{default:number}?number:Oextends{default:boolean}?boolean:Oextends{default:bigint}?bigint:// ... 无穷无尽显然不可能穷举。✅infer 做了什么 extends 做不到的事Oextends{default:inferD}?D:unknown// ^^^^^^^^^^^^// “不管 default 是什么类型把它抓出来命名为 D”infer D 的含义是不关心 default 具体是什么类型只要求它存在然后把它实际的类型捕获到临时变量 D 里。用户传入infer D捕获到的 D最终返回{ default: gpt-4 }gpt-4(字面量)gpt-4{ default: 42 }42(字面量)42{ default: true as boolean }booleanboolean{ type: string }无 default不匹配走兜底unknown一句话总结extends 是 “拿已知去匹配未知”必须先知道要找什么infer 是 “从未知中提取出已知”不需要预先知道它是什么让 TS 自己推断。没有 inferTS 的类型系统就只有“判断”能力没有“提取”能力。这也是为什么 infer 被称为 TS 高级类型编程中最重要的关键字之一。OK本篇先到这里如有疑问欢迎评论区留言讨论祝各位功力大涨技术更上一层楼更多内容见下篇 blog【Agent】【OpenCode】TuiThreadCmdinfer D 188、【Agent】【OpenCode】TuiThreadCmd（InferredOptionType）
【声明】本博客所有内容均为个人业余时间创作所述技术案例均来自公开开源项目如GithubApache基金会不涉及任何企业机密或未公开技术如有侵权请联系删除标题188、【Agent】【OpenCode】TuiThreadCmdInferredOptionType背景上篇 blog【Agent】【OpenCode】TuiThreadCmdoptions重载解释了第二个 options没有带上OmitT, K的原因真实原因是因为“匹配得太宽泛”问题不在于 K “不属于 T”而在于 K 可能是 string 本身不是“没匹配上所以安全合并”而是 “匹配范围太大导致毁灭性误删”所以重载2 并不是只为“新 key”服务的它也必须兼容“旧 key 但以变量形式传入”的情况。 当用户用 string 类型的变量传入了一个实际上已存在的 key 时TS 无法区分这是“新 key”还是“旧 key”只能选择保守策略不删只合并接着分析了options复数和option单数的签名差别options 全部丢失了别名推导永远优先使用 option单数下面继续分析OpenCode下面再看下这里的 InfferedOptionType 的定义这里有两个不同层面的概念InferredOptionTypeO是 yargs 定义的工具类型名称一个“函数”。infer是 TypeScript 的内置关键字一种“语法”。它们的关系是InferredOptionType 这个工具类型的内部实现使用了 infer 这个关键字。 拆解看// 这是 yargs 定义的工具类型名字type InferredOptionTypeOOextends{type:string}?string:Oextends{type:number}?number:Oextends{type:boolean}?boolean:// 这是 TS 内置关键字 infer用来捕获 default 的值类型Oextends{default:inferD}?D:unknown;注意看第四行O extends { default: infer D } ? D这里的infer D意思是“如果 O 有 default 属性请临时提取它的类型并命名为 D”。然后问号后面的 D 就是提取出来的结果。类比理解概念类比说明InferredOptionTypeOparseInt(str)一个封装好的函数/工具传入配置对象返回推导出的类型inferNumber()/match()函数内部使用的底层语法/操作符用来完成具体的提取工作就像parseInt里面用了Number一样——parseInt是对外暴露的工具名Number是内部用的底层机制。这里可能有人会有疑问为啥要用infer呢直接O extends D不行吗答案是不行O extends D在语法上就是非法的而且即使合法逻辑上也完全达不到目的。核心原因在于infer 是唯一能让 TS “从结构中提取未知类型”的机制而extends 只能做“已知类型的匹配/约束”。❌为什么 O extends D 不行语法层面D 未定义// ❌ 报错Cannot find name DOextends{default:D}?D:unknown这里的 D 是一个凭空出现的标识符。TS 编译器不知道 D 是什么——它既不是泛型参数也不是已定义的类型别名。就像在 JS 里写if (x undefinedVar)一样直接报引用错误。逻辑层面extends 是“匹配”不是“提取”假设提前定义了type D string写成// ⚠️ 语法不报错了但逻辑完全错了Oextends{default:string}?string:unknown这变成了“如果 O 的 default 属性恰好是 string 类型就返回 string”。那当用户写{ default: 42 }时42 不匹配 string条件为 false走到兜底分支返回 unknown。就丢失了 number 类型的推导能力。要覆盖所有可能的 default 类型就得写Oextends{default:string}?string:Oextends{default:number}?number:Oextends{default:boolean}?boolean:Oextends{default:bigint}?bigint:// ... 无穷无尽显然不可能穷举。✅infer 做了什么 extends 做不到的事Oextends{default:inferD}?D:unknown// ^^^^^^^^^^^^// “不管 default 是什么类型把它抓出来命名为 D”infer D 的含义是不关心 default 具体是什么类型只要求它存在然后把它实际的类型捕获到临时变量 D 里。用户传入infer D捕获到的 D最终返回{ default: gpt-4 }gpt-4(字面量)gpt-4{ default: 42 }42(字面量)42{ default: true as boolean }booleanboolean{ type: string }无 default不匹配走兜底unknown一句话总结extends 是 “拿已知去匹配未知”必须先知道要找什么infer 是 “从未知中提取出已知”不需要预先知道它是什么让 TS 自己推断。没有 inferTS 的类型系统就只有“判断”能力没有“提取”能力。这也是为什么 infer 被称为 TS 高级类型编程中最重要的关键字之一。OK本篇先到这里如有疑问欢迎评论区留言讨论祝各位功力大涨技术更上一层楼更多内容见下篇 blog【Agent】【OpenCode】TuiThreadCmdinfer D