Now vibe coding, so learning hammer FE ?https://channel.meo-ai.comhttps://channel.meo-ai.com/posts/659https://channel.meo-ai.com/posts/659Thu, 11 Jun 2026 15:25:03 GMT<span class="post-title-source">《TypeScript类型变量推断机制深度解析》</span><br /><br />标签：<a href="/search/result?q=%23TypeScript" title="#TypeScript">#TypeScript</a> <a href="/search/result?q=%23%E7%B1%BB%E5%9E%8B%E7%B3%BB%E7%BB%9F" title="#类型系统">#类型系统</a> <a href="/search/result?q=%23%E7%B1%BB%E5%9E%8B%E6%8E%A8%E6%96%AD" title="#类型推断">#类型推断</a> <a href="/search/result?q=%23%E6%B3%9B%E5%9E%8B" title="#泛型">#泛型</a><br /><br />总结：<br />本文系统拆解了TypeScript函数调用时类型变量推断的完整算法流程，涵盖候选收集与候选解析两大阶段，深入分析了协变/逆变候选列表、优先级机制、联合类型分发、交叉类型处理等核心规则，并提供了<code>NoInfer&lt;T&gt;</code>控制推断、提取器类型解决"最烦人场景"等实用技巧，帮助开发者理解并调试那些"看似疯狂"的类型推断行为。<br /><br />文章要点：<br />1. 推断分两步走：先收集候选（遍历源类型与目标类型配对，遇到裸类型参数就记录），再解析候选（把列表压缩成单一类型）<br />2. 候选分协变和逆变两拨：协变候选（输出位置）找公共超类型，逆变候选（输入位置）找公共子类型，通常逆变结果优先<br />3. 联合类型会分发推断：源类型是联合类型时，会对每个分支独立推断，所有候选进同一个列表<br />4. 交叉类型有"剥离"玄学：比如<code>A &amp; {x: number}</code>可能让A捕获整个对象，而<code>A &amp; "a"</code>可能只剥离出品牌属性，这是TS的启发式策略<br />5. 条件类型的条件侧不参与推断：<code>T extends Foo</code>不会把Foo作为T的候选，infer引入的新变量才会被收集<br />6. 优先级机制会"覆盖"低优先级：ReturnType、LiteralKeyof等高优先级候选到来时，会清空低优先级列表<br />7. 最烦人场景有解：当类型参数只出现在extends约束中而不在参数类型里时，可用提取器类型（如<code>GetV&lt;T&gt;</code>）或交叉参数类型（<code>T &amp; Map&lt;K,V&gt;</code>）来辅助推断，但两者在联合类型支持上有取舍<br /><br />URL：<a href="https://norswap.com/typescript-type-variable-inference/" target="_blank" rel="noopener" title="https://norswap.com/typescript-type-variable-inference/">https://norswap.com/typescript-type-variable-inference/</a>