这个想法是,我想缩短访问者对子树的递归检索,而无需在每个方法调用中检查“停止”标志.具体来说,我正在使用访问者在抽象语法树上构建一个控制流图. AST中的返回语句应该停止对子树的查找,并将访问者发送回最接近的if / then或循环块.

访客超类(从XTC library)定义

Object dispatch(Node n)

它通过形式的反射方法回调

Object visitNodeSubtype(Node n)

dispatch没有声明抛出任何异常,所以我宣布一个扩展RuntimeException的私有类

private static class ReturnException extends RuntimeException {
}

现在,返回语句的访问者方法看起来像

Object visitReturnStatement(Node n) {
    // handle return value assignment...
    // add flow edge to exit node...
    throw new ReturnException();
}

并且每个复合语句都需要处理ReturnException

Object visitIfElseStatement(Node n) {
  Node test = n.getChild(0);
  Node ifPart = n.getChild(1);
  Node elsePart = n.getChild(2);

  // add flow edges to if/else... 

  try{ dispatch(ifPart); } catch( ReturnException e ) { }
  try{ dispatch(elsePart); } catch( ReturnException e ) { }
}

这一切工作正常,除了：

>我可能会忘记在某个地方捕获一个ReturnException,编译器不会警告我.
我觉得很脏

有没有更好的办法呢？是否有Java模式,我不知道实现这种非本地流控制？

[UPDATE]这个具体的例子证明是有点无效的：Visitor超类捕获和包装异常(甚至是RuntimeExceptions),所以异常抛出并没有真正的帮助.我已经实现了从visitReturnStatement返回枚举类型的建议.幸运的是,这只需要在少量的地方进行检查(例如visitCompoundStatement),所以实际上比抛出异常更麻烦一些.

一般来说,我认为这仍然是一个有效的问题.虽然也许,如果你没有绑定到第三方图书馆,整个问题可以通过合理的设计来避免.