减速机蓄能器的合适型号

Question

如何描述以下代码的result和acc类型？

const arr = ['a', 'b', 'c'] as const;

const result = arr.reduce((acc, item, idx) => {
    return {
      ...acc,
    [item]: idx,
  }
}, {});

取决于迭代acc可以是：

1. {}
2. 一个号码
3. a：数字，b：数字
4. a：编号，b：编号，c：编号

首先我使用了这段代码：

type MyResult = Record<typeof arr[number], number>; //  
type MyAcc = Partial<MyResult>;

但这是不正确的：

  Types of property 'a' are incompatible.
    Type 'number | undefined' is not assignable to type 'number'.
      Type 'undefined' is not assignable to type 'number'.(2322)

操场

Answer 1

这是我的方法：

type ArrayItemType<A extends ReadonlyArray<any>> = A[number];

const arr = ['a', 'b', 'c'] as const;

type KeyIndexes = Record<ArrayItemType<typeof arr>, number>;

const result = arr.reduce((acc, item, idx) => {
    return {
      ...acc,
    [item]: idx,
  }
}, {} as KeyIndexes);

KeyIndexes是有效的：

{
  a: number,
  b: number,
  c: number
}

...正如你在这个操场上看到的那样

我意识到从技术上讲，初始化器和累加器在归约的所有阶段都不是这种类型的反对意见，但是 TypeScript 确实没有办法弄清楚部分结果如何变成完整结果，所以你需要在反正有一点。

更新

如果您真的关心累加器的类型与结果的类型不同，则可以相应地调整类型，但您必须进行一些更难看的转换：

type ArrayItemType<A extends ReadonlyArray<any>> = A[number];

const arr = ['a', 'b', 'c'] as const;

type KeyIndexes = Record<ArrayItemType<typeof arr>, number>;

const result = arr.reduce((acc: Partial<KeyIndexes>, item, idx) => {
    return {
      ...acc,
    [item]: idx,
  }
}, {}) as KeyIndexes;

（见操场）