TypeScript带默认值函数参数类型推断不一致问题求助

问题描述 #

当定义包含this上下文的函数类型时，未显式标注类型的默认参数会被推断为any，而非从默认值自动推断出正确类型。比如示例中foo(p = 2)的参数p被推断为any，破坏了类型安全性；但显式标注类型的esp(p: number = 2)和无默认值的bob(s: number)却能正确推断类型。

复现代码：

type FnContext = {
    source: Record<string, any>;
};

type Fn<T = FnContext, P extends any[] = any[], R = void> = (this: T, ...params: P) => R;

type AnyFn = Record<string, Fn>;

type Options<F extends AnyFn> = {
    actions?: F;
};

function program<T extends AnyFn>(options: Options<T>) { }

program({
    actions: {
        foo(p = 2) {}, // 实际推断：(method) foo(this: FnContext, p?: any): void
        esp(p: number = 2) {}, // 正确推断：(method) esp(this: FnContext, p?: number): void
        bob(s: number) {} // 正确推断：(method) bob(this: FnContext, s: number): void
    }
});

原因分析 #

这是TypeScript的已知限制。问题核心在于Fn类型的泛型参数P默认值为any[]：当TypeScript推断program的泛型参数T时，会优先匹配AnyFn（即Record<string, Fn>）的约束。对于未显式标注类型的参数，TypeScript不会主动从默认值推断类型，而是直接使用Fn中P的默认any[]，导致参数类型变为any。

而显式标注类型的参数或无默认值的参数，因为有明确的类型信息，TypeScript能绕过默认的any[]约束，正确推断类型。

解决方案 #

以下几种方法可根据场景选择：

方法1：修改Fn的泛型默认值 #

将Fn的P默认值从any[]改为unknown[]，引导TypeScript从默认值推断参数类型：

type Fn<T = FnContext, P extends any[] = unknown[], R = void> = (this: T, ...params: P) => R;

修改后foo的p会被正确推断为number | undefined（因参数可选）。

方法2：使用satisfies关键字约束类型 #

在actions对象上添加satisfies AnyFn，既保留自动类型推断，又确保结构符合AnyFn约束：

program({
    actions: {
        foo(p = 2) {},
        esp(p: number = 2) {},
        bob(s: number) {}
    } satisfies AnyFn
});

这种方法无需修改原有类型定义，foo的p会被推断为number，同时保证类型安全。

方法3：调整泛型推断逻辑 #

将Fn的参数泛型从类型层面移到函数自身层面，让TypeScript为每个函数单独推断参数类型：

type Fn<T = FnContext> = <P extends any[], R = void>(this: T, ...params: P) => R;

type AnyFn = Record<string, Fn>;

type Options<F extends AnyFn> = {
    actions?: F;
};

function program<T extends AnyFn>(options: Options<T>) { }

修改后foo的p会被正确推断为number，且不影响其他函数的类型推断。

方法4：显式指定泛型参数 #

如果需要绝对精确的控制，可手动指定program的泛型类型：

program<{
    foo: (this: FnContext, p?: number) => void;
    esp: (this: FnContext, p?: number) => void;
    bob: (this: FnContext, s: number) => void;
}>({
    actions: {
        foo(p = 2) {},
        esp(p: number = 2) {},
        bob(s: number) {}
    }
});

这种方法最明确，但需要手动编写类型，适合类型固定的场景。

内容的提问来源于stack exchange，提问作者E. M. Santos