0

我正在为 WebAssembly 编写闭包外部函数。

对于 function WebAssembly.instantiate，它有 2 个函数签名。

  • Promise<{module:WebAssembly.Module, instance:WebAssembly.Instance}> instantiate(BufferSource bytes [, importObject])
  • Promise<WebAssembly.Instance> instantiate(moduleObject [, importObject])

如何在闭包外部声明这两个规则？

参考：

https://github.com/WebAssembly/design/blob/master/JS.md#webassemblyinstantiate

4

1 回答 1

2

您可以指定参数和结果是两种不同类型的并集。有关如何指定类型的信息，请参阅https://github.com/google/closure-compiler/wiki/Annotating-JavaScript-for-the-Closure-Compiler 。

以下是此类函数的一个简单示例：

/**
* @param {string|number} value
* @return {string|number}
*/
ambiguous = function(value) {
  if (typeof value == 'string') {
    return value+' is string';
  } else if (typeof value == 'number') {
    return value+1;
  } else throw new Error();
};

对于您的WebAssembly.instantiate函数，您当然会拥有比字符串和数字更复杂的类型。我不知道您将如何指定 Promise 类型，我不认识为这些类型显示的语法，并且我怀疑闭包编译器会按原样解析它。然后 extern 看起来像这样（Promises 的类型是虚假的）。

/**
@param (!BufferSource|!WebAssembly.Module) arg1 either a BufferSource or a module
@param Object= importObject  optional object to import
@return (!PromiseType1|!PromiseType2)
*/
WebAssembly.instantiate = function(arg1, importObject) {};

该!符号用于指示非空对象。如果这些可以为空，则将其排除在外。后面的=符号Object=表示它可以是未定义的。

使用此功能的结果时，您需要测试您使用的是什么类型的东西instanceof或其他方法。否则编译器只知道结果是两种可能的类型之一。如果不使用instanceof，您可以使用类型转换来告诉编译器您知道类型是什么，请参阅上面引用的页面末尾。

闭包库中的一个函数示例，它的参数和结果都具有联合类型，即goog.array.find。goog.array.find的源代码可用。请注意，尖括号<>用于编译器的模板类型功能。

于 2017-04-09T16:20:32.083 回答