TypeScript中extends keyof T条件收窄为何存在类型赋值问题？

我曾查阅过《TypeScript keyof index type is too wide》这篇帖子，但仍不清楚它是否适用于以下场景，以及具体如何适用：

type Foo<K, T> = K extends keyof T ? T[K] : never;

function test1<K, T>(foo: Foo<K, T>) { }

function test2<K extends keyof T, T>(foo: T[K]) {
    test1(foo);
    //    ^ Argument of type 'T[K]' is not assignable to parameter of type 'Foo<K, T>'
}

明明K extends keyof T，我们确定K是T的合法键，可以索引T，但T[K]却无法赋值给Foo<K, T>。完整错误信息如下：

Argument of type 'T[K]' is not assignable to parameter of type 'Foo<K, T>'.
  Type 'T[keyof T]' is not assignable to type 'Foo<K, T>'.
    Type 'T[string] | T[number] | T[symbol]' is not assignable to type 'Foo<K, T>'.
      Type 'T[string]' is not assignable to type 'Foo<K, T>'.(2345)

这个问题源于@types/node中的以下测试用例：

interface T {
    myEvent: [string]
}

type Listener<K> = K extends keyof T ? (
        (...args: T[K]) => void
    )
    : never;

function on<K>(event: K, listener: Listener<K>): void {
    emitter.on(event, listener);
}

哪怕将on函数的泛型声明为<K extends keyof T>，仍不能省略Listener中的条件类型，推测是出于相同的类型收窄限制。

问题原因解析 #

核心差异在于条件类型的分布式特性和泛型约束下的索引类型推断逻辑：

1. 分布式条件类型的特性：当Foo<K, T>中的泛型参数K是联合类型时，K extends keyof T会触发分布式计算——对联合类型的每个分支单独应用条件，最终得到的是各分支结果的联合，但TypeScript会将其视为“针对每个具体键的精确类型”，而非宽泛的联合类型。

2. 泛型约束下的索引类型推断：在test2中，K extends keyof T是泛型约束，此时T[K]会被推断为T[keyof T]（即所有键对应值类型的联合）。这个联合类型是“任意键对应的值”，而Foo<K, T>是“特定键对应的值”，TypeScript无法将宽泛的联合类型赋值给经过分布式收窄的条件类型结果，因为前者可能包含不符合特定键的类型。

举个具体例子，假设T = { a: number, b: string }，keyof T = "a" | "b"：

• T[K]当K为"a" | "b"时，结果是number | string
• Foo<K, T>的结果是(K extends "a" ? number : never) | (K extends "b" ? string : never)，虽然表面上和number | string等价，但在泛型上下文里，TypeScript认为前者是“不确定是number还是string的任意值”，后者是“对应K具体类型的精确值”，因此无法直接赋值。

回到@types/node的测试用例：如果省略Listener的条件类型，直接用(...args: T[K]) => void，当K是联合类型时，T[K]会变成所有事件参数类型的联合，导致回调函数的参数被放宽为联合类型，无法正确约束每个事件对应的参数类型。而条件类型的分布式特性可以保证，当传入特定事件名时，回调参数会被自动收窄到对应类型，这就是必须保留条件类型的原因。

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