Eclipse JDT 空指针分析似乎对无法复制的 Objects.requireNonNull 具有特殊行为

编程问答 2022-05-03

问题描述

Eclipse 有空指针注解分析，可以附加外部注解。 http://www.lastnpe.org/ 有这方面的文档，以防您在这里绊倒并感到困惑。

无论如何，如果我附加 JDK 外部注释（也称为 *.eea 文件）并打开注释分析，我可以执行以下操作（假设 someObject 为 @Nullable）：

Objects.requireNonNull(someObject);
someObject.toString() // No error/warning here as Eclipse apparently figured out that someObject isn't null.

requireNonNull 的 EEA 定义是：

requireNonNull
 <T:Ljava/lang/Object;>(TT;)TT;
 <T:Ljava/lang/Object;>(T0T;)T1T;

现在，如果我创建自己的库，可以将其称为 MyObjects 并附加源和注释（与 Objects.requireNonNull 完全一样），执行上述操作时会收到警告：

MyObjects.likeRequireNonNull(someObject);
someObject.toString() // NP analysis warning/error here

显然我可以通过重新分配来解决这个问题：

someObject = MyObjects.likeRequireNonNull(someObject);
someObject.toString(); // No error or warning.

但在某些情况下这是不可取的（lambdas）。

以上是因为 someObject 现在被重新分配给 @NonNull。

没有什么是因为我可以复制 Objects.requireNonNull 的行为，而无需将其分配回来。我无法弄清楚 Eclipse 如何通过外部注释知道 Objects.requireNonNull 将保证输入变量在以后的使用中不为空。

编辑：根据此错误，显然 Objects.requireNonNull 可能位于特殊的白名单中：https://bugs.eclipse.org/bugs/show_bug.cgi?id=553272

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

eclipseeclipse-eeaeclipse-jdtjavajava