TypeScript 5.3与5.4-beta中Readonly元组类型解析差异原因探究

在TypeScript 5.4-beta版本中，类型T = Readonly<[...number[], string]>的解析结果为readonly [...number[], string]；而在TypeScript 5.3版本中，该类型的解析结果为readonly [...(string|number)[], string|number]。查看Readonly的定义未发现变更，请问导致该类型解析差异的具体原因是什么？

这是因为TypeScript 5.4对元组类型在泛型工具类型中的处理逻辑做了针对性修复优化，具体细节如下：

• 在TypeScript 5.3及更早版本中，Readonly这类泛型工具在处理带固定尾元素的剩余元组（比如[...number[], string]）时，编译器会错误地将剩余元素段和固定尾元素的类型进行合并，导致整个元组的元素类型被宽泛化为联合类型，最终让Readonly处理后的类型丢失了原元组的结构化信息。
• TypeScript 5.4修复了这个类型推导缺陷，优化了泛型工具对剩余元素元组、具名元组的类型保留逻辑：当Readonly作用于这类结构化元组时，会直接保留原元组的剩余元素结构和固定元素类型，仅为整个元组添加readonly修饰符，不会破坏原元组的类型结构。

该修复属于TypeScript编译器内部类型系统处理逻辑的细节调整，并非Readonly工具类型的定义变更。

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