TypeScript 5字符串枚举传字面量不编译，求原因解析

问题背景 #

在TypeScript 5中，枚举的行为发生了变更，但当枚举成员赋值为字符串而非数字时，如下代码会出现编译错误：

// Color 类似 Red | Orange | Yellow | Green | Blue | Violet 的联合类型
enum Color {
    Red = 'Red', Orange = 'Orange', Yellow = 'Yellow', Green = 'Green', Blue = 'Blue'
}

// 每个枚举成员都有可引用的专属类型！
type PrimaryColor = Color.Red | Color.Green | Color.Blue

function isPrimaryColor(c: Color): c is PrimaryColor {
    // 窄化字面量类型可捕获错误。
    // TypeScript 在此处会报错，因为
    // 我们会意外将 'Color.Red' 与 'Color.Green' 比较。
    // 我们本应使用 ||，却误写为 &&。
    return c === Color.Red || c === Color.Green || c === Color.Blue;
}

console.log(isPrimaryColor('Red')); // 无法编译
console.log(isPrimaryColor(0)); // 无法编译
console.log(isPrimaryColor('Red' as Color)); // 可编译，运行正常
console.log(isPrimaryColor(Color.Blue)); // 可编译，运行正常

（上述代码基于TypeScript v5.1.0-dev.20230302执行）

请问这是什么原因？

原因解析 #

这本质是字符串枚举的严格类型校验特性导致的，核心原因有两点：

1. 字符串枚举是独立的命名联合类型
   TypeScript 5中，字符串枚举的每个成员都是绑定到枚举命名空间的专属字面量类型，整个Color枚举等价于'Red' | 'Orange' | 'Yellow' | 'Green' | 'Blue'的联合类型，但TypeScript不会自动将普通字符串字面量（比如'Red'）视为枚举类型的实例——枚举是一个有命名的类型集合，和原始字符串字面量属于不同的类型范畴，只有显式断言或直接引用枚举成员才能匹配类型。

2. 类型检查的严格区分规则

• 调用isPrimaryColor('Red')时，'Red'是原始字符串字面量类型，而函数形参要求的是Color类型。虽然运行时值相同，但TypeScript不会隐式将原始字符串转换为枚举类型，因此触发编译错误。
• 调用isPrimaryColor(0)时，0是数字类型，和Color枚举的字符串类型完全不兼容，自然无法通过编译。
• 'Red' as Color是显式类型断言，强制TypeScript将该字符串当作Color类型处理，绕过了隐式类型检查；直接使用Color.Blue本身就是Color类型的成员，完全符合形参要求，所以两者都能正常编译。

简单来说，TypeScript 5对字符串枚举的类型校验更严格，它明确区分了原始字符串字面量和枚举成员的类型，不再像数字枚举那样允许隐式类型转换。

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