如何防止TypeScript中ValueOrGetter类型的P被推断为any？

问题背景 #

我需要让用户既能直接指定类型为T的配置值，也能指定依赖预定义参数P的getter函数，因此定义了以下类型：

type Getter<T, P> = (param: P) => T;
type ValueOrGetter<T, P> = T | Getter<T, P>;

常规场景下类型推断正常：

const ex1: ValueOrGetter<string, number> = (param) => param.toString(); // param类型为number，符合预期

但当T为unknown或any时，显式指定的P类型会丢失，param被推断为any：

const ex2: ValueOrGetter<unknown, number> = (param) => param; // param类型为any，不符合预期
const ex3: ValueOrGetter<any, number> = (param) => param; // param类型为any，不符合预期

推测原因是any和unknown兼容任意函数类型，导致TypeScript优先将函数推断为T类型（而非Getter<T, P>），进而丢失了P的类型信息。之前尝试用条件类型排除函数但无效：

type ValueOrGetter2<T, P> = T extends ((...args: any[]) => any) ? T : ValueOrGetter<T, P>;

解决方案 #

方案1：用辅助函数强化泛型推断 #

直接给变量指定联合类型时，TypeScript可能会优先匹配更宽泛的T分支。通过一个泛型辅助函数包裹赋值操作，可以强制TypeScript根据显式指定的P类型推断getter参数：

type Getter<T, P> = (param: P) => T;
type ValueOrGetter<T, P> = T | Getter<T, P>;

// 辅助函数，用于强化类型推断逻辑
function createValueOrGetter<T, P>(val: ValueOrGetter<T, P>): ValueOrGetter<T, P> {
  return val;
}

// 现在param会被正确推断为number
const ex2 = createValueOrGetter<unknown, number>((param) => param);
const ex3 = createValueOrGetter<any, number>((param) => param);

方案2：重新定义类型，避免T与Getter的类型重叠 #

通过条件类型重构ValueOrGetter，让getter分支的类型更具特异性，避免被unknown/any这类宽泛类型覆盖：

type Getter<T, P> = (param: P) => T;
type ValueOrGetter<T, P> = 
  // 若T本身是函数类型，保留T同时允许指定符合要求的getter
  T extends (...args: any[]) => any 
    ? T | Getter<T, P> 
    : // 若T不是函数类型，明确区分值类型和getter类型，用& {}提升getter分支的特异性
      T | ((param: P) => T & {});

这样修改后，TypeScript会优先匹配getter分支，正确推断param类型：

const ex2: ValueOrGetter<unknown, number> = (param) => param; // param类型为number
const ex3: ValueOrGetter<any, number> = (param) => param; // param类型为number

方案3：类型断言（临时应急） #

如果只是个别场景需要快速修复，可以用类型断言明确指定getter类型：

const ex2: ValueOrGetter<unknown, number> = ((param: number) => param) as Getter<unknown, number>;

不过这种方式不够优雅，推荐优先使用前两种方案。

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