TypeScript中如何正确定义带条件参数约束的函数？

希望实现一个接收两个参数a和b的函数，满足以下条件：

• 当参数b为number类型时，参数a可以是任意类型；
• 当参数b为string类型时，参数a必须同样为string类型。

尝试通过交叉类型组合两个函数类型：

type F1 = <T>(a: T, b: number) => string
type F2 = (a: string, b: string) => string

const f: F1 & F2 = (a, b) => ...

调用时类型检查正常，但定义函数时a和b被视为any类型，导致实现出错。

方法1：使用TypeScript函数重载 #

这是最符合TS设计习惯的方案，通过定义重载签名约束调用时的类型规则，实现签名处理具体逻辑：

// 重载签名：约束外部调用的类型规则
function f<T>(a: T, b: number): string;
function f(a: string, b: string): string;

// 实现签名：处理内部逻辑，参数类型需兼容所有重载情况
function f(a: unknown, b: number | string): string {
  if (typeof b === 'string') {
    // 通过类型守卫确定b是string后，断言a为string（符合重载规则）
    return `字符串模式：${a as string}，${b}`;
  } else {
    // b是number时，a可以是任意类型
    return `数字模式：${a}，${b}`;
  }
}

// 调用验证
f(3, 3); // ✅ 正常
f(true, 3); // ✅ 正常
f('3', '3'); // ✅ 正常
f(3, '3'); // ❌ 类型错误

方法2：使用条件类型定义函数类型 #

通过条件类型直接关联a和b的类型约束，实现时配合类型守卫处理逻辑：

type F = <B extends number | string>(
  a: B extends string ? string : unknown,
  b: B
) => string;

const f: F = (a, b) => {
  if (typeof b === 'string') {
    return `字符串模式：${a as string}，${b}`;
  } else {
    return `数字模式：${a}，${b}`;
  }
};

方法3：改进交叉类型实现 #

如果坚持使用交叉类型，可以显式指定参数的联合类型，通过类型守卫避免any：

type F1 = <T>(a: T, b: number) => string;
type F2 = (a: string, b: string) => string;

const f: F1 & F2 = (a: unknown, b: number | string): string => {
  if (typeof b === 'string') {
    return `${a as string} 和 ${b}`;
  } else {
    return `${a} 和 ${b}`;
  }
};

• 函数重载的可读性最好，TS对重载的类型检查最严格，推荐优先使用；
• 条件类型方案更简洁，但需要手动断言类型，适合场景简单的情况；
• 交叉类型的改进方案可以保留原类型定义，但实现时需要手动处理类型兼容问题。

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