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。您尝试使用的功能是Tuples in rest parameters and spread expressions，该功能已在3.0中实现。

您可以在playground中尝试您的示例，它将按预期运行。

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

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

1 个答案: