Conditional return type未被编译器识别，Angular开发求解决方案

你的实现存在类型关联逻辑的问题，并非TypeScript的正常行为。

问题根源 #

你当前的getStore方法返回类型写的是State<typeof store>，这里的typeof store是联合类型'FIELD1' | 'FIELD2'，TypeScript会对联合类型的条件类型做分发计算，最终返回类型被固定为Field1Type[] | Date。即便你传入的是具体的'FIELD1'字面量，编译器也无法自动将返回类型缩小到对应的Field1Type[]，因为方法本身的返回类型已经被设定为联合类型。

修正方案 #

把getStore改成泛型方法，让参数的具体类型绑定到泛型参数上，这样TypeScript就能根据传入的参数值精确推断返回类型：

public getStore<T extends 'FIELD1' | 'FIELD2'>(store: T): State<T> {
  return this[store];
}

原理说明 #

泛型参数T会被推断为你传入的具体字面量类型（比如'FIELD1'），此时State<T>会针对单个类型进行条件判断，返回对应的Field1Type[]或Date。这样调用getStore('FIELD1').length时，编译器能明确识别返回类型是数组，不会再提示联合类型的错误，直接在Angular组件HTML中调用也能正常工作。

内容的提问来源于stack exchange，提问作者dscham