java - 有没有办法让空变量在我的代码库中自动快速失败，除非它们被标记为 `@Nullable` ？

Question

一次偶然的机会我看到了这篇文章:https://github.com/google/guice/wiki/UseNullable

To eliminate NullPointerExceptions in your codebase, you must be disciplined about null references. We've been successful at this by following and enforcing a simple rule: Every parameter is non-null unless explicitly specified.

这是通过剪切规则完成的，还是以某种方式自动化？不幸的是，似乎是前者？有没有办法让空变量在我的代码库中自动快速失败，除非它们被标记为@Nullable？

Answer 1

它是自动化的，而不是完全按照纪律完成的。

正如 Louis Wasserman 所指出的，Google 的测试代码对标记为 @Nullable 的参数进行了特殊处理。

在测试期间或运行时快速失败可能是件好事，但更好的是在编译时了解问题或获得运行时不会发生错误的编译时保证。

Google 之前使用过 FindBugs帮助在编译时查找空指针异常，但 Google 现在基本上放弃了 FindBugs，因为将其与 Google 构建系统集成很困难。

Google 的数十个项目都使用 Checker Framework的Nullness Checker在编译时静态查找空指针错误。空值检查器有 found errors在 Google Collections 库中，该库是 Guava 的一部分。

此信息的来源是在 Google 从事编程工具工作的 friend 。