为何TypeScript会拒绝带泛型的foo()函数定义？

TypeScript拒绝foo()定义的核心原因是泛型参数默认推断时的类型计算冲突，具体拆解如下：

1. 未指定B时的类型推断逻辑
   当你没有显式指定泛型参数B时，TypeScript会尝试将其推断为约束的最宽泛类型——也就是AnyTypedObject。此时TypedObject<B>等价于AnyTypedObject | Core，但AnyTypedObject的定义{ type: string; } & { [key: string]: any; }会被TypeScript视为等价于{ [key: string]: any; }（索引签名覆盖了明确的type字段类型），导致B['type']被解析为any。

2. Types<B>的错误计算
   理论上Types<B>应该是Core['type'] | B['type']（即'core-1' | 'core-2' | any），但TypeScript在泛型定义阶段（而非调用阶段）会尝试对约束进行严格检查：它不会将Types<B>视为联合类型，而是试图计算所有可能type值的交集。由于Core包含两个互斥的type值（'core-1'和'core-2'），它们的交集是never，这就导致K extends Types<B>的约束被错误地解析为K extends never，而默认值Types<B>（包含'core-1'等）自然无法赋值给never，最终触发报错。

3. 显式指定B时正常的原因
   当你显式指定B为具体的联合类型（比如Extension），Types<B>会被计算为明确的、有限的联合类型（'core-1' | 'core-2' | 'extension' | 'other'），此时K extends Types<B>的约束清晰明确，默认值也完全符合约束，因此函数调用不会报错。

针对这个问题，有几种可行的调整方式：

• 给B设置默认类型
  让B的默认类型为never，这样未指定B时，Types<B>就是Core['type']，约束和默认值都明确：

  function foo<B extends AnyTypedObject = never, K extends Types<B> = Types<B>>(
      input: PureType<B, K>,
  ) {
      return input;
  }
  

• 调整AnyTypedObject的定义
  修改AnyTypedObject，避免索引签名覆盖type字段的类型：

  type AnyTypedObject = { type: string } & Omit<{ [key: string]: any }, 'type'>;
  

  这样B['type']会被保留为string，而非被索引签名隐式转换为any，能减少类型计算的歧义。

• 简化泛型参数结构
  直接将K的约束绑定到Core['type'] | B['type']，避免依赖Types<B>的间接计算：

  function foo<B extends AnyTypedObject, K extends (Core['type'] | B['type']) = (Core['type'] | B['type'])>(
      input: { type: K },
  ) {
      return input;
  }
  

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