typescript noImplicitAny 不会导致错误

Question

使用 typescript playground在打开 noImplicitAny 的情况下，我输入以下代码:

  async function a () {
    const b = JSON.parse('{"a":"x"}');
    console.log(b)
  }

如果我将鼠标悬停在第二行的“b”上，我会看到它的类型被推断为 any。但是，没有错误。我是否误解了 noImplicitAny 应该做什么或者这是一个错误？

Answer 1

The --noImplicitAny compiler option仅在类型推断失败 的地方产生警告，并且回退或默认为any。例如，当函数参数不能为 contextually typed 时，您会收到隐式 any 错误。 :

const f = (arg) => arg + 1; // error!
// ------> ~~~ implicit any

如果编译器无法通过控制流推断出一个自动类型化变量(参见microsoft/TypeScript#11263)，您也会得到这样的错误，例如在单独的函数作用域中引用该变量:

let w; // error!
// >~ implicit any
w = 2;
function foo() { w } // implicit any

在这些情况下，编译器会说“我不知道这里发生了什么，所以我会给它一个 any 类型”。

---

另一方面，如果您调用返回类型为any 的函数，您将获得any 类型的值。这可能是一个“隐式”any，因为函数的调用者不需要写出返回类型，但这不是由于类型推断失败。相反，当您分配给它的变量被推断为 any 时，这是类型推断的成功(就像 x 是 number const x = 1 + 2 表示推理成功)。所以在这些情况下没有隐式任何错误。

自从 TypeScript library typings for JSON.parse()看起来像

interface JSON {
  parse(text: string, reviver?: (this: any, k: string, v: any) => any): any;
}

然后

const b = JSON.parse('{"a":"x"}');

成功推断出 b 类型的 any 并且没有编译器警告。

Playground link to code