Preconditions.checkNotNull触发空值警告：是Android Studio配置问题还是Guava Bug？

咱们先拆解一下这个问题：这既不是Android Studio的配置错误，也不是Guava的Bug，本质是静态代码分析工具的严格检查逻辑，和GuavacheckNotNull方法注解的设计意图之间的小错位。

为什么会出现警告？ #

Android Studio的静态检查（比如IntelliJ内置的代码检查或者Android Lint）会分析代码中的表达式是否可能为null。当你写datas.get(name)时，工具判断这个调用有可能返回null（比如Map的get方法本身就允许返回null），而Guava的checkNotNull第一个参数被标注了@NonNullDecl——这个注解在静态分析工具看来，就是“这个参数绝对不能传null”。所以工具就会抛出警告：“你传了一个可能为null的值给一个声明为非空的参数”。

Guava的@NonNullDecl到底想表达什么？ #

看checkNotNull的源码就能明白，这个方法的核心作用就是在参数为null时抛出NullPointerException，它本身就是用来处理“参数可能为null”的场景的。那为什么要给第一个参数加@NonNullDecl？

这个注解是Guava用来定义方法契约的：

• 对调用者来说：调用checkNotNull后，你可以完全信任返回值是非null的（因为null的话已经抛异常了）；
• 对方法本身来说：@NonNullDecl是在告诉开发者“这个方法的设计目的是确保返回值非null，所以你应该只在需要做null检查的场景调用它”。

它并不是在限制调用者“绝对不能传null”，而是在声明“这个方法会处理null的情况，最终返回非null值”。但静态分析工具不会区分这个语境，只会严格按照注解的字面意思——“这个参数不允许为null”——来做检查。

怎么解决这个警告？ #

有几个可行的方案：

• 调整静态检查规则：在Android Studio的Settings > Editor > Inspections > Java > Probable bugs > Passing nullable argument to non-null parameter里，把这个警告的级别调低（比如改成“Info”或者“Disabled”），或者添加例外规则，让工具忽略对GuavaPreconditions.checkNotNull方法的这个检查。
• 给datas.get(name)加注解：如果datas是你自己维护的Map，可以给它的get方法加上@Nullable注解，让工具明确知道这个调用可能返回null，不过这可能不会直接消除警告，但能让工具的提示更准确。
• 使用Suppression注解：在代码行上方添加@SuppressWarnings("NullableProblems")（或者对应规则的注解），局部消除这个警告。

内容的提问来源于stack exchange，提问作者David Michael Gang