“函数表达式，缺少返回类型注释，隐式具有‘任何’返回类型”添加 void 操作时

Question

我在 TypeScript 上遇到了一个奇怪的问题。我最近了解了void ... 运算符，因为我需要应用它，所以eslint 不会报告no-floating-promises。然而，这个特殊的 sn-p 不知何故导致了一个问题，我无法在 TypeScript 操场上重现：

class A {

  async a() {}

  async onTickAsync(repeat: boolean) {
    try {
      await this.a();
    } catch(e) {
      console.error(e);
    } finally {
      if (repeat) {
        window.setTimeout(() => void this.onTickAsync(true), 200);
      }
    }
  }

}

VS Code 会报这个错误：

TS7011：缺少返回类型注释的函数表达式隐式具有“任意”返回类型。

但是，TS Playground 上无法重现该问题。 VS Code 和 Playground 都使用 TypeScript 4.5.4。这是我的tsconfig.json：

{
    "compileOnSave": true,
    "compilerOptions": {
        "noImplicitAny": true,
        "noEmitOnError": true,
        "sourceMap": true,
        "target": "ESNext",
        "module": "ESNext"
    },
    "exclude": [
        "node_modules"
    ]
}

我知道可以通过添加: void返回类型或删除void操作或删除noImplicitAny来修复它：

window.setTimeout((): void => void this.onTickAsync(true), 200);

我想问：是什么导致了错误？为什么它只发生在我的 IDE/本地而不是操场上？

---

为了确保这不仅仅是因为 VS Code，我还在单独的终端上运行了 tsc --version 和 tsc：

tsc --showConfig 输出：

PS C:\Users\lukev\Downloads\Temp> tsc --showConfig
{
    "compilerOptions": {
        "noImplicitAny": true,
        "noEmitOnError": true,
        "sourceMap": true,
        "target": "esnext",
        "module": "esnext"
    },
    "files": [
        "./test.ts"
    ],
    "exclude": [
        "node_modules"
    ],
    "compileOnSave": true
}

这也很有趣，它不会发生在其他功能上。例如，这不会产生任何错误。这似乎与window.setTimeout 有关。例如，我发现Function 类型和() => void 之间存在一些不同）：

class A {

  doSomething1(_: Function) { }
  doSomething2(_: () => any) { }
  doSomething3(_: () => void) { }

  async a() { }

  async onTickAsync(repeat: boolean) {
    // Only this one produces error
    this.doSomething1(() => void this.onTickAsync(true));
    this.doSomething2(() => void this.onTickAsync(true));
    this.doSomething3(() => void this.onTickAsync(true));
  }

}

Answer 1

权威答案请见microsoft/TypeScript#36651。

您的问题是您已启用the --noImplicitAny compiler option，但您未启用the --strictNullChecks compiler option。您可以在 TypeScript Playground and reproduce your issue 中设置这些选项。

另外：请注意--strictNullChecks 是the --strict family of compiler features 的一部分，通常建议将其作为事实上的“标准”类型安全级别的一部分。您并没有真正询问您应该使用哪些编译器选项，但请注意，如果您使用一组不常见的编译器选项，您更有可能遇到一般 TypeScript 社区不为人知的编译器行为。好了，差不多了。

所以我们知道如何重现，但没有明确回答为什么这里有错误。现在让我们这样做。启用--strictNullChecks 后，the void opterator 会生成the undefined type 的值。但是使用--strictNullChecks disabled，实际上并没有明显的undefined 类型，void 运算符产生the any type 的值。除非你明确annotate 类型是any，否则--noImplicitAny 下会出现错误：

// with --strictNullChecks disabled

() => void 0; // error!
// Function expression, which lacks return-type annotation, 
// implicitly has an 'any' return type.

(): undefined => void 0; // okay
//^^^^^^^^^^^ <-- arrow function return type annotation

如您所见，如果void 运算符的返回类型为contextual type，您也可以摆脱错误：

function foo(cb: () => any) { }
foo(() => void 0); // okay, void 0 is contextually typed as any

注意Function 接口有点奇怪，没有真正的call signature，见microsoft/TypeScript#20007，所以它不能提供上下文类型：

function bar(cb: Function) { }
bar(() => void 0); // implicit any error!

---

Playground link to code

Answer 2

我可以重现您的问题，虽然我无法回答为什么会发生这种情况，但您可以通过省略 void operator 并将 catch 方法链接到承诺满足 ESLint：

// before
window.setTimeout(() => void this.onTickAsync(true), 200);

// after
window.setTimeout(() => this.onTickAsync(true).catch(() => {}), 200);