將對象鍵映射到泛型類中的值類型

Question

我有以下代碼：

interface Person {
    name: string;
    age: number;
} 

class Store<T, K extends keyof T> {
    constructor(private obj: T) { }

    get(key: K): T[typeof key] {
        return this.obj[key];
    }
}

const person: Person = {
    name: 'John',
    age: 99
};

const store = new Store(person);
const value = store.get('name');

value類型顯示：

const value = store.get('name');
   // ^^^^^ value: string | number

如何將對象的鍵作為類方法中的參數來推斷對象的值類型？

在這種情況下，我希望將value正確鍵入為string 。 如何實現這一目標？

打字稿游樂場

Answer 1

get函數本身需要是通用的，以便它可以使用參數的類型。 這允許它從T返回一個特定的鍵，比如T[K] 。

類上的K泛型現在不再有意義。 keyof T在該類中的任何地方都是相同的，因此您可以完全刪除它。

換句話說， Store as a class 不認為任何一個鍵是特殊的，所以它不需要一個泛型。 但是get方法需要獲取一個特定的鍵，所以類型系統需要知道哪個特定的鍵，所以你需要一個泛型。

class Store<T> {
    constructor(private obj: T) { }

    get<K extends keyof T>(key: K): T[K] {
        return this.obj[key];
    }
}

操場