TypeScript 未正確推斷剩餘參數

有一個類型為 Bar 的函數 bar。該函數的修改版本（barStochastic）應該在調用 bar 之前重置偽隨機生成器，但除此之外，它是完全相同的。

由於 Bar 有許多參數，我想使用 ...args 展開語法來傳遞它們。

const random = {
    initState() {
        return 1;
    },
};
type Bar = (a: number, b: number, c: number) => number;
const barDeterministic: Bar = (a, b, c) => {
    return a + b + c;
};
const barStochastic: Bar = (...args) => {
    random.initState();
    return barDeterministic(...args);
};

我的編輯器對此沒有抱怨（它通常與 TS 編譯器一致），但編譯失敗。

error TS7019: Rest parameter 'args' implicitly has an 'any[]' type.

10     const barStochastic: Bar = (...args) => {
                                   ~~~~~~~


error TS2556: Expected 3 arguments, but got 0 or more.

12         return barDeterministic(...args);
                  ~~~~~~~~~~~~~~~~~~~~~~~~~

我會預期 ...args 會被推斷為 [number, number, number]。這樣可以解決兩個錯誤。

這是錯誤還是預期的行為？

設定：

Deepin 15.7 Desktop
Node v10.9.0
tsc 2.9.2
vscode 1.27.1

tsconfig.json：

{
  "include": [
    "./src/**/*"
  ],
  "compilerOptions": {
    "target": "es5",
    "module": "commonjs",
    "lib": [
      "es2015"
    ],
    "allowJs": true,
    "sourceMap": true,
    "outDir": "./dist",
    "rootDir": "./src",
    "strict": true,
    "moduleResolution": "node",
    "baseUrl": "./src",
  }
}

答案＃1

你正在使用 Typescript 2.9。你嘗試使用的功能是可在剩餘參數和展開運算式中使用的元組，該功能是在 3.0 中實現的。

你可以在操場中嘗試你的範例，它將如預期般運作。

既然你的編輯器沒有報錯，我猜你的編輯器正在使用 3.0（VS Code 1.27.1 內建 3.0 語言服務），但你編譯時使用的是 2.9。