TypeScript函数/对象参数

Question

为什么打字稿ES6没有检测到对象不是函数？

find: (collection: string, query: object, sortQuery = {}, cb?: Function)  => {
    socketManager.call('find', collection, query, sortQuery, cb);
}

基于此函数，您会假设这将失败：

this._services._socket.methods.find('vendors', {type: 'repair'}, (errVen, resVen) => {}

因为没有sortQuery对象，而是回调函数。这并没有给我任何类型的错误，这意味着typescript允许回调作为对象类型。

如何确保这会导致错误？

Answer 1

对象和函数基本上是一回事，但是类型帮助我们消除它们的功能之间的歧义。

考虑一下：

const foo1: { (): string } = () => "";

变量foo的类型为object，但该对象是可调用的。。。这是一个函数，确实可以调用它，但您不能在其上设置名为bar的属性。

foo1(); // This works
foo1.bar = 5; // This, not so much.

也可以这样考虑：

const foo2: { bar?: number; } = {};

变量foo上有一个名为bar的属性。可以设置该属性，但无法调用该对象，因为它的类型不是可调用的。

foo2.bar = 5; // This works
foo2(); // This, not so much.

所以，让我们看看你原来的打字方式：

sortQuery = {}

########################################################################################################它没有任何属性，它不可调用，它只是一个对象。

我们已经看到函数是一个对象，所以可以很好地为它指定函数。但是，您将无法调用它，因为它没有定义为可调用。

const sortQuery: {} = () => ""; // This works.
sortQuery(); // This, not so much.
sortQuery.bar = 5; // Nor this.

如果完全控制源代码，则解决此问题的一种方法是从多个参数移动到具有命名属性的单个参数：

const foo = (params: { collection: string, query: object, sortQuery: {}, cb?: Function }) => { };

foo({ collection: "", query: {}, sortQuery: {} }); // Fine
foo({ collection: "", query: {}, sortQuery: {}, cb: () => { } }); // Fine
foo({ collection: "", query: {}, cb: () => { } }); // Not Fine

这通过要求名称而不是依赖于函数调用中的位置来消除任何歧义。

Answer 2

使用TypeScript条件（TS v2.8），我们可以使用Exclude从对象中排除函数

let v = {
  find: <T extends object>(collection: string, query: object, sortQuery: Exclude<T, Function>, cb?: (a: string, b: string) => void) => {
  }
}

// Invalid
v.find('vendors', { type: 'repair' }, (a, b) => { })
v.find('vendors', { type: 'repair' }, 'I am a string', (a, b) => { })

// Valid
v.find('vendors', { type: 'repair' }, { dir: -1 })
v.find('vendors', { type: 'repair' }, { dir: -1 }, (a, b) => { })

然后可以按如下方式设置默认参数值：

sortQuery: Exclude<T, Function> = <any>{}

如下图所示，前两个调用fine会引发错误，但后两个调用fine不会引发错误：

随后显示的错误如下所示：

• [ts]类型为“（a，b）的参数=