TypeScript类型扩展行为是否有文档？与JS语法差异原因咨询

1. 两者属于不同层面的语法 #

TypeScript类型系统中的扩展语法是类型模式匹配工具，和JavaScript运行时的数组解构扩展完全是两回事：

• JavaScript的数组解构扩展是运行时的元素赋值逻辑，要求扩展变量必须放在最后，因为它的作用是把剩余所有未被显式匹配的元素打包到扩展变量里。如果把扩展放在前面，运行时无法确定该截取多少元素给前面的变量，会产生歧义，因此语法上直接禁止这种写法。
• TypeScript类型里的...infer _是用于在类型层面分析数组的结构，infer关键字的作用是让类型检查器自动推断并捕获某部分的类型。[...infer _, infer L]的逻辑是：匹配任意长度的数组，忽略前面所有元素的类型（用_表示），只捕获最后一个元素的类型L。这是类型系统特有的模式匹配规则，不涉及实际的元素分配。

2. 设计目的完全不同 #

• JavaScript解构扩展的目标是在运行时便捷地提取和重组数组元素，语法限制是为了避免运行时的不确定性。
• TypeScript类型扩展结合infer的目标是实现灵活的类型结构分析，比如不仅可以提取最后一个元素类型，还能写A extends [infer F, ...infer R] ? F : never来提取第一个元素类型，或者A extends [infer F, ...infer M, infer L] ? [F, L] : never提取首尾元素类型，这种灵活性是类型系统为了满足类型编程需求而设计的。

3. 官方文档相关说明 #

这种用法属于TypeScript条件类型中的推断，官方文档在条件类型章节明确提到，infer关键字可以结合扩展语法，用于从数组、元组等类型中提取特定位置的类型。它是TypeScript为类型系统设计的语法扩展，和JavaScript运行时语法没有直接关联。

内容的提问来源于stack exchange，提问作者fmi21