打字稿无法正确推断其余参数

Question

有一个类型为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",
  }
}

Answer 1

您正在使用Typescript 2.9。 您尝试使用的功能是rest参数和散布表达式中的元组，这是在3.0中实现的。

您可以在操场上尝试您的示例，它将按预期运行。

由于您的编辑器没有抱怨，我想您的编辑器使用3.0（3.0语言服务随附了VS Code 1.27.1 ），但您使用2.9进行了编译。