如何为条件函数类型传递参数？TypeScript类型收窄问题

问题原因 #

核心问题在于：泛型参数Determiner是类型变量，而非具体的true/false字面量类型。TypeScript编译器无法在函数内部，通过对useFunc1Type值的判断自动联动收窄func的类型——泛型在函数调用时才会被实例化，函数内部的类型检查无法回溯到外部的泛型推断逻辑，最终导致func的第一个参数被推断为string和number的交集（即never）。

解决方案 #

以下是三种可行的解决方式，按推荐程度排序：

1. 使用可辨识联合类型（最推荐，类型安全）

将参数封装成带辨识符的联合类型对象，让编译器通过辨识符自动完成类型收窄：

function func1(arg1: string) {
  return arg1
}

function func2(arg1: number, arg2: string) {
  return arg2
}

type SelectorParams = 
  | { useFunc1Type: true; func: typeof func1 }
  | { useFunc1Type: false; func: typeof func2 }

function selector(params: SelectorParams) {
  if (params.useFunc1Type) {
    params.func("hello"); // 正确推断arg1为string
  } else {
    params.func(123, "world"); // 正确推断arg1为number，arg2为string
  }
}

这种方式完全依赖TypeScript自动类型收窄，无需手动断言，类型安全性最高。

2. 使用函数重载

为selector定义两个重载签名，分别对应两种调用场景，内部通过类型断言处理：

function func1(arg1: string) {
  return arg1
}

function func2(arg1: number, arg2: string) {
  return arg2
}

// 重载签名
function selector(useFunc1Type: true, func: typeof func1): void;
function selector(useFunc1Type: false, func: typeof func2): void;

// 实现签名
function selector(useFunc1Type: boolean, func: typeof func1 | typeof func2) {
  if (useFunc1Type) {
    (func as typeof func1)("hello"); // 手动断言为func1类型
  } else {
    (func as typeof func2)(123, "world"); // 手动断言为func2类型
  }
}

调用时编译器会根据useFunc1Type的值自动匹配对应重载，保证调用时的类型安全；内部仅需在实现层手动断言，范围被限制在函数内部。

3. 直接使用类型断言（最简单，需手动保证安全）

如果场景简单，可直接在判断块内对func进行类型断言：

function func1(arg1: string) {
  return arg1
}

function func2(arg1: number, arg2: string) {
  return arg2
}

function selector<Determiner extends boolean>(
  useFunc1Type: Determiner,
  func: Determiner extends true ? typeof func1 : typeof func2
) {
  if (useFunc1Type) {
    (func as typeof func1)("hello"); // 断言为func1
  } else {
    (func as typeof func2)(123, "world"); // 断言为func2
  }
}

这种方式代码改动最小，但需要你手动保证useFunc1Type和func的类型匹配，编译器不会校验二者的关联关系，适合快速修复简单场景。

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