TypeScript交叉联合类型在5个守卫属性后失效问题求助

问题原因 #

你的实现依赖了联合类型的分布式条件类型，而TypeScript存在内置的类型推断限制：当联合类型的成员数量超过4个时，编译器会停止精细化的分布式处理，将其拓宽为更宽泛的类型（如unknown），导致InstanceImplements无法正确匹配类实例的类型，最终触发赋值报错。这个限制是TypeScript的性能优化机制，避免复杂类型推断带来的编译性能下降。

解决方案 #

改用映射类型+条件类型的组合逻辑，替代依赖联合类型的实现，支持任意数量的启用属性。以下是完整实现：

核心类型定义 #

// 自动映射启用属性到对应功能的类型
type EnabledFeatureMap<T> = {
  [K in keyof T as K extends `${infer F}Enabled` ? F : never]: 
    T[K] extends boolean ? T[`${F}Enabled`] extends true ? T[F] : never : never;
};

// 未检查任何启用属性时的基础实例类型：隐藏所有功能属性
type BaseInstance<T> = Omit<T, keyof EnabledFeatureMap<T>>;

// 检查后的实例类型：根据已启用的属性开放对应功能
type CheckedInstance<T, Enabled extends keyof T = never> = 
  BaseInstance<T> & 
  { [K in keyof EnabledFeatureMap<T> as `${K}Enabled` extends Enabled ? K : never]: EnabledFeatureMap<T>[K] };

// 通用类型守卫：检查启用属性并缩小实例类型
function isFeatureEnabled<T, F extends string>(
  instance: BaseInstance<T> | CheckedInstance<T>,
  feature: F
): instance is CheckedInstance<T, `${F}Enabled`> {
  return !! (instance as any)[`${feature}Enabled`];
}

使用示例 #

class Test {
  FooEnabled: boolean = false;
  Foo() {}
  BarEnabled: boolean = false;
  Bar() {}
  BazEnabled: boolean = false;
  Baz() {}
  QuxEnabled: boolean = false;
  Qux() {}
  CorgeEnabled: boolean = false;
  Corge() {}
  // 可无限制添加更多启用-功能对
}

const test = new Test();
test.Foo(); // 报错：Foo属性不存在（符合预期）

// 方式1：使用类型守卫函数
if (isFeatureEnabled(test, 'Foo')) {
  test.Foo(); // 允许调用（符合预期）
}

// 方式2：直接检查启用属性，TypeScript自动缩小类型
if (test.BarEnabled) {
  test.Bar(); // 允许调用（符合预期）
}

方案优势 #

• 自动推导启用属性与功能的映射关系，无需手动维护联合类型成员
• 支持任意数量的启用-功能对，不受原4个成员的限制
• 同时支持类型守卫函数和原生属性检查两种类型缩小方式

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