基于属性联合类型的TypeScript类型收窄：定义带FooDetails的Item专属类型

原有泛型写法的问题根因 #

之前编写的类型最终解析为never，核心是两个技术误用点：

• 错用Extract工具类型：Extract的作用是从给定联合类型中提取与目标类型兼容的成员，原写法中传入字面值'details'作为比对目标，相当于要求「Item对象类型本身是字符串'details'」，匹配结果自然为never
• 逻辑匹配方向错误：没有针对details字段的值类型做约束，反而针对键名字符串做无意义的类型对比

正确实现方案 #

方案1：直接定义精确结构类型 #

如果项目中通用字段变动不频繁，最直白的实现是直接声明对应变体的完整结构，完全消除对原有联合类型的运行时依赖：

type FooItem = {
  name: string;
  details: FooDetails;
}

type Props = {
  item: FooItem;
}

这种实现的优势：

• 类型推导零额外开销，编译速度最快
• 彻底排除BarDetails的联合分支，组件内部访问item.details.foo时不需要任何类型收窄判断
• 类型结构自包含，不会因为原Item类型的后续修改产生非预期兼容问题

方案2：可复用泛型的变体提取实现 #

如果Item后续会新增id、createdAt等多个通用字段，每次手动写变体结构容易遗漏字段，可以通过两种更简洁的泛型逻辑实现提取：

实现A：Omit交叉拼接（最易读）

直接移除原类型中details字段的原有约束，重新拼接目标类型，不需要依赖分布式条件类型的特性：

type ItemWithDetails<TDetail> = Omit<Item, 'details'> & { details: TDetail };

// 推导结果为 { name: string; details: FooDetails }，不会返回never
type Props = {
  item: ItemWithDetails<FooDetails>;
}

实现B：条件类型字段提取

如果需要保留对原有联合结构的类型判断（比如需要兼容后续Item本身拆分为联合类型的场景），可以修正原有的条件类型逻辑，通过infer提取字段的实际值类型做匹配：

type ItemWithDetails<TDetail> = Item extends infer Candidate 
  ? Candidate extends { details: infer ActualDetail }
    ? ActualDetail extends TDetail 
      ? Candidate 
      : never
    : never
  : never;

冗余运行时代码的清理 #

当Props类型替换为上述精准定义后，TypeScript已经在静态层面完全排除了传入BarDetails实例的可能，之前在组件内部写的in操作符判断、错误抛出逻辑属于完全冗余的代码，可以直接删除。

注：上述泛型实现的兼容性覆盖所有TS 3.5+版本，不需要额外的配置调整。

内容的提问来源于stack exchange，提问作者Jakob Gaard Andersen