<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>递归类型 on ZiYang FrontEnd Interview</title><link>https://fe-interview.pangcy.cn/tags/%E9%80%92%E5%BD%92%E7%B1%BB%E5%9E%8B/</link><description>Recent content in 递归类型 on ZiYang FrontEnd Interview</description><generator>Hugo</generator><language>en-us</language><lastBuildDate>Thu, 06 Mar 2025 13:07:39 +0800</lastBuildDate><atom:link href="https://fe-interview.pangcy.cn/tags/%E9%80%92%E5%BD%92%E7%B1%BB%E5%9E%8B/index.xml" rel="self" type="application/rss+xml"/><item><title>索引访问类型深度提取</title><link>https://fe-interview.pangcy.cn/docs/typescript/typescript-21/</link><pubDate>Tue, 04 Mar 2025 08:37:03 +0000</pubDate><guid>https://fe-interview.pangcy.cn/docs/typescript/typescript-21/</guid><description>&lt;h2 id="考察点分析">考察点分析 &lt;a href="#%e8%80%83%e5%af%9f%e7%82%b9%e5%88%86%e6%9e%90" class="anchor" aria-hidden="true">&lt;i class="material-icons align-middle">link&lt;/i>&lt;/a>&lt;/h2>&lt;p>本题主要考核候选人对TypeScript类型系统的深层次理解，重点在以下维度：&lt;/p>
&lt;ol>
&lt;li>&lt;strong>类型编程能力&lt;/strong>：能否运用条件类型、模板字面量类型等高级特性构建复杂类型&lt;/li>
&lt;li>&lt;strong>递归思维&lt;/strong>：使用递归类型处理嵌套结构的能力&lt;/li>
&lt;li>&lt;strong>类型操作符运用&lt;/strong>：熟练使用&lt;code>T[K]&lt;/code>索引访问、&lt;code>infer&lt;/code>推断、&lt;code>extends&lt;/code>约束等关键语法&lt;/li>
&lt;li>&lt;strong>边界处理意识&lt;/strong>：处理可选属性、非法路径等边缘情况&lt;/li>
&lt;li>&lt;strong>类型体操应用&lt;/strong>：将基础类型操作组合实现实用工具类型&lt;/li>
&lt;/ol>
&lt;h2 id="技术解析">技术解析 &lt;a href="#%e6%8a%80%e6%9c%af%e8%a7%a3%e6%9e%90" class="anchor" aria-hidden="true">&lt;i class="material-icons align-middle">link&lt;/i>&lt;/a>&lt;/h2>&lt;h3 id="关键知识点">关键知识点 &lt;a href="#%e5%85%b3%e9%94%ae%e7%9f%a5%e8%af%86%e7%82%b9" class="anchor" aria-hidden="true">&lt;i class="material-icons align-middle">link&lt;/i>&lt;/a>&lt;/h3>&lt;ol>
&lt;li>模板字面量类型（Template Literal Types）&lt;/li>
&lt;li>条件类型（Conditional Types）与递归&lt;/li>
&lt;li>索引访问类型（Indexed Access Types）&lt;/li>
&lt;li>类型推断（&lt;code>infer&lt;/code>关键字）&lt;/li>
&lt;/ol>
&lt;h3 id="原理剖析">原理剖析 &lt;a href="#%e5%8e%9f%e7%90%86%e5%89%96%e6%9e%90" class="anchor" aria-hidden="true">&lt;i class="material-icons align-middle">link&lt;/i>&lt;/a>&lt;/h3>&lt;p>递归类型提取的核心逻辑：&lt;/p>
&lt;ol>
&lt;li>将路径字符串&lt;code>Path&lt;/code>拆分为&lt;code>K.R&lt;/code>（使用&lt;code>${infer K}.${infer R}&lt;/code>模式匹配）&lt;/li>
&lt;li>判断当前对象类型&lt;code>T&lt;/code>是否包含&lt;code>K&lt;/code>属性（&lt;code>T extends Record&amp;lt;K, any&amp;gt;&lt;/code>）&lt;/li>
&lt;li>递归处理子属性&lt;code>T[K]&lt;/code>和剩余路径&lt;code>R&lt;/code>&lt;/li>
&lt;li>终止条件：当路径无法拆分时直接返回&lt;code>T[Path]&lt;/code>&lt;/li>
&lt;/ol>



 
 
 

 
 
 
 

 

 &lt;div class="prism-codeblock ">
 &lt;pre id="3c28795" class="language-typescript ">
 &lt;code>type DeepAccess&amp;lt;T, Path extends string&amp;gt; = 
 Path extends `${infer K}.${infer R}` 
 ? T extends Record&amp;lt;K, any&amp;gt; 
 ? DeepAccess&amp;lt;T[K], R&amp;gt; 
 : never 
 : T extends Record&amp;lt;Path, any&amp;gt; 
 ? T[Path] 
 : never;&lt;/code>
 &lt;/pre>
 &lt;/div>
&lt;h3 id="常见误区">常见误区 &lt;a href="#%e5%b8%b8%e8%a7%81%e8%af%af%e5%8c%ba" class="anchor" aria-hidden="true">&lt;i class="material-icons align-middle">link&lt;/i>&lt;/a>&lt;/h3>&lt;ol>
&lt;li>忽略中间属性可能是&lt;code>undefined&lt;/code>或非对象类型&lt;/li>
&lt;li>未处理路径不存在时的类型安全（直接返回&lt;code>never&lt;/code>）&lt;/li>
&lt;li>模板字符串拆分时错误处理联合类型路径&lt;/li>
&lt;/ol>
&lt;h2 id="问题解答">问题解答 &lt;a href="#%e9%97%ae%e9%a2%98%e8%a7%a3%e7%ad%94" class="anchor" aria-hidden="true">&lt;i class="material-icons align-middle">link&lt;/i>&lt;/a>&lt;/h2>&lt;p>通过模板字面量类型递归拆解路径字符串，结合条件类型逐层深入对象结构。当路径形如&lt;code>'a.b.c'&lt;/code>时：&lt;/p></description></item></channel></rss>