TypeScript实现接收值或函数的getValue函数类型报错咨询

我想要实现一个函数，它接收单个类型为T（不可调用）或() => T的参数，并返回T类型值。若参数是函数(() => T)则返回其调用结果，否则直接返回参数本身。

我编写了如下代码：

function getValue<T>(valueOrThunk: T | (() => T)): T {
    if (typeof valueOrThunk === "function") {
      return valueOrThunk()
    }
    return valueOrThunk
}

代码可运行但出现TypeScript错误：

This expression is not callable.
  Not all constituents of type '(() => T) | (T & Function)' are callable.
    Type 'T & Function' has no call signatures.ts(2349)

我无法理解报错原因：既然Function.prototype有call方法，为何T & Function没有调用签名？

原因分析 #

TypeScript的类型系统中，Function是一个宽泛的顶层类型，它仅表示值是一个函数对象，但没有定义任何明确的调用签名——也就是说，TypeScript不知道这个函数接受什么参数、返回什么类型。

当用typeof valueOrThunk === "function"做类型收窄时，TypeScript会把参数类型从T | (() => T)缩小为(() => T) | (T & Function)。这里的T & Function指的是：T本身可能被推断为Function类型，而这个交叉类型因为没有明确的调用签名，TypeScript无法保证它符合() => T的调用形式，因此会阻止直接调用。

简单来说，运行时函数确实可以调用，但TypeScript的类型系统无法从T & Function这个类型中推导出合法的调用签名，所以抛出错误。

解决方案 #

方案1：类型断言 #

直接将收窄后的函数断言为() => T类型，明确告诉TypeScript该函数符合预期的调用签名：

function getValue<T>(valueOrThunk: T | (() => T)): T {
    if (typeof valueOrThunk === "function") {
      return (valueOrThunk as () => T)()
    }
    return valueOrThunk
}

方案2：自定义类型守卫 #

通过自定义类型守卫，精准标记判断后的参数类型：

function isThunk<T>(value: T | (() => T)): value is () => T {
  return typeof value === "function";
}

function getValue<T>(valueOrThunk: T | (() => T)): T {
    if (isThunk(valueOrThunk)) {
      return valueOrThunk()
    }
    return valueOrThunk
}

方案3：约束T为非函数类型 #

如果需求明确T不可调用，可以给T添加约束，排除函数类型：

function getValue<T extends Exclude<unknown, Function>>(valueOrThunk: T | (() => T)): T {
    if (typeof valueOrThunk === "function") {
      return (valueOrThunk as () => T)()
    }
    return valueOrThunk
}

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