Question

我正在使用Closure Compiler，我希望有类似Rust的Result类型，它包含某种类型的值，或者不包含任何值和错误，以表示函数的返回值。

这是我的意思的一个例子：

/**
 * @param {function(Result<Element>)} callback
*/
function bar (callback) {        
    if (...) {
        var elem = ...;
        callback(Result.ok(elem));
    } else {
        callback(Result.err(new Error("...")));
    }
}

bar(function (result) {
    if (result.ok) {
        // guaranteed to be a non-error result here - no warning
        console.log(result.val.nodeType);
    } else {
        // closure should produce a warning here about undefined prop
        console.log(result.val.nodeType);
    }
});

可能的实施（尽管不会发出警告）：

/**
 * @constructor
 * @template T
 * @param {boolean} ok
 * @param {T} val
 * @param {Error} err
**/
function Result (ok, val, err) {
    this.ok = ok;
    this.val = val;
    this.err = err;
}

/**
 * @template T
 * @param {T=} val
 * @return {OkResult<T>}
**/
Result.ok = function (val) {
    return new OkResult(val);
};

/**
 * @param {Error} err
 * @param {Error=} previous
 * @return {ErrResult}
**/
Result.err = function (err, previous) {
    err['previous'] = previous;
    return new ErrResult(err);
};

/**
 * @constructor
 * @extends {Result}
 * @template T
 * @param {T} val
**/
function OkResult (val) {
    this.ok = true;  
    this.val = val;
    this.err = null;
}

/**
 * @constructor
 * @extends {Result}
 * @param {Error} err
**/
function ErrResult (err) {
    this.ok = false;
    this.val = null;
    this.err = err;
}

我尝试使用Result超类和两个OkResult和ErrResult子类来实现此功能，但是当我尝试编写应产生警告的代码时，我不会＃39; t得到任何。

是否有某种方法可以创建具有上面指定属性的Result类型？在尝试访问错误结果时会安全地发出警告，好像这是一个好结果吗？

Answer 1

使用经典继承绝对是这样做的方法。检查应该是obj.ok。

，而不是测试instanceof属性

bar(function (result) {
  if (result instanceof OkResult) {
    // instanceof tests are recognized by the compiler
    // and automatically tightens the types.
    console.log(result.val.nodeType);
  } else if (result instanceof ErrorResult) {
    // closure produces a warning here about undefined prop
    console.log(result.val.nodeType);
  }
});

此外，编译器仅在属性不存在时警告缺少属性。为了使其成立，不得在任何父类上定义属性。

See a working example

使用Closure Compiler创建Result类型

1 个答案: