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

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);
  }
}

在Google Closure编译器中通过高级编译运行此代码段会产生以下警告消息：

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));

请注意多余的括号-必须填写