IntelliJ为Function类自动推断的@NotNull注解来源解析

• 这个@NotNull注解不是来自JDK源码本身，而是IntelliJ IDEA内置的JDK空值契约数据。JetBrains为JDK核心类（包括java.util.function.Function这类标准函数式接口）预先维护了一套空值行为规则——比如Function作为函数式接口，在常规使用场景中实例预期是非空的，IDEA就会基于这套内置规则自动推断并显示@NotNull注解。

• 你的自定义类没有这个待遇，是因为IDEA的内置契约库只覆盖JDK标准类，不会默认包含自定义类。哪怕你的自定义类是函数式接口、上下文也明确非空，IDEA没有预设的规则可依赖，自然不会自动添加@NotNull。

• 补充：这个推断和@FunctionalInterface注解没有直接关联，只是JDK的标准函数式接口刚好在IDEA的内置契约覆盖范围内而已。如果你想让自定义类也有类似的自动推断，可以手动给类/方法添加JetBrains的@NotNull注解，或者在IDEA的空值检查配置里为自定义类设置契约规则。

内容的提问来源于stack exchange，提问作者jeancallisti