Typescript 是否有解释为什么默认情况下在泛型类型上访问的属性不是索引访问

我不知道它是否有explanation，但无论是好是坏，使用non-generic类型K的键索引到泛型类型T extends Constraint的对象将得到值non-generic类型Constraint[K]而不是T[K]；the generic type is widened to its constraint before indexing是真的:

function foo<T extends Constraint>(t: T) {
  const val = t.x; // const val: string
}

这在GitHub问题中被提到了几个地方，比如microsoft/TypeScript#33181上的this comment，或者microsoft/TypeScript#54160上的this comment.

它并没有真的说why是这样的.大概是因为这样做很方便:它使类型保持简单(有时是too简单)，这有助于提高编译器性能.但这主要是我的猜测，而不是任何权威的解释.

一般来说，当默认打字类型的启发式行为不受欢迎时，type annotation是一个合理的方法:

function foo<T extends Constraint>(t: T) {
  const val: T["x"] = t.x; // const val: T["x"]
}

是的，这是多余的，但它是有效的，所以它可能是你将得到的最好的.如果出于某种原因，您需要太多这样的索引，这会成为一个问题，您可以将"泛型索引"包装为一个函数并使用它:

interface Wrap<T> {
  get<K extends keyof T>(k: K): Wrap<T[K]>;
  val: T
}
const wrap = <T,>(t: T): Wrap<T> => ({
  get(k) { return wrap(t[k]) },
  val: t
})

function foo<T extends Constraint>(t: T) {
  const val = wrap(t).get("x").val // const val: T["x"]
}

interface DeepConstraint {
  a: { b: { c: { d: { e: { f: { g: number } } } } } }
}
function bar<T extends DeepConstraint>(t: T) {
  const val = wrap(t).get("a").get("b").get("c").get("d")
    .get("e").get("f").get("g").val;
  // const val: T["a"]["b"]["c"]["d"]["e"]["f"]["g"]
}

但这似乎并不值得.

Playground link to code个