type-fest中IsEqual的类型是什么？赋值boolean报错如何解读？

一、type-fest中IsEqual的类型本质 #

IsEqual不是普通的布尔类型别名，它是一个条件类型，会根据传入的两个类型参数T和S是否完全等价，返回字面量类型true或false，而非宽泛的boolean类型。例如：

• IsEqual<number, number>会解析为字面量类型true
• IsEqual<number, string>会解析为字面量类型false

它的核心作用是在类型层面判断两个类型是否完全一致，而非在运行时处理布尔值。

二、错误信息的理解 #

报错Type 'boolean' is not assignable to type 'IsEqual<T, S>'的原因很明确：
你给变量R赋值了宽泛的true（属于boolean类型），但IsEqual<T, S>的类型是字面量布尔类型（要么是true要么是false），而非boolean。由于函数中T和S是泛型参数，TypeScript在编译时无法提前确定IsEqual<T, S>到底会解析为true还是false，因此它会保留这个条件类型的未决状态。此时用宽泛的boolean类型值去赋值，就会触发类型不兼容的错误。

如果你的需求是在编译时断言两个类型相等，可以通过类型层面的操作实现，比如利用条件类型的特性编写类型断言逻辑，而非在运行时给变量赋值字面量布尔值。

内容的提问来源于stack exchange，提问作者Marcus Junius Brutus