TypeScript如何推斷數組文字的元素類型？

Question

特別是為什么要編譯此代碼（使用--noImplicitAny）

function x() {
    const c = [];
    c.push({});
    c.indexOf({});
    return c;
}

同時，這不會：

function x() {
    const c = [];
    c.indexOf({});
    c.push({});
    return c;
}

Answer 1

這是預期的行為，請參閱此GitHub 問題 。 那里描述的功能與您的相似，問題是為什么打開noImplicitAny不會出現錯誤：

function foo() {
  const x = []
  x.push(3)
  return x
}

數組的類型被推斷為“進化數組”類型。 然后它變成number后的第一個x.push 。 foo應該返回number [] 。 如果在控制流可以確定x的類型之前就看到了x的類型，則會產生錯誤。 例如：

function foo() {
  const x = []
  x.push(3)
  return x;

  function f() { 
    x; // error, x is `any`.
  }
}

因此，在您的情況下， indexOf在確定類型並引發錯誤之前會見證數組的類型。 如果在push后調用indexOf ，則確定類型，並且不會引發錯誤。