为何移除接口方法后TypeScript类型推断失效？

这是因为泛型类型推断依赖于接口中与泛型参数绑定的成员来建立类型关联，当BaseChatAdapter<T>移除send方法后，接口不再有任何能约束泛型T的成员，导致TypeScript无法从StringAdapter实例反向推断出Chat的泛型参数T。

正常工作示例的推断逻辑 #

class Chat<T> {
    constructor(private adapter: BaseChatAdapter<T>) {}

    send(message: T) {}
}

interface BaseChatAdapter<T> {
    send(message: T): void;
}

class StringAdapter<T = string> implements BaseChatAdapter<T> {
    send(message: T) {}
}

const c = new Chat(new StringAdapter());

type Param = Parameters<typeof c['send']>[0]; // Param is inferred as string

1. BaseChatAdapter<T>中的send(message: T): void是核心关联点——它直接将泛型参数T与方法的参数类型绑定，给TypeScript提供了明确的推断线索。
2. StringAdapter<T = string>实现该接口时，必须匹配send方法的类型要求。创建new StringAdapter()时，因为没有显式指定泛型，TypeScript会使用默认值string，此时StringAdapter的类型为StringAdapter<string>，对应的BaseChatAdapter<T>中的T也被确定为string。
3. Chat<T>的构造函数接收BaseChatAdapter<T>，TypeScript会从传入的StringAdapter<string>实例中提取出T = string，因此Chat的泛型参数被锁定为string，最终c.send的参数类型自然是string。

失效示例的推断逻辑 #

class Chat<T> {
    constructor(private adapter: BaseChatAdapter<T>) {}

    send(message: T) {}
}

interface BaseChatAdapter<T> {
    // The 'send' method is removed
}

class StringAdapter<T = string> implements BaseChatAdapter<T> {
    send(message: T) {}
}

const c = new Chat(new StringAdapter());

type Param = Parameters<typeof c['send']>[0]; // Param is inferred as unknown

1. 当BaseChatAdapter<T>变为空接口后，它与泛型参数T完全无关——任何类型都可以赋值给BaseChatAdapter<T>，接口无法提供任何关于T的类型约束。
2. StringAdapter<T = string>实现空接口时，自身的send方法和泛型T不再需要与BaseChatAdapter<T>的成员绑定。此时new StringAdapter()的默认泛型string只是自身的默认值，无法传递给BaseChatAdapter<T>的泛型参数。
3. Chat<T>的构造函数接收BaseChatAdapter<T>，但因为这个接口没有任何与T相关的线索，TypeScript没有足够信息推断T的具体类型，只能默认推断为unknown，最终导致c.send的参数类型变成unknown。

总结 #

泛型推断的核心是类型关联线索，BaseChatAdapter<T>中的send方法就是连接StringAdapter和Chat泛型参数的关键线索。一旦这个线索被移除，类型推断链断裂，TypeScript无法确定泛型参数的具体类型，只能 fallback 到unknown。

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