typescript - 在元组中使用映射类型

Question

我将如何在 TypeScript 中输入:

function arrayToObject(array, mapper) {
    const result = {};
    for(const item of array) {
        const [key, value] = mapper(item);
        result[key] = value;
    }
    return result;
}

// returns { '1': 2, '2': 4, '3': 6 }
arrayToObject([1,2,3], v => [v, v * 2])

具体来说，我想让 TypeScript 确保映射器的元组结果是有效的键和值。这不起作用:

function arrayToObject<TItem, TObject>(
    array: TItem[],
    mapper: (t: TItem) => [P in keyof TObject, TObject[P]]
)

Answer 1

假设 TS3.4 并使用 const assertions ，(可以更改该技术以支持 TS3.3 并且不需要这样的断言，但它很乏味)，我能想到的最强大的类型是:

function arrayToObject<A, K extends keyof any, V>
  (array: readonly A[], mapper: (x: A) => readonly [K, V]): { [P in K]: V } {
  const result = {} as { [P in K]: V };
  for (const item of array) {
    const [key, value] = mapper(item);
    result[key] = value;
  }
  return result;
}

const obj1 = arrayToObject([1, 2, 3] as const, v => [v, v * 2] as const)
// const obj1: {1: number, 2: number, 3: number}

const obj2 = arrayToObject(["a", "b", "c"] as const, k => [k, 0] as const);
// const obj2: {a: 0, b: 0, c: 0}

这至少会在映射器的返回类型中保留编译器知道的任何文字键值。类型系统对 higher rank types 的支持不多在一些特定的之外 generic function improvements所以我很难想出任何方法让编译器理解这一点，比如说，

const obj3 = arrayToObject(["a","b","c"] as const, k => [k, k] as const)

将以类型 {a: "a", b: "b", c: "c"} 而不是仍然正确但不是很具体的类型 {a:“a”|“b”|“c”，b:“a”|“b”|“c”，c:“a”|“b”|“c”。好吧。

希望对您有所帮助；祝你好运!