TypeScript中Type 'unknown'无法赋值给'number'问题及适配方案咨询

TypeScript报错的核心是函数参数的逆变规则：

• 当你省略Foo的泛型参数时，它默认是Foo<unknown>，此时foo方法的类型是(value: unknown) => void，意味着这个方法必须能接受任意类型的参数。
• 而Bar实现的Foo<number>中，foo方法只能接受number类型的参数。如果允许把Bar赋值给Foo<unknown>，那么test函数内部可能会传入非number类型的值给foo，这会导致运行时错误，所以TypeScript严格禁止这种不安全的类型赋值。

最合理的方式是将test定义为泛型函数，让它能接受任意类型参数的Foo实现：

interface Foo<V = unknown> {
    foo: (value: V) => void
}

class Bar implements Foo<number> {
    foo(v: number) {}
}

class Bar2 implements Foo<string> {
    foo(v: string) {}
}

// 定义泛型函数，接受任意Foo<V>类型
function test<V>(foo: Foo<V>): void {}

test(new Bar)    // 正常，V被推断为number
test(new Bar2)   // 正常，V被推断为string

为什么之前的尝试无效？ #

• 类型断言：只是强制绕过了TypeScript的类型检查，本质上没有解决类型不兼容的问题，还会埋下运行时风险，且开发者需要手动断言，体验差。
• 替换为联合类型：比如Foo<string | number>要求foo方法能接受string或number类型的参数，但Bar的foo只能处理number，依然不符合逆变规则，所以还是会报错。

内容的提问来源于stack exchange，提问作者Un-J