NonNull 注解的实现

Question

我想我会更深入地研究旧的 Java 功能，例如注释。我遇到了 Java 8 类型注释，它使我们能够扩展 Java 类型系统。IntelliJ 注释库或 Checkerframework 中最常见的注释“NonNull”或“NotNull”对我来说仍然是个谜。在文档中我只能找到接口的声明，但找不到注释处理器是如何实现的。我喜欢编写自己的自定义注释，在编译时检查特定类型，但我不知道如何开始。

有谁知道“NonNull”或“NotNull”通常如何在注释处理器中实现？。或者向我指出可以回答我的问题的资源或文档？

Answer 1

您提到了 IntelliJ IDEA 和 Checker 框架。IDEA源码和Checker Framework源码可供您阅读和学习。检查器框架手册解释了如何创建新的检查器以及解释更多理论的出版物的链接。