如何让TypeScript根据一个函数参数类型推断另一个参数类型？

你希望实现的效果是：在函数内判断err存在并抛出后，TypeScript能自动识别data的类型为string，而非string | undefined。先分析你之前尝试的两种写法失效的原因，再给出可行的解决方案：

现有写法失效原因 #

• 泛型约束写法：泛型参数的条件类型Err extends Error ? undefined : string仅在函数调用阶段生效，函数内部的控制流分析无法反向关联Err和Data的类型关系，因此仍会判定data可能为undefined。
• 函数重载写法：重载签名仅约束函数的外部调用方式，函数体内部的类型检查仍基于实现签名err: Error | undefined, data: string | undefined，控制流分析不会因重载签名细化内部类型推断。

可行实现方案 #

方案1：联合类型参数定义（推荐） #

直接从输入层面约束err和data的互斥关系，确保两者不会同时为有效或无效：

function someFunc(args: { err: Error; data: undefined } | { err: undefined; data: string }) {
  if (args.err) throw args.err;
  args.data.length; // TypeScript自动推断data为string，无类型错误
}

方案2：断言函数 #

通过断言函数明确告知TypeScript，执行后err一定为undefined，结合业务逻辑关联data的类型：

function assertNoErr(err: Error | undefined): asserts err is undefined {
  if (err) throw err;
}

function someFunc(err: Error | undefined, data: string | undefined) {
  assertNoErr(err);
  data.length; // 此时data被自动推断为string
}

方案3：内部类型守卫兜底 #

如果不想抽离断言函数，也可以在函数内部通过类型守卫强化推断（可选兜底判断，确保严谨性）：

function someFunc(err: Error | undefined, data: string | undefined) {
  if (err) throw err;
  // 兜底判断进一步明确类型
  if (!data) throw new Error("Unexpected undefined data");
  data.length; // TypeScript推断data为string
}

总结 #

该需求完全可以实现，无需添加冗余的data判断。优先推荐联合类型参数的写法，从根源上避免类型歧义；断言函数则更适合需要复用判断逻辑的场景。

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