在方法中使用TypeScript联合类型时出错，求无类型断言的解决方案

我是TypeScript新手，遇到了一个类型错误。我有多个对象需向服务器发送数据，并返回同类型的新数据。这些对象共用同一发送方法，因此我用union类型指定方法可接收这两种类型，但出现了错误。简化版代码如下：

type A = {
  aField: string;
  aaField: string;
}

type B = {
  bField: string;
  bbField: number
}

type Student = A | B;

type Func = (student: Student) => Student;

const test = {
  aField: 'Test',
  aaField: 'Test Again'
}

const funcA = (a: A): A => {
  return a;
}
const funcB = (b: B): B => {
  return b;
}

const func = (student: Student): Student => {
  return student;
}

const component = (func: Func) => {
  return func;
}

component(func);

component(funcA); 

收到的错误信息：

Argument of type '(a: A) => A' is not assignable to parameter of type 'Func'.
Types of parameters 'a' and 'student' are incompatible.
Type 'Student' is not assignable to type 'A'.
Type 'B' is missing the following properties from type 'A': aField, aaField

请问有没有无需对每个函数进行类型断言的解决办法？

解决方案：使用泛型约束替代联合类型 #

核心问题在于Func类型要求函数能接收任意Student类型（A或B），但funcA只能处理A类型，无法兼容B类型，这违反了TypeScript的函数参数逆变规则——子类型函数不能直接赋值给父类型函数（父类型函数的参数范围更大）。

通过泛型约束可以完美解决这个问题，让函数只处理特定的Student子类型，同时保证输入输出类型一致：

type A = {
  aField: string;
  aaField: string;
}

type B = {
  bField: string;
  bbField: number
}

type Student = A | B;

// 泛型函数类型，约束T必须是Student的子类型
type Func<T extends Student> = (student: T) => T;

const test = {
  aField: 'Test',
  aaField: 'Test Again'
}

const funcA = (a: A): A => {
  return a;
}
const funcB = (b: B): B => {
  return b;
}

// 泛版通用处理函数
const func = <T extends Student>(student: T): T => {
  return student;
}

// 让component接收泛型函数
const component = <T extends Student>(func: Func<T>) => {
  return func;
}

component(func);
component(funcA); // 无类型错误
component(funcB); // 无类型错误

原理说明 #

• 泛型T extends Student确保函数仅处理Student的某个具体子类型，而非强制要求兼容所有Student类型。
• TypeScript会自动推断每个传入函数的T具体类型，比如funcA对应的T就是A，完全匹配Func<A>的类型要求，无需额外类型断言。

如果业务中需要在component内部统一处理不同子类型的函数，可以结合类型守卫（比如typeof、in操作符）来区分A和B类型，避免后续逻辑出现类型错误。

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