枚举类型在TypeScript模板字符串类型中触发自动分发的原因探究

先看你给出的代码示例：

enum Foo {
  'Foo' = 'A',
  'Bar' = 'B'
}
type Value = `${Foo}` // 'A' | 'B'
type Key = keyof typeof Foo  //'Foo' | 'Bar'

为什么枚举会触发模板字符串类型的自动分发？ #

模板字符串类型的自动分发特性，本质是对联合类型的遍历处理——只要传入的类型是联合类型，就会自动对每个分支单独应用模板字符串，最后合并成新的联合类型。而直接使用Foo作为类型时，它本身就是枚举成员值的联合类型（这里就是'A' | 'B'），所以自然会触发自动分发，把每个成员值转换成对应的字符串字面量类型，最终得到'A' | 'B'。

枚举为什么能在模板字符串中使用？ #

你提到模板字符串允许的类型是string | number | bigint | boolean | null | undefined，这里要区分两个核心概念：

• 当你写Foo作为类型时，它代表的是枚举成员值的联合类型，而非枚举对象的类型。对于字符串枚举来说，这个联合类型就是字符串字面量的集合，属于string的子类型，完全符合模板字符串的类型要求；如果是数字枚举，那就是数字字面量的联合，属于number子类型，同样能被接受。
• 而keyof typeof Foo得到的是枚举对象的键，这是因为typeof Foo取的是枚举编译后生成的对象的类型（这个对象包含键值映射，数字枚举还会有反向映射），这和直接用Foo作为类型取成员值是完全不同的两回事。

TypeScript在类型系统中对枚举做了特殊处理：直接引用枚举名作为类型时，会自动解析为其成员值的联合类型，而非枚举对象的类型，所以它能被模板字符串类型正常接收并处理。

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