是否可以在PMD规则中检测自动装箱？

Question

Apache Thrift代码生成器生成类似于以下内容的类。NumCpus字段可以为空，但是由于它作为值类型保存，所以还有另一个isSet字段来确定它是否真的设置了：

public class TaskConfig extends TBase<TaskConfig, TaskConfig._Fields> {
  private boolean isSetNumCpus; // Actual implemntation is a bitfield.
  private double numCpus;

  public boolean isSetNumCpus() {
    return isSetNumCpus;
  }

  public double getNumCpus() {
    return numCpus;
  }

  public void setNumCpus(double numCpus) {
    this.numCpus = numCpus;
    this.isSetNumCpus = true;
  }

  // hashCode, equals, copy constructor, field enum etc. omitted
}

我们的样式指南更喜欢将可为空的值包装为可选值，这样我们就不会忘记空检查。所以很容易看到这段代码：

TaskConfig task = getTaskConfigFromWire();
Optional<Double> numCpus = Optional.ofNullable(task.getNumCpus());

但这是错误的-由于自动装箱，这个参数永远不会是null，正确的调用应该如下所示：

TaskConfig task = getTaskConfigFromWire();
Optional<Double> numCpus = task.isSetNumCpus()
    ? Optional.of(task.getNumCpus())
    : Optional.<Double>empty();

有没有办法编写PMD规则来捕获此调用（可选。of nullable使用将自动装箱的值类型调用）？

Answer 1

我将下载PMD二进制文件并使用设计器，您将能够看到表达式如何具有PrimaryExpression和PrimaryPrefix'Name:Optional。ofNullable'，则可以检查PrimarySuffix参数以查找方法调用或变量。然后，您必须查找类文件以找到类型，并使用该类型确定是否已错误地对自动装箱的值进行了选项化。

我个人会将其实现为Java规则，而不是XPath规则。

详情见http://pmd.sourceforge.net/pmd-4.3.0/howtowritearule.html