如何从TypeScript重载函数类型d中提取第一个参数的联合类型？

你已经定义了重载函数类型d，想要让myFunc的参数仅接受d中所有重载的第一个参数取值（即'edit' | 'download' | 'delete'），可以用TypeScript内置的Parameters工具类型来实现：

方法一：单独定义目标类型 #

先通过Parameters工具类型提取d的所有参数元组，再取出每个元组的第一个元素组成联合类型：

// 提取d中所有重载的第一个参数组成的联合类型
type DFirstParam = Parameters<d>[0];

function myFunc(e: DFirstParam) {
}

myFunc('edit'); // ✅ 类型合法
myFunc('some'); // ❌ 类型不合法（TS会触发类型报错）

方法二：内联使用类型 #

如果不需要复用该类型，也可以直接在函数参数中内联写法：

function myFunc(e: Parameters<d>[0]) {
}

myFunc('download'); // ✅ 类型合法
myFunc('test'); // ❌ 类型不合法

原理说明 #

Parameters<d>会返回d所有重载的参数元组组成的联合类型，即['edit', boolean] | ['download', boolean] | ['delete', boolean]。对这个联合类型取索引[0]时，TypeScript会自动遍历每个元组并提取第一个元素，最终组合成'edit' | 'download' | 'delete'的目标联合类型。

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