TypeScript中如何避免泛型类型参数的分布式类型展开？

你遇到的核心问题是分布式条件类型和泛型默认值结合导致的类型松散匹配。让我们一步步拆解原因，再给出针对性的解决方案：

问题根源分析 #

你原代码中的TypeOf<T>是一个典型的分布式条件类型：

type TypeOf<T> = T extends "NUM" ? number : T extends "STR" ? string : never;

当TypedValue使用默认泛型参数ValueType（即"NUM" | "STR"）时，TypeOf<ValueType>会被自动分布式展开，最终变成number | string。这使得TypedValue的实际类型等价于：

{ type: "NUM" | "STR"; data: number | string }

TypeScript的结构类型检查只会验证type是指定枚举值之一、data是允许类型之一，不会强制两者的配对关系——这就是test3能意外通过编译的原因。

你提到的[T] extends ["NUM"]抑制分布的技巧之所以无效，是因为它会让条件判断针对整个联合类型而非单个成员：当T是"NUM" | "STR"时，[T] extends ["NUM"]和[T] extends ["STR"]都不成立，最终TypeOf<T>会变成never，显然不符合你的需求。

解决方案：用映射类型生成严格绑定的联合类型 #

要实现type和data的严格绑定，我们可以用映射类型预先生成所有合法的类型配对，再将它们合并为一个联合类型：

// 定义类型映射表，明确每个type对应的data类型
type TypeMap = {
  NUM: number;
  STR: string;
};

// 提取所有合法的type值
type ValueType = keyof TypeMap;

// 生成所有合法的TypedValue联合类型（自动绑定type和data）
type TypedValue = {
  [K in ValueType]: { type: K; data: TypeMap[K] }
}[ValueType];

// 若需要指定具体类型的泛型版本，可额外定义
type TypedValueOf<K extends ValueType> = { type: K; data: TypeMap[K] };

验证效果 #

• 符合预期，可编译：

  const test1: TypedValue = { type: "NUM", data: 123 };
  

• 符合预期，不可编译：

  const test2: TypedValueOf<"NUM"> = { type: "NUM", data: "123" }; // 类型"123"不能赋值给number
  

• 现在不可编译（符合你的期望）：

  const test3: TypedValue = { type: "NUM", data: "123" }; // 类型"{ type: "NUM"; data: string; }"不能赋值给TypedValue
  

补充：分布式条件类型的核心逻辑 #

正如你给出的例子所示：

type Pairs1<T> = [T, T];
type Pairs2<T> = T extends (infer X) ? [X, X] : never;

type P1 = Pairs1<"A" | "B">; // => ["A" | "B", "A" | "B"]
type P2 = Pairs2<"A" | "B">; // => ["A", "A"] | ["B", "B"]

分布式条件类型（T extends U ? X : Y）的核心特性是：当T是联合类型时，会自动将联合类型的每个成员单独代入条件判断，最终将结果合并为新的联合类型。而普通泛型则会将整个联合类型作为一个整体处理。

这种特性在某些场景下很有用，但当你需要严格绑定多个类型字段时，就需要用映射类型来替代，确保每个配对都是严格对应的。

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