Question

我有时会遇到我有一个未知类型的JavaScript对象的情况。然后我在脚本中执行类型检查，并根据检测到的类型调用适当的函数。例如像这样

/**
 * @param {!Array} aArray my array
 */
function actOnArray(aArray) {

}

/**
 * @param {*} aObject an arbitrary object
 */ 
function doSomething(aObject) {
  // make sure we have an array
  if ((null != aObject) && Array.isArray(aObject)) {
    actOnArray(aObject);
  }
}

在谷歌闭包编译器中通过高级编译运行此片段会产生以下警告消息：

JSC_TYPE_MISMATCH: actual parameter 1 of actOnArray does not match formal parameter
found   : *
required: Array at line 14 character 15
    actOnArray(aObject);

这个警告是有道理的，因为编译器对我的类型检查的语义一无所知。

我的问题是：如何对代码进行注释以告诉编译器在某个时刻我已获得有关类型的信息。在这个例子中，我想告诉我现在知道的if块，确保aObject参数的类型是！Array。

Answer 1

对于某些模式，编译器可以自动收紧测试中的类型：

// ==ClosureCompiler==
// @compilation_level ADVANCED_OPTIMIZATIONS
// @output_file_name default.js
// @warning_level VERBOSE
// ==/ClosureCompiler==


/** @param {*} data */
function log(data) {
  if (data && data instanceof Array) {
    logArray(data);
  } else {
    console.log(data);
  }
}

/** @param {!Array} data */
function logArray(data) {
  for(var i = 0; i < data.length; i++) {
    log(data[i]);
  }
}

log([1, 2, 3]);

然而，在许多情况下它不能。在这些情况下，您需要输入强制转换：

actOnArray(/** @type {!Array} */ (aObject));

注意额外的括号 - 它们是必需的

Google Closure编译器中的动态类型发现

1 个答案: