目前TypeScript中没有原生的KeysMatching<T, V>类型运算符，编译器实际上理解T[KeysMatching<T, V>]可分配给V，用于genericT和V。您可以实现您自己的版本，如问题代码所示，但正如您所看到的，它在泛型函数实现中并不像所期望的那样工作。在microsoft/TypeScript#48992上有一个开放的特性请求来支持这类东西，但现在它还不是语言的一部分。
除非这种情况改变，否则我们需要解决它。一种解决方法是更改通用约束的方向，使对象类型O extends Record<K, string[]>（使用Record<K, V>实用程序类型）代替现有约束（其中K extends KeysMatching<O, string[]>），或者在现有约束之外添加O extends Record<K, 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来得到元素类型。
让我们确保它仍然像预期的那样从调用者的Angular 工作：

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"'.  
}

型
看起来不错
Playground代码链接