TypeScript-在泛型約束中使用類型參數

在泛型約束中使用類型參數概述

• 一個泛型被另一個泛型約束, 就叫做 泛型約束中使用類型參數

博主需求: 定義一個函數用於根據指定的 key 獲取對象的 value：

let getProps = (obj: object, key: string): any => {
    return obj[key];
}

如上的代碼在編譯器當中是會報錯的，報錯的原因就是它不知道 obj[key] 返回的到底是不是 any 這個類型，這個錯其實可以不用管，如果要想解決這個錯誤可以利用 interface 來解決，我可以先給出利用 interface 解決這個錯誤的代碼：

interface KeyInterface {
    [key: string]: any
}

let getProps = (obj: KeyInterface, key: string): any => {
    return obj[key];
}

但是呢，我這里先不解決這個錯，一會呢，這個錯誤就會不見了，首先直接運行看看，是可以運行的：

let getProps = (obj: object, key: string): any => {
    return obj[key];
}

let obj = {
    a: 'a',
    b: 'b'
}
let res = getProps(obj, "a");
console.log(res);

如上的代碼 a 和 b 都是存在的 key，如果這個時候我要獲取一個 c 的 key 的 value 那么就直接是 undefined 了，說明一個問題，代碼不夠健壯, 明明 obj 中沒有 c 這個 key 但是卻沒有報錯，那么這時就可以利用 在泛型約束中使用類型參數 來解決該問題，代碼如下：

let getProps = <T, K extends keyof T>(obj: T, key: K): any => {
    return obj[key];
}
let obj = {
    a: 'a',
    b: 'b'
}
let res = getProps(obj, "c");
console.log(res);

如上 K extends keyof T 的含義為，key 只能是在 obj 當中存在的屬性，如果指定的 key 在 obj 當中不存在就不允許獲取