为何无法为约束为boolean的泛型参数直接赋值？

先看你编写的第一个函数：

function fun<T extends boolean>(param: T): void {
    param = true
}

编译器会抛出如下错误：

Type 'boolean' is not assignable to type 'T'.
'boolean' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'boolean'.ts(2322)

你觉得T继承自boolean就应该能赋值true，但问题出在TypeScript的布尔类型体系上：boolean是父类型，它还有两个更具体的字面量子类型——true和false。当你用T extends boolean时，T可以是这三个类型中的任意一个：

• 调用fun(true)时，T会被推断为true字面量类型
• 调用fun(false)时，T会被推断为false字面量类型
• 调用fun(Math.random() > 0.5)时，T才是boolean类型

如果T是false，那param的类型就是false，这时候给它赋值true显然违反了类型约束——false类型的变量只能接收false值。编译器没办法提前知道你调用函数时T会被推断成什么，所以会严格检查，不允许这种可能破坏类型安全的赋值。

再看设置默认值的场景：

function fun<T extends boolean>(param: T = true): void {}

同样的逻辑，默认值true只能赋值给true或boolean类型，但T有可能是false，编译器无法保证默认值对所有可能的T都兼容，因此报错。

如果不想每次用类型断言，最简单的办法是放弃泛型，直接用boolean类型：

function fun(param: boolean): void {
    param = true
}

如果必须保留泛型（比如需要让函数的输入输出类型关联），那类型断言确实是不可避免的——因为编译器无法确认T的具体子类型，只能靠你手动保证类型安全。

内容的提问来源于stack exchange，提问作者Space.yg