来自通用参数的Typescript 对象键

您肯定需要类似于Entry<A, B>的定义来表示已知在A和B键处有number属性的内容.仅仅说A和B是keyof typeof data是不够的，因为编译器都知道，keyof typeof data处可能有非数字属性(实际上，name属性是非数字的).

此外，您不希望data是generic类型T extends Entry<A, B>.constraint是一个上限，所以T可以是非常具体的东西，比如{name: string, pi: 3.14, e: 2.72}，属性为number literal type.可分配给3.14类型的唯一值是3.14，因此编译器正确地阻止您将row[a] * row[b]分配给row[a].所以我们只希望data是Entry<A, B>型，而不是Entry<A, B>的某个未知亚型.这给了我们:

function update<A extends string, B extends string>(data: Entry<A, B>[], a: A, b: B) {
  for (const row of data) {
    console.log(row.name, row[a] * row[b]);  
    row[a] = row[a] * row[b]; // error!  Type 'number' is not assignable to type 'Entry<A, B>[A]'
  }
}

任务中有still breaks个.编译器无法看到number可分配给Entry<A, B>[A].十字路口有些地方让人困惑.我认为这是TypeScript的一个局限性(尽管有人可能会争辩说，如果A是"name"，那么Entry<A, B>[A]是number & string类型，也称为never，因此编译器警告您number不一定可以分配给Entry<A, B>[A]是正确的，但在我看来，这很迂腐，在大多数情况下并不特别有用).我在GitHub中没有发现谈论它的特殊问题.

另一方面，编译器can看到number可指派给Record<A, number>[A].由于Entry<A, B>是Record<A, number>的一个子类型，因此我们可以通过将其分配给一个新变量，并使用适当的type annotation将row安全地扩大到Record<A, number>(将上述"name"学究的数量进行模数化):

function update<A extends string, B extends string>(data: Entry<A, B>[], a: A, b: B) {
  for (const row of data) {
    console.log(row.name, row[a] * row[b]);
    const r: Record<A, number> = row; // okay
    r[a] = row[a] * row[b];
  }
}

现在一切正常:

update([{ name: 'X', percentage: 1, value: 2 }], 'percentage', 'value');
update([{ name: 'X', foo: 1, bar: 2 }], 'foo', 'bar');

Playground link to code