TypeScript：Store类内部泛型丢失问题及自定义类型谓词优化咨询

该现象不是TypeScript的未修复bug，属于语言设计机制下的正常表现，核心诱因有两点：

• 自定义类型谓词的类型匹配逻辑，默认仅保留谓词定义时声明的泛型上界，不会主动继承调用上下文传入值的精确泛型参数。原实现中定义的isAlpha将泛型上界硬编码为Alpha<AlphaVal> | Beta<BetaVal>，窄化分支中匹配到Alpha类型时，会自动将所有Alpha实例的泛型参数退回到上界AlphaVal，导致Alpha<{test: true}>这类具体类型被抹平。
• TypeScript的控制流窄化基于类型形状匹配，而非逐实例泛型溯源。哪怕入口处拿到的entry保留了精确泛型，只要窄化过程没有显式把原始泛型类型传递给谓词逻辑，结果就会回退到类定义时声明的泛型约束范围。

改造的核心思路是让类型守卫完全跟随调用时传入值的原始类型做匹配，不提前硬编码泛型上界，以此完整保留每个值类实例的泛型参数。
改造后的类型守卫实现：

// 移除原有的泛型上界限制，直接从传入值中提取Alpha类成员
const isAlpha = <T>(value: T): value is Extract<T, Alpha<any>> => {
  return value instanceof Alpha;
};

改造逻辑说明：

• 泛型参数T不再被硬约束为Alpha<AlphaVal> | Beta<BetaVal>，而是完全同步调用处的静态类型（即get方法内部通过索引访问得到的Entries[EntryId]类型）
• 谓词返回类型为Extract<T, Alpha<any>>，即从当前带完整泛型的传入值中，分离出属于Alpha类的成员，全程保留成员自带的泛型实参，不会回退到Alpha<AlphaVal>的上界
• 原有的AsAlpha自定义类型可以完全移除，Extract的推导逻辑已经覆盖所有场景

改造完成后，get方法内部的类型推导将和外部调用的表现完全一致：

• isAlpha分支内的entry会保留完整的Alpha<具体值类型>泛型，调用entry.get()返回的类型会自动匹配ValueFromEntry<Entries[EntryId]>的推导结果，不需要额外的强制类型断言
• 非Alpha分支的entry会自动收窄为Beta<具体值类型>，同样保留完整泛型参数
• 外部调用sampleStore.get('a')的类型推导逻辑不受任何影响，仍然会正确返回{test: true}类型

补充说明：泛型类内部对索引访问值做控制流窄化时，TypeScript存在一处已知的推导边界限制——如果窄化后的返回值和类声明的返回泛型存在轻微不匹配，仅需要通过类型交叉操作完成对齐即可，不需要使用全量强制断言。

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