如何用Type Guard区分参数相同、返回类型不同的两类函数（不执行函数）

TypeScript 的类型信息仅存在于编译阶段，运行时会被完全擦除。因此不执行函数的前提下，无法直接通过返回类型区分两个参数相同但返回类型不同的函数——因为运行时根本没有返回类型的元数据可供读取。你当前的isFunctionB总是返回true，大概率是因为判断逻辑只检查了「是否是函数」，没有真正的区分依据。

要实现这类类型守卫，必须给目标函数添加运行时可识别的唯一标识，以下是具体实现：

方案1：添加Symbol类型的标识属性 #

使用Symbol作为唯一标识，避免属性名冲突：

// 定义唯一标识符号
const FUNCTION_B_MARKER = Symbol('function-b-marker');

// 定义函数类型：给FunctionB附加标识属性
type FunctionA = (param1: string, param2: number) => boolean;
type FunctionB = ((param1: string, param2: number) => string) & {
  [FUNCTION_B_MARKER]: true;
};

// 创建FunctionB实例时，手动添加标识属性
const myFunctionB: FunctionB = ((p1, p2) => `${p1}-${p2}`) as FunctionB;
(myFunctionB as any)[FUNCTION_B_MARKER] = true;

// 普通的FunctionA实例
const myFunctionA: FunctionA = (p1, p2) => p2 > 0;

// 实现类型守卫
function isFunctionB(fn: FunctionA | FunctionB): fn is FunctionB {
  return typeof fn === 'function' && FUNCTION_B_MARKER in fn;
}

// 测试验证
console.log(isFunctionB(myFunctionA)); // false
console.log(isFunctionB(myFunctionB)); // true

方案2：使用字符串标识属性（适用于简单场景） #

如果不需要严格避免属性冲突，也可以用普通字符串作为标识：

type FunctionA = (param1: string, param2: number) => boolean;
type FunctionB = ((param1: string, param2: number) => string) & {
  __isFunctionB: true;
};

const myFunctionB: FunctionB = ((p1, p2) => `${p1}-${p2}`) as FunctionB;
myFunctionB.__isFunctionB = true;

function isFunctionB(fn: FunctionA | FunctionB): fn is FunctionB {
  return typeof fn === 'function' && (fn as any).__isFunctionB === true;
}

关键注意点 #

• 必须给目标函数（这里是FunctionB）手动附加标识属性，因为TypeScript不会自动为类型添加运行时数据。
• 类型守卫的核心是运行时可验证的条件，而不是编译时的类型信息——因为编译后类型就消失了。

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