JavaCC 生成死代码

Question

我是第一次使用 JavaCC，我注意到它生成了很多死代码。有很多行看起来像（请原谅间距，它是自动的）：

{if ("" != null) return result;}
    throw new Error("Missing return statement in function");
  }

是否可以避免产生这种死代码？它会导致数十个编译器警告，希望可以避免。

谢谢！

这是 .jj 文件中的完整最小示例：

Statement UseStatement():
{
    String dbName;
}
{
    <USE> dbName=DbObjectName()
    {
        return new UseStatement(dbName);
    }
}

生成：

final public Statement UseStatement() throws ParseException {String dbName;
    jj_consume_token(USE);
    dbName = DbObjectName();
{if ("" != null) return new UseStatement(dbName);}
    throw new Error("Missing return statement in function");
  }

此外，JavaCC 正在生成一个抛出 TokenMgrError 的 ParserTokenManager 文件 - 但代码无法编译。它声明了一个 protected int curChar，而它应该声明它是一个 char。谷歌搜索这个短语显示了许多正确声明为 char 的例子 - 这只是很多人手工编辑结果吗？

Answer 1

我去了源头，为了防止死代码你必须触发 Options.isLegacyExceptionHandling。

  // Add if statement to prevent subsequent code generated
  // from being dead code.
  // NB: eclipse now detects 'if (true)' as dead code, so use the more complicated
  // 'if ("" != null)'
  if (inAction  && (Options.isLegacyExceptionHandling()) ) {
    t.image = "{if (\"\" != null) return";
    jumpPatched = true;
  }

然后触发：

if (p.isJumpPatched() && !voidReturn) {
  if (isJavaDialect) {
    // TODO :: I don't think we need to throw an Error/Exception to mark that a return statement is missing as the compiler will flag this error automatically
    if (Options.isLegacyExceptionHandling()) {
        codeGenerator.genCodeLine("    throw new "+(Options.isLegacyExceptionHandling() ? "Error" : "RuntimeException")+"(\"Missing return statement in function\");");
    }
  } else {
    codeGenerator.genCodeLine("    throw \"Missing return statement in function\";");
  }
}

https://github.com/javacc/javacc/blob/e38cbdb1db7ca8bd66f892859fef88b4876e69ba/src/main/javacc/JavaCC.jj#L2771-L2779

https://github.com/javacc/javacc/blob/2ac628df1f899fdf6acf1f87fad313b6797085f7/src/main/java/org/javacc/parser/ParseEngine.java#L707-L712

遗留异常处理是一个派生选项，仅当 JAVA_TEMPLATE_TYPE=modern 时为 false。正确设置它的唯一方法是将它包含在 .jj 文件的 options 块中，如下所示：

options {
    JAVA_TEMPLATE_TYPE="modern";
}

理论上它也可以通过命令行选项设置，但在撰写本文时实际上不可能在解析命令行参数之前设置派生选项(#25)

JavaCC 生成死代码

JavaCC Generates Dead Code

java

compiler-construction

javacc