TypeScript如何限定回调函数必须符合两种签名之一且排除其他情况？

嘿，我来帮你搞定这两个TypeScript回调类型的坑！咱们先拆解问题，再一步步修复。

问题根源分析 #

你当前用函数重载定义Callback类型，但TypeScript对重载函数的参数匹配逻辑比较宽松，而且实现签名的类型推断没有严格区分两种调用场景，才导致了这两个问题。

问题1：如何让c(undefined)被判定为错误？ #

原来的重载签名允许TS尝试匹配最接近的签名，但(undefined)这种调用其实不符合你期望的两种场景（要么传Error，要么传undefined+string）。我们可以把Callback改成元组联合类型，明确限定参数的两种合法组合：

// 明确回调只能是两种参数组合之一
type Callback = (...args: [Error] | [undefined, string]) => void;

function doThings(c: Callback) {
  c(undefined, '1'); // ✅ 合法
  c(new Error()); // ✅ 合法
  c(undefined); // ❌ 现在TS会报错：参数数量不匹配！
}

这样定义后，TS会严格检查参数的数量和类型，c(undefined)因为不符合任何一种元组组合，直接触发错误，完美符合你的需求。

问题2：如何让TS提示value可能为undefined？ #

首先，建议你开启TypeScript的strictNullChecks（最好直接开启strict模式），这是捕获这类空值问题的基础。然后，在回调实现里添加类型守卫，让TS明确区分两种场景：

function cOverload(error: undefined, value: string): void;
function cOverload(error: Error): void;
function cOverload(error: undefined | Error, value?: string) {
  // 添加类型守卫，检查error的类型
  if (error === undefined) {
    // 这里TS能推断出value一定是string
    console.log(value.charAt(0)); 
  } else {
    // 这里TS知道value是undefined，不能调用string方法
    console.log(error.message);
    // value.charAt(0); ❌ 现在TS会报错：value可能为undefined
  }
}

doThings(cOverload); // ✅ 符合Callback类型

如果不开strictNullChecks，TS不会强制检查value的可选性，所以开启严格模式是关键。另外，用元组联合定义的Callback也会约束cOverload必须符合两种参数组合，避免不合法的实现。

额外优化：用判别式思路强化类型安全 #

如果你想更清晰地表达“错误和结果互斥”的逻辑，也可以把回调参数改成一个带判别式的对象，不过这会改变回调的调用方式：

type CallbackResult = 
  | { error: Error; value?: never }
  | { error: undefined; value: string };

type Callback = (result: CallbackResult) => void;

function doThings(c: Callback) {
  c({ error: undefined, value: '1' }); // ✅
  c({ error: new Error() }); // ✅
  c({ error: undefined }); // ❌ TS报错：缺少value属性
}

这种方式类型更清晰，但需要调整回调的调用形式，你可以根据自己的代码风格选择。

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