Question

我处于一种可以用以下示例总结的情况：

interface Config {
     readonly key: string,
     readonly config: number,
}

// narrow typed array
const arr = [{key:"hi", config:34}, {key:"hello", config:75}] as const;

function fn<T extends ReadonlyArray<Config>>(configs: T) {

    type ks = T[number]['key'];
    type cs = T[number]['config'];

    return {} as {
        [K in ks]: cs
    }
}

const res = fn(arr);

我需要{hi:34, hello:75}作为返回类型，但是目前res的类型是{hi:34|75, hello:34|75}。我不知道我应该在cs上执行什么其他类型的操作才能获得所需的东西，也不知道使用cs是否是正确的方法。

Answer 1

您可以用户提取以获取与当前键对应的元组项的并集中的项：

interface Config {
    readonly key: string,
    readonly config: number,
}

// narrow typed array
const arr = [{key:"hi", config:34}, {key:"hello", config:75}] as const;

function fn<T extends ReadonlyArray<Config>>(configs: T) {

    type ks = T[number]['key'];
    type cs = T[number];

    return {} as {
        [K in ks]: Extract<cs, {key: K}>['config']
    }
}

const res = fn(arr); // { hi: 34; hello: 75; }

如何返回从TS中的数组提取的对应（按索引）窄类型的记录

1 个答案: