TypeScript为何无需收窄unknown类型？如何定义泛型参数未知的Foo类型？

原代码不报错的核心原因是：Foo<unknown>的doth方法接受unknown类型的参数，而TypeScript允许任何类型的值赋值给unknown（因为unknown是所有类型的超类型），所以传入字符串不会触发错误，但这不符合你“不确定泛型类型就不能随意操作”的预期。

要表达「我知道它是Foo，但不清楚其泛型类型参数」，有两种常用方式：

方式一：使用泛型函数（推荐） #

通过泛型参数T追踪这个未知的类型，让TypeScript明确限制doth的输入必须匹配T：

abstract class Foo<T> {
  abstract doth(input: T): void;
}

function checkAndDo<T>(foo: Foo<T>) {
    const someRandomBS = 'afafaf';
    foo.doth(someRandomBS); // 报错：类型'string'无法赋值给类型'T'
}

这种方式最准确，它清晰传达了“这是一个Foo<T>实例，但T的具体类型未知”的含义，同时阻止了随意传入不匹配类型的参数调用doth。如果后续需要调用，你必须通过类型收窄或断言明确T的类型。

方式二：使用Foo<never>作为参数类型 #

never是所有类型的子类型，只有never类型的值能传入doth方法，彻底阻止随意调用：

abstract class Foo<T> {
  abstract doth(input: T): void;
}

function checkAndDo(foo: Foo<never>) {
    const someRandomBS = 'afafaf';
    foo.doth(someRandomBS); // 报错：类型'string'无法赋值给类型'never'
}

这种方式更严格，适合完全不允许调用doth的场景，同样表达了“泛型参数未知，无法确定合法输入”的语义。

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