TypeScript字符串/异构枚举赋值字面量报错的原因及特性疑问

TypeScript 5.0对枚举机制做了全面改版，官方文档提到枚举类型本质是其成员字面量类型的联合类型。但在TypeScript 5.6.2中，字符串枚举与异构枚举的类型检查却不符合这个规则，示例代码如下：

enum B { // 字符串枚举
  B1 = '1',
  B2 = '2',
}
enum C { // 异构枚举
  C1 = 1,
  C2 = 2,
  C3 = '1',
  C4 = '2',
}
const b1: B = '1'; // TS报错：Type '"1"' cannot be assigned to type 'B'
const c12: C = '1'; // TS报错：Type '"1"' cannot be assigned to type 'C'

为什么枚举的类型检查结果和真正的联合类型不同？这是枚举的Bug还是对新特性的理解有误？

核心原因：对TS 5.0枚举改版的范围理解有误 #

TS 5.0的枚举改版仅针对数字枚举，并没有将字符串枚举或异构枚举的类型等价于字面量联合类型。官方文档的描述存在表述简化，实际规则需要区分枚举类型：

1. 数字枚举：确实等价于字面量联合类型
   数字枚举在TS 5.0之后，类型会被解析为成员值的字面量联合，同时保留反向映射特性。所以可以直接给数字枚举类型赋值对应的数字字面量：

   enum A { A1 = 1, A2 = 2 }
   const a1: A = 1; // 完全合法
   

2. 字符串枚举：是独立的命名类型，而非字面量联合
   字符串枚举没有反向映射，TS会将其视为带有命名标识的独特类型——它的成员是B.B1、B.B2这样的枚举值，而非对应的字符串字面量'1'、'2'。这种设计是为了区分“枚举成员”和“普通字符串”，避免类型混淆。

3. 异构枚举：类型被宽泛化处理
   混合数字和字符串的异构枚举，TS不会将其解析为字面量联合，而是会把类型放宽为number | string（或更具体的混合类型，但依然不允许直接赋值字面量）。这是因为异构枚举的类型逻辑本身更复杂，TS无法将其精准映射为字面量联合。

结论：这不是Bug，是特性范围的差异 #

TS 5.0的枚举改版只优化了数字枚举的类型推断逻辑，字符串枚举和异构枚举的类型规则并没有改变。官方文档的表述是针对数字枚举的简化说明，并非所有枚举类型都适用。如果需要将字面量赋值给枚举类型，应该通过枚举成员来赋值：

const b1: B = B.B1; // 合法
const c12: C = C.C3; // 合法

内容的提问来源于stack exchange，提问作者肉蛋充肌