在 Typescript 中，如何修改使用通用键获得的数组类型的属性

目前在TypeScrip中没有本机KeysMatching<T, V>类型运算符，其中编译器实际理解对于generic、T和V来说，T[KeysMatching<T, V>]是可赋值给V的.您可以实现您自己的版本，如问题代码所示，但如您所见，它在泛型函数实现中并不能像预期的那样工作.microsoft/TypeScript#48992有一个开放的特性请求来支持这类事情，但目前它还不是语言的一部分.

除非情况发生变化，否则我们将需要解决这个问题.一种解决方法是更改generic constraint的方向，以便对象类型O extends Record<K, string[]>(使用Record<K, V> utility type)代替现有约束Where K extends KeysMatching<O, string[]>，或除了现有约束Where K extends KeysMatching<O, string[]>之外.这些从不同的Angular 代表了相同或相似的东西.如果你同时做这两件事，结果会是这样:

function append<
  O extends Record<K, string[]>, 
  K extends KeysMatching<O, string[]>
>(obj: O, key: K, item: O[K][number]) {
  obj[key].push(item); // okay
}

现在编译器知道obj[key]可赋值给string[]，因此接受item.我们还可以更简单地将item的类型编写为O[K][number]，而不是conditional type；既然编译器知道O[K]是数组类型，我们就可以直接用number进行index into it来获得元素类型.

让我们确保它仍然可以从调用方的预期中运行:

function foo(thing: Thing) {
  append(thing, "a", "!"); // okay
  append(thing, "b", "2"); // okay
  append(thing, "c", "3"); // error!
  // ---------> ~~~ 
  // Argument of type '"c"' is not assignable to parameter of 
  // type 'KeysMatching<Thing, string[]>'.
  append(thing, "b", "!"); // error
  // --------------> ~~~
  // Argument of type '"!"' is not assignable to parameter of 
  // type '"1" | "2" | "3"'.  
}

看上go 不错.

Playground link to code个