小编Aeg*_*gis的帖子

我的问题有两个：

1. 我想知道 TypeScript 中是否有一种方法可以将泛型限制为某种文字类型。我的意思是这样的function foo<T is a string literal>(...)。我最接近这种行为的是function foo<T extends string>，但这允许字符串文字和类型“string”本身作为 T 的值的联合。
2. 如果这在 TypeScript 2.1 中不可能实现，那么从设计角度来看实现这样的功能是否有意义？

我的用例是定义一个柯里化函数，prop如下所示：

function prop<K extends string, U>(name: K): <T extends { [P in K]: U  }>(obj: T) => T[K] {
    return (obj) => obj[name];
}

prop<'name', number>("name")({
    name: 3
})

K如果是字符串文字，则此示例按预期工作，但函数类型的类型检查K会失败string。

我知道这有点做作；请注意，我的目标不是解决实际问题（尽管它会），而是更多地尝试 TypeScript 的类型系统。

谢谢你！