Typescript noImplicitAny 不会导致错误

Question

使用打开 noImplicitAny 的Typescript Playground ，我输入以下代码：

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

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

Answer 1

编译--noImplicitAny器选项仅在类型推断失败的地方生成警告，并且它会回退或默认为any. 例如，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，则表明类型推断成功（就像xinnumber表示const x = 1 + 2推断成功一样）。所以在这些情况下不存在隐式any错误。

由于TypeScript 库的类型JSON.parse()看起来像

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

然后

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

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

Playground 代码链接