TypeScript：如何根据name字段约束对应data属性的条件类型？

你遇到的场景其实正是TypeScript**判别式联合类型（Discriminated Union）**的典型应用场景，它能完美保证name和data的类型一一对应，彻底避免name: "a"却搭配data: BParams这种不符合预期的组合。

先说说你原来写法的问题 #

你定义的Data是把name和data各自的联合类型直接组合，这会让TypeScript允许所有可能的交叉组合（比如name: "a" + data: BParams），无法达到你想要的类型约束效果。

方案1：手动定义判别式联合 #

这是最直接的实现方式，把每个合法的name-data组合单独作为联合类型的成员：

type AParams = { hello: string };
type BParams = { world: string };

// 每个联合成员都明确绑定name和对应的data类型
type Data = 
  | { name: "a", data: AParams }
  | { name: "b", data: BParams };

这样定义后，TypeScript会自动识别name作为这个联合类型的判别式。当你通过name的值收窄类型时，data的类型会自动对应到正确的参数类型：

function processData(data: Data) {
  switch(data.name) {
    case "a":
      // 这里data.data被自动推断为AParams，可以安全访问hello属性
      console.log(data.data.hello);
      // 如果尝试访问data.data.world，TypeScript会立即报错
      break;
    case "b":
      // 这里data.data自动是BParams，只能访问world属性
      console.log(data.data.world);
      break;
  }
}

方案2：用映射类型实现可扩展的判别式联合 #

如果你的场景需要支持更多name和参数类型的组合，手动写联合成员会很繁琐。这时候可以用映射类型自动生成判别式联合，扩展性更强：

type AParams = { hello: string };
type BParams = { world: string };

// 先定义名称到参数类型的映射表
type ParamsMap = {
  a: AParams;
  b: BParams;
  // 以后新增类型直接在这里添加，比如 c: CParams
};

// 通过映射生成每个name-data组合，再取所有值的联合
type Data = {
  [K in keyof ParamsMap]: { name: K; data: ParamsMap[K] };
}[keyof ParamsMap];

这种方式的好处是，后续新增类型只需要修改ParamsMap，不需要手动维护Data的联合成员，TypeScript会自动帮你生成正确的约束。

总结 #

判别式联合是TypeScript处理这类“关联类型约束”场景的最佳实践，它不仅能强制name和data的类型对应，还能在类型收窄时提供精确的类型推断，让你的代码更安全、更易维护。

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