TS2536：即使类型必须是键，也不能用作索引？

typeof keykeyof TData|string|string[]无论您传递给函数什么内容，它将始终是声明的类型。您想要捕获呼叫站点的类型，为此，您需要使用类型参数（必须扩展为keyof TData|string|string[]）。

class DataOwner<TData> {
  setKey<TKey extends keyof TData|string|string[]>(key: TKey, value: TKey extends keyof TData ? TData[TKey] : unknown) {
  }
}

let o = new DataOwner<{ a: string }>();
o.setKey("a", "") // ok 
o.setKey("a", 1) // errr
o.setKey("x", 1) // ok, since key can be any aritrary string 

玩

此值是受限制的IMO。由于key可以是任何字符串，因此传入不是键的任何内容都不会发生任何错误。

同样由于TKey可以string，尽管它也会扩展，但您不会得到任何建议keyof TData。就关键建议而言，多个重载将更好地工作，但仍然遭受我指出的第一个问题：

class DataOwner<TData> {
  setKey<TKey extends keyof TData>(key: TKey, value: TData[TKey]): void
  setKey(key: string|string[], value: unknown): void
  setKey(key: keyof TData|string|string[], value: unknown) {
  }
}

let o = new DataOwner<{ a: string }>();
o.setKey("a", "") // ok 
o.setKey("a", 1) // errr
o.setKey("x", 1) // ok, since key can be any arbitrary string 

玩

编辑正如注释中所指出的那样，重载在这里不能很好地工作，因为如果值不匹配，编译器将继续进行字符串重载，并且肯定会匹配，因为valueis是unknown，第一个选项是我们将要获得的最接近的值。