使用TypeScript，我可以键入getProperty< T的咖喱版本，K扩展T>的键.

问题描述

来自 https://www.typescriptlang.org/docs/handbook的示例/advanced-types.html

function getProperty<T, K extends keyof T>(o: T, name: K): T[K] {
    return o[name]; // o[name] is of type T[K]
}

当前版本:

function curriedGetProperty<T, K extends keyof T>(name: K): (o: T) => T[K] {
    return (o: T) => o[name]; // o[name] is of type T[K]
}

const record = { id: 4, label: 'hello' }

const getId = curriedGetProperty('id') // Argument of type '"id"' is not assignable to parameter of type 'never'.

const id = getId(record)

推荐答案

type WithProp<T extends any, K extends string> = { [P in K]: T[P] }

function curriedGetProperty <P extends string>(prop: P) {
  return <T, O extends WithProp<T, typeof prop>>(o: O) => {
    return o[prop]
  }
}

似乎打字更安全.

const getId = curriedGetProperty('id')
getId({id: 'foo'}) // returns string
getId({label: 'hello'}) // fails

这篇关于使用TypeScript，我可以键入getProperty< T的咖喱版本，K扩展T>的键.的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！