类型检查类型的索引值

Question

我有一些通用接口：

interface IProps<T> {
    item: T;
    key: keyof T;
}

如何确保item[key] 是字符串或数字类型，以便item[key] 可用于索引Record<string | number, string>？

我正在使用 typescript v3.9

Answer 1

可以使用这样的自定义类型来代替泛型类型：

interface PropType {
   [key: string]: string | number;
}

Answer 2

我认为你正在寻找这样的东西：

interface IProps<T extends Record<string, string | number>> {
  item: T;
  key: keyof T;
}

type Test1 = IProps<{ age: 1 }> // ok
type Test2 = IProps<{ age: '42' }> // ok
type Test3 = IProps<{ age: ['42'] }> // error

Answer 3

您可能想要一个更严格的类型，而不是使用keyof T，它只允许具有string | number 值的键。这是一个解决方案：

type KeysAssignableTo<T, V> = {[K in keyof T]: T[K] extends V ? K : never}[keyof T]

interface IProps<T> {
    item: T;
    key: KeysAssignableTo<T, string | number>;
}

例子：

const item = {foo: 1, bar: true}

// OK
const testOK: IProps<typeof item> = {item, key: 'foo'}
// error: Type 'bar' is not assignable to type 'foo'
const testBad: IProps<typeof item> = {item, key: 'bar'}

Playground Link