PMD项目解析Java9+资源引用时的问题分析与解决

背景介绍

在Java 9及更高版本中，try-with-resources语句得到了增强，允许使用更简洁的资源引用方式。然而，PMD 7.0.0版本在解析某些合法的Java 9+资源引用时存在问题，导致无法正确处理特定的语法结构。

问题详情

PMD当前无法正确解析以下几种合法的Java 9+资源引用形式：

1. 直接使用this关键字作为资源：

try (this) {
    // 代码块
}

2. 使用限定符的this引用：

try (Foo.this) {
    // 代码块
}

3. 数组访问表达式（虽然这种形式实际上不符合JLS规范）：

try (c[0]) {
    // 代码块
}

技术分析

根据Java语言规范(JLS)14.20.3节，try-with-resources语句中的资源必须是以下两种形式之一：

1. 变量声明（传统形式）
2. 表示对final或有效final变量引用的表达式

实际上，只有字段访问和变量访问是符合规范的表达式。虽然某些Java编译器（如javac）会接受this作为资源引用，但数组访问表达式c[0]是不符合规范的，javac会报错。

解决方案

PMD项目团队提出了以下解决方案：

1. 修改ASTResource类的相关方法，使其能够处理可为null的情况
2. 调整调用方的代码逻辑以适应这些变更
3. 为EmptyControlStatementRule添加新的测试用例，明确禁止某些虽然语法合法但不推荐的写法

特别需要注意的是，像try (this) {}这样的写法虽然语法上合法，但从代码风格角度看是不推荐的，应该直接使用this.close()。

实施细节

在实现上，主要需要修改PMD的Java语法解析器部分，特别是处理资源引用的逻辑。同时需要确保相关的规则（如空控制语句检查）能够正确处理这些新的语法形式。

总结

这次问题修复不仅解决了PMD对Java 9+新特性的支持问题，也引发了对try-with-resources语句使用规范的深入讨论。作为静态代码分析工具，PMD需要在支持新语法的同时，也要帮助开发者遵循最佳实践。

对于开发者来说，了解这些边界情况有助于编写更规范、更易维护的代码。同时，这也提醒我们，在使用新语言特性时，应该参考官方语言规范而不仅仅是编译器的实现行为。