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 正在生成一个 ParserTokenManager 文件，该文件会引发 TokenMgrError - 但代码无法编译。它声明了一个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 block 中，如下所示:

options {
    JAVA_TEMPLATE_TYPE="modern";
}

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