为何TypeScript无法根据第一个参数识别第二个参数的类型？

核心问题 #

TypeScript 无法自动追踪两个参数之间基于泛型条件类型的关联关系。虽然你通过T extends Types.A ? A : B把second的类型和first的泛型T绑定，但在函数内部对first做类型收窄时，编译器没办法同步推导second的类型也应该对应收窄——它只会把second当成A | B的联合类型处理，所以访问second.a会报错。

你第二个例子能正常工作，是因为那是泛型类型的兼容传递：fn的T extends Types.A是fnWithMultipleTypes中T extends Types.A | Types.B的子类型，参数可以直接传递，这和条件类型的关联收窄是完全不同的场景。

解决方案 #

1. 使用判别联合类型（推荐）

把两个参数合并成一个带判别式的联合类型对象，让TypeScript可以通过判别式自动完成类型收窄：

enum Types {
  A = "a",
  B = "b",
}

type A = { type: Types.A; data: { a: string } };
type B = { type: Types.B; data: {} };

type FnArgs = A | B;

function fn(args: FnArgs) {
  if (args.type === Types.A) {
    args.data.a; // 正确识别为对应类型，无报错
  }
}

2. 使用函数重载

通过重载明确声明不同参数组合对应的类型，编译器会根据传入的参数匹配对应的重载规则：

enum Types {
  A = "a",
  B = "b",
}

type A = { a: string };
type B = {};

// 重载声明
function fn(first: Types.A, second: A): void;
function fn(first: Types.B, second: B): void;

// 函数实现
function fn(first: Types.A | Types.B, second: A | B) {
  if (first === Types.A) {
    (second as A).a; // 实现中需断言，调用时会自动校验类型
  }
}

// 调用示例（自动校验）
fn(Types.A, { a: "test" }); // 合法
fn(Types.B, {}); // 合法
fn(Types.A, {}); // 报错，符合预期

3. 类型断言（临时 workaround，不推荐）

如果不想修改函数结构，可以在收窄后对second做类型断言，但这会跳过TypeScript的类型检查，存在安全风险：

enum Types {
  A = "a",
  B = "b",
}

type A = { a: string };
type B = {};

function fn<T extends Types.A | Types.B>(
  first: T,
  second: T extends Types.A ? A : B
) {
  if (first === Types.A) {
    (second as A).a; // 断言为A类型，消除报错
  }
}

总结 #

TypeScript的泛型条件类型在函数参数关联时，无法自动进行跨参数的类型收窄。最安全且符合TypeScript设计理念的方式是使用判别联合类型，其次是函数重载，类型断言仅作为临时替代方案使用。

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