TypeScript如何实现Array.join返回精确字面量字符串类型

原生数组join方法默认返回宽泛的string类型，无法匹配只读元组拼接后的精确字面量类型，示例代码：

const arr = ['a', 'b'] as const;
// 数组类型: readonly ["a", "b"]

const joined = arr.join('');
// 原生返回类型: string
// 期望返回类型: "ab"

该需求完全可实现。as const 断言生成的只读元组已包含元素字面量类型、元素顺序、数组长度全部静态类型信息，没有信息缺口，完全可以推导得到精确的拼接后字面量类型。

• 掌握TypeScript模板字面量类型基础语法，这是在类型层面实现字符串拼接运算的核心能力
• 学习递归条件类型的编写方式：通过递归逐次取出元组的元素类型，逐轮完成字符串拼接，直到元组遍历完成时终止递归
• 泛型定义注意兼容readonly修饰符，匹配as const生成的只读元组入参，避免类型校验报错
• 明确递归终止边界：空元组的拼接结果为字面量""类型，单元素元组直接返回对应元素的字面量类型
• 运行时逻辑无需特殊处理，按普通数组join方法实现即可，只需给函数挂载编写好的递归泛型类型，TypeScript会自动根据入参推导精确的返回字面量类型

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