TypeScript判别式联合参数类型问题：参数类型依赖另一参数

问题核心 #

你遇到的问题本质是TypeScript无法自动关联两个独立参数的类型约束。虽然你通过switch判断了template的具体值，但TypeScript不会把这个判断结果和params的类型绑定——params仍会被视为所有CreateTemplateXParams的联合类型，导致分支中访问特定属性时出现类型不兼容报错。

为什么无法自动收窄？ #

假设你的原始代码是类似这样的：

type CreateTemplate1Params = { x: string; z: number };
type CreateTemplate2Params = { y: boolean };

function sendTemplate(
  template: 'template1' | 'template2',
  params: CreateTemplate1Params | CreateTemplate2Params
) {
  switch (template) {
    case 'template1':
      console.log(params.x); // 报错：params可能是CreateTemplate2Params，缺少x、z属性
      break;
  }
}

这种写法中，template和params是两个完全独立的联合类型，TypeScript没有任何依据认为“当template是template1时，params一定是CreateTemplate1Params”。它只会对单个变量做类型收窄，无法跨变量建立关联关系。

解决方法：用泛型+类型映射绑定参数关系 #

要让TypeScript能正确推断并收窄params的类型，需要通过泛型将template的类型和params的类型做明确绑定，搭配类型映射来定义每个模板对应的参数类型：

// 1. 定义所有模板标识的联合类型
type TemplateId = 'template1' | 'template2';

// 2. 定义模板与参数的映射关系
type TemplateParamMap = {
  template1: { x: string; z: number }; // 对应CreateTemplate1Params
  template2: { y: boolean }; // 对应CreateTemplate2Params
};

// 3. 用泛型关联template和params的类型
function sendTemplate<T extends TemplateId>(
  template: T,
  params: TemplateParamMap[T]
) {
  switch (template) {
    case 'template1':
      // 这里params会自动收窄为TemplateParamMap['template1']，可以安全访问x、z
      console.log(params.x, params.z);
      break;
    case 'template2':
      // params自动收窄为TemplateParamMap['template2']，可以安全访问y
      console.log(params.y);
      break;
  }
}

// 调用时自动校验参数类型
sendTemplate('template1', { x: 'test', z: 100 }); // 合法
sendTemplate('template2', { y: true }); // 合法
sendTemplate('template1', { y: false }); // 报错：参数类型不匹配

这种写法通过泛型T将template的具体类型传递给params，让TypeScript明确知道：当template是某个具体值时，params必须是对应的参数类型，从而在switch分支中自动完成类型收窄。

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