TypeScript枚举参数重载函数不接受枚举值联合类型问题

• 首先TypeScript的重载匹配采用单签名精准匹配规则：调用重载函数时，只会将传入参数的整体类型和每一个重载签名逐一比对，只要没有任何一个签名完全匹配入参类型，就会抛出类型错误，不会自动拆分联合类型验证所有分支是否分别匹配不同重载。
• 其次是数字枚举的类型特性：数字枚举的每个成员都是独立的字面量子类型，ArgType.FIRST和ArgType.SECOND是互不兼容的独立类型，二者组成的联合类型ArgType.FIRST | ArgType.SECOND不存在于现有重载的参数约束中，所以直接传入会报错。
• 至于数字字面量联合1|2可以正常传入的原因是：数字字面量和对应值的数字枚举类型完全兼容，TS会识别到1符合第一个重载约束、2符合第二个重载约束，因此允许调用。而混合枚举成员和数字字面量的三元表达式会被TS自动坍缩为数字字面量联合，所以也不会报错。

所有方案都不需要在调用处硬编码数字：

方案1：类型收窄（最安全，无类型损失） #

提前对枚举联合做类型收窄，让每个分支的类型都匹配对应重载：

const arg = Math.random() < 0.5 ? ArgType.FIRST : ArgType.SECOND;
if (arg === ArgType.FIRST) {
  create("asd", arg); // 此时arg类型为ArgType.FIRST，匹配第一个重载
} else {
  create("asd", arg); // 此时arg类型为ArgType.SECOND，匹配第二个重载
}

方案2：类型断言（最简单，适合确定值合法的场景） #

直接将枚举联合断言为枚举的整体类型，或者对应重载能接收的类型：

create("asd", (Math.random() < 0.5 ? ArgType.FIRST : ArgType.SECOND) as ArgType);

方案3：转换为数字类型 #

用Number()包裹枚举值，将类型转换为数字字面量联合，即可匹配重载规则：

create("asd", Number(Math.random() < 0.5 ? ArgType.FIRST : ArgType.SECOND));

方案4：补充重载签名（适合可以修改库类型定义的场景） #

给create函数补充一个接收完整枚举类型的重载即可：

// 补充到库的类型声明中
declare function create(name: string, options: ArgType): number;

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