无法理解 TypeScript 中 keyof 的语义

Question

我有下面这个简单的例子说明K extends keyof T是在哪里声明的，但是为findMember推断的返回类型的结果是不同的，我真的不明白为什么会有这样的差异。

我还创建了一个指向 TypeScript Playground HERE的链接

class Group1<T> {
    findMember<K extends keyof T = keyof T>(name: K): T[K] {
        return {} as T[K];
    }
}

class Group2<T, K extends keyof T = keyof T> {
    findMember(name: K): T[K] {
        return {} as T[K];
    }
}

interface Person {
    firstName: string;
    lastName: string;
    age: number;
    addresses: Array<{
        street: string;
        city: string;
        zip: string;
    }>
}

const group1 = new Group1<Person>();
// Inferred type is Array<{ street: string; city: string; zip: string; }>;
const addresses1 = group1.findMember('addresses');

const group2 = new Group2<Person>();
// Inferred type is string | number | Array<{ street: string; city: string; zip: string; }>;
const addresses2 = group2.findMember('addresses');

Answer 1

在group1.findMember('addresses')中，K可以推断为"addresses"，所以返回Person["addresses"]。

在group2.findMember('addresses') 中，K 是来自顶级类声明的类型参数。 使用其默认类型keyof T（T 的所有键），因为您没有指定K，当使用const group2 = new Group2<Person>(); 创建实例时。所以你最终得到了返回类型Person["firstName" | "lastName" | "age" | "addresses"]，它是所有可能的属性值的联合。

如果你使用const group2 = new Group2<Person, "addresses">()，结果应该是一样的。