定义类型以使用类型选择的键创建对象似乎被破坏了

Question

为什么这不起作用？

class Demo<T, ArrayOfKeysOfT extends (keyof T)[]> {
    constructor(args: {[index in keyof ArrayOfKeysOfT]: T[ArrayOfKeysOfT[index]]}) {
        args;
    }
}

我得到的错误说

类型 ArrayOfKeysOfT[index] 不能用于索引类型 T。

但是看起来这段代码应该没问题。我不确定这是设计使然还是 Typescript 中的错误。

更新

我意识到这里的问题是ArrayOfKeysOfT[index] 其中index 是keyof ArrayOfKeysOfT 类型不仅导致包含ArrayOfKeysOfT 的所有成员的类型，而且还包含数组的所有不同键一般（长度、推送、弹出等），这就是为什么它不能用于键入 T 类型。

我想要完成的是以下内容。

假设我定义了一些接口

interface Example {
    one: string;
    two: boolean;
}

那么这应该是允许的

new Demo<Example, ['one', 'two']>({
    one: "some string",
    two: false
});

这应该会导致编译器错误，因为 'two' 不在类型参数数组中

new Demo<Example, ['one']>({
    one: "some string",
    two: false
});

这应该会导致编译器错误，因为三不是第一个类型参数参数的键

new Demo<Example, ['one', 'two', 'three']>({
    one: 'some string',
    two: true,
    three: 4
});

最后这应该不起作用，因为分配给 args 对象中成员“two”的值类型错误

new Demo<Example, ['one', 'two']>({
    one: "some string",
    two: "another string"
});

Answer 1

class Demo<T, ArrayOfKeysOfT extends (keyof T)[]> {
    constructor(args: {[P in ArrayOfKeysOfT[number]]: T[P]}) {
        console.log(args);
    }
}

interface ABC {
    a: number;
    b: string;
    c: boolean;
}

const demo1 = new Demo<ABC, ['a', 'b']>({ 'a': 0, 'b': 'hi' }); // works!
const demo2 = new Demo<ABC, ['a', 'd']>({ 'a': 0, 'd': null }); // ERROR - Type '["a", "d"]' does not satisfy the constraint '("a" | "b" | "c")[]'
const demo3 = new Demo<ABC, ['c']>({ 'c': 'not a boolean' }); // ERROR - Type 'string' is not assignable to type 'boolean'.
const demo4 = new Demo<ABC, ['b', 'c']>({ 'a': 0 }); // ERROR - argument of type '{ 'a': number; }' is not assignable to parameter of type '{ b: string; c: boolean; }'.

我很乐意提供帮助！

更新：

只是想提醒您（或让您知道）标准 TypeScript 库中存在内置的 Pick<T, K> 实用程序类型，这使得 Demo 类型有点多余：

let a: Pick<ABC, 'a' | 'b'> = {'a': 2, 'b': 'hello'};