Typescript 使用可選通用

Question

我有以下 function：

function prop<T extends Record<any, any>, K extends keyof T>(key: K): T[K] {
   
}

const v = prop<{ test: string }>('test')

問題是我必須通過第二個泛型才能正確推斷出密鑰。 有沒有辦法跳過第二個泛型並仍然將key推斷為keyof T ？

我不想做以下事情：

prop<{ test: string }, 'test'>('test')

Answer 1

您可以嘗試使用像這樣的默認泛型：

function prop<T extends Record<any, any>, K = keyof T>(key: K): T[K] {
   
}

const v1 = prop<{ test: string }>('test') // OK
const v2 = prop<{ test: string }>('test12') // ERROR