推断数组对象的键类型

Question

我有下一个例子

type C = [
    {name: 'a'},
    {name: 'b'},
    {name: 'c'},
]

我想根据上面描述的类型C推断出一个新类型SomeType像这样

const a: SomeType<C> = {
    a: () => {},
    b: () => {},
    c: () => {},
}

这样就可以检查所有密钥。 下面的例子一定是无效的

const a: SomeType<C> = {
    a: () => {},
    b: () => {},
    // Error. "c" is not defined
}

我试图像在操场上一样解决我的问题，但我的解决方案没有检查所有键是否存在

Answer 1

您需要一个映射类型来从数组类型映射到您想要的类型：

type SomeType<T extends Array<{ name: string }>> = {
  [P in T[number]['name']]: () => void
}

游乐场链接

Answer 2

这是一种方法：

type SomeType<T extends { [k: number]: { name: string } }> =
    Record<T[number]['name'], () => void>;

它接受T 约束为具有数字索引签名的类型（例如数组），其元素具有string类型的name属性。

它评估为一个类型，其键是那些string可分配的name属性（使用T[number]['name'] ，一系列索引访问类型），其值类型是一个函数（我选择() => void但你可能有一个更具体的你关心的类型）。 这使用Record<K, V>实用程序类型来表示具有类型K的键和类型V的值的对象类型。

让我们试一试：

const ports: SomeType<C> = { // error, missing b and c
    a: () => { },
}    

const ports2: SomeType<C> = {
    unknownkey: () => { }, // error, unknown key in object literal 
                           // (note, only errors for object literal)
}

const ports3: SomeType<C> = { // okay
    a: () => { },
    c: () => { },
    b: () => { },
}

看起来不错！

Playground 代码链接