TypeScript字面量类型赋值疑问：value1可赋值value2为何报错？

先看你的代码：

let value1: 'POST' | number | boolean = 'POST';
let value2: 'POST' | number | boolean | string = 'POST';
let copiedValue: 'POST';

为什么value1可以正常赋值给copiedValue？ #

value1的类型是'POST'（字符串字面量）、number、boolean的联合类型，这三个类型完全互斥——你不可能把number赋值给boolean，也没法把普通string赋值给'POST'字面量。

当你把value1初始化为'POST'后，TypeScript会做类型窄化：在当前代码上下文里，只要你没给value1重新赋值其他类型的值，编译器就认定它的实际类型就是'POST'，自然能直接赋值给类型为'POST'的copiedValue。

为什么value2赋值会报错？ #

value2的类型里多了一个宽泛的string类型，这里要注意：'POST'是string的子类型，所以'POST' | string其实等价于string——宽泛的string类型已经包含了所有字符串字面量。

这就导致value2的实际类型变成了string | number | boolean。哪怕你现在把它初始化为'POST'，编译器也无法确定它后续会不会被改成其他字符串（比如'GET'、'PUT'），所以它的类型无法被窄化到'POST'。直接赋值给要求严格'POST'类型的copiedValue时，编译器就会报错，必须用类型断言（比如copiedValue = value2 as 'POST'）来强制告诉编译器“我确认这个值就是'POST'”。

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