TypeScript@4.0.0rc9手动柯里化函数返回Promise时类型定义失效问题

这个问题的核心在于async函数的自动包装特性——你把整个asynctest都声明为async函数，导致即使在分支里返回一个普通的柯里化函数，这个函数也会被自动包裹成Promise，但你的类型定义标注的是直接返回函数类型，这就造成了类型检查和实际运行行为的脱节。

问题拆解 #

先看能正常工作的同步版本：

function test ( a: number, ): ( b: number, ) => number
function test ( a: number, b: number, ): number
function test(a, b?) {
  if (b === undefined) return function (b: number) { test(a, b) }
  return a + b
}

同步函数返回的柯里化函数就是普通函数，类型定义和实际返回完全匹配，所以运行没有问题。

但异步版本里，async function asynctest(...)会把所有返回值都包装成Promise：

• 当你只传一个参数时，代码逻辑返回的是(b: number) => Promise<number>，但因为外层是async函数，实际返回的是Promise<(b: number) => Promise<number>>
• 类型定义里标注的是直接返回(b: number) => Promise<number>，所以VS Code的类型检查器认为符合预期，但实际运行时你拿到的是一个Promise，需要先await才能拿到柯里化函数，这就是你遇到的“实际运行存在问题”的根本原因。

修复方案 #

要解决这个问题，不能把整个柯里化函数都声明为async，而是只在处理完整参数的分支里使用异步逻辑，柯里化分支返回普通函数：

// 类型定义保持不变
function asynctest(a: number): (b: number) => Promise<number>;
function asynctest(a: number, b: number): Promise<number>;
// 实现部分不要用async修饰整个函数
function asynctest(a: number, b?: number) {
  if (b === undefined) {
    // 柯里化分支返回普通函数，内部调用异步逻辑
    return function (b: number): Promise<number> {
      return asynctest(a, b);
    };
  }
  // 只有处理完整参数时才用Promise包装异步逻辑
  return Promise.resolve(a + b);
  // 如果是真正的异步操作（比如API请求），直接返回Promise即可
  // return fetch(`/api/${a}/${b}`).then(res => res.json());
}

如果你的异步逻辑必须用async/await语法，可以把完整参数分支的逻辑抽成一个内部async函数：

function asynctest(a: number): (b: number) => Promise<number>;
function asynctest(a: number, b: number): Promise<number>;
function asynctest(a: number, b?: number) {
  if (b === undefined) {
    return function (b: number) {
      return asynctest(a, b);
    };
  }
  // 内部async函数处理异步逻辑
  const compute = async () => {
    // 这里可以写真实的异步操作
    await new Promise(resolve => setTimeout(resolve, 100));
    return a + b;
  };
  return compute();
}

这样修改后，类型定义和实际运行行为就完全匹配了：

• 传入1个参数时，直接返回(b: number) => Promise<number>类型的函数
• 传入2个参数时，返回Promise<number>

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