如何为通过闭包捕获静态变量的函数实现重载？

我编写了如下形式的函数：

export const foo = function () {
    const myObject = new MyObject();
    return function foo(param1?: number, param2?: string): void{
        // ... 函数逻辑
    };
}();

其中myObject是函数内使用的临时变量，通过闭包捕获的方式避免每次调用foo都重新分配内存。我希望为该foo函数实现如下重载：

export function foo(): void;
export function foo(param1: number): void;

此重载仅为示例，无需关注其合理性。我想了解是否有办法为此种声明方式的foo实现重载，还是必须将静态变量myObject改为模块级变量？我希望尽可能保持该变量的局部性，但暂未找到可行方法。

不用把myObject改成模块级变量，有两种可行的方式给这种闭包形式的foo添加重载签名，同时保留变量的局部性：

方法一：预定义重载类型 #

先定义一个包含目标重载签名的类型，再将闭包返回的函数断言为该类型：

// 定义foo的重载类型
type Foo = {
  (): void;
  (param1: number): void;
};

export const foo = (function () {
  const myObject = new MyObject();
  return function(param1?: number, param2?: string): void {
    // ... 你的函数逻辑
  };
}()) as Foo;

方法二：直接使用typeof断言 #

先声明重载签名，再将闭包函数断言为typeof foo，无需额外定义类型：

// 先声明重载签名
export function foo(): void;
export function foo(param1: number): void;

// 赋值闭包函数并断言类型
export const foo = (function () {
  const myObject = new MyObject();
  return function(param1?: number, param2?: string): void {
    // ... 你的函数逻辑
  };
}()) as typeof foo;

关键注意点 #

• 闭包返回的实际函数必须兼容所有重载签名的参数要求，比如示例中的函数接受可选的param1，可以覆盖()和(param1: number)两种调用场景，避免类型检查报错。
• 使用第二种方法时，重载签名的声明必须放在变量赋值之前，否则TypeScript无法正确识别typeof foo的类型。

这样处理后，myObject仍仅在立即执行函数的作用域内可见，不会暴露到模块级别，同时foo也拥有了你需要的重载签名。

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