为何TypeScript类型谓词的类型必须可赋值给参数类型？

首先，咱们得先搞懂TypeScript设计类型谓词的核心目的：它是用来缩小变量的类型范围的，而不是把一个变量的类型强行改成完全不相关的另一种类型。这就是为什么它会有「类型谓词的类型必须可赋值给参数类型」这个规则。

先看你的两种写法差异 #

第一种用any的写法（合法） #

// tslint:disable-next-line:no-any
const isString = (value: any): value is string {
  return typeof value === 'string'
}

这里any是TypeScript里的「万能类型」，所有类型都可以赋值给any，同时any也可以被缩小到任何子类型（包括string）。所以value is string是合法的——本质上是把一个宽泛的any类型，缩小到更具体的string类型，完全符合类型守卫的设计逻辑。

第二种用泛型<T>的写法（报错） #

const isString = <T>(value: T): value is string {
  return typeof value === 'string'
}

这里的问题出在泛型T的不确定性：当你调用这个函数时，T是由传入的参数类型推断出来的。比如你调用isString(123)，TypeScript会把T推断为number，这时候类型谓词value is string就要求string必须能赋值给number——这显然是不可能的，两种类型完全没有交集，所以TypeScript会抛出错误阻止这种逻辑矛盾的写法。

正确的替代方案（不用any也合法） #

如果你不想用any（毕竟any会丢失类型检查的安全性），可以用unknown代替，它是TypeScript里更安全的顶级类型：

const isString = (value: unknown): value is string {
  return typeof value === 'string'
}

unknown的特性是：所有类型都可以赋值给它，但它只能赋值给unknown或any。而string是unknown的子类型（因为string可以赋值给unknown），所以这个类型谓词完全符合TypeScript的规则，同时保留了类型检查的安全性——调用这个函数时，传入的任何类型都会先被当作unknown，通过守卫后才会被缩小为string。

再回到你的疑问：为什么要有这个规则？ #

想象一下，如果TypeScript允许你写(value: T): value is string这种代码，那当你传入一个number类型的值时，万一判断逻辑写错导致函数返回true，TypeScript就会错误地把这个number当成string，后续代码里调用string的方法（比如substring）就会在运行时崩溃。这个规则就是为了避免这种类型不匹配的逻辑错误，保证类型守卫的「可靠性」——它只能把参数的类型往更具体的方向缩小，而不能无中生有地转换成另一个不相关的类型。

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