JavaCC 生成死代码答案

【问题标题】：JavaCC Generates Dead CodeJavaCC 生成死代码
【发布时间】：2017-05-25 17:34:01
【问题描述】：

我是第一次使用 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 的示例 - 这只是很多人手动编辑结果吗？

【问题讨论】：

您使用的是什么版本的 JavaCC？您是否尝试过LEGACY_EXCEPTION_HANDLING = false 选项？
回答你关于curChar类型的问题，不，这不是很多手工编辑。版本 5 生成的类型为 char。
LEGACY_EXCEPTION_HANDLING 实际上不是“用户可设置的”，但可以对其进行更改 - 请参阅下面的编辑。我使用的 Maven 插件使用的版本是 6.1.3，但我想出了如何移回原始的 codehaus 插件并将其 JavaCC 版本强制为 7.x。谢谢！

标签： java compiler-construction javacc

【解决方案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)

【讨论】：

有没有办法关闭“遗留异常处理”？
是的 - 查看我的编辑。这有点疯狂，但我最终明白了。