为什么在注释中禁止 null 作为默认值？

Question

根据Annotation default "null" value，注释中禁止空值作为默认值。 我想知道为什么。这是什么原因？

Answer 1

请注意，null 不仅不支持作为默认值，也不支持作为注释值一般。

JLS §9.7.1 指定：

如果元素类型与元素值不相称，则为编译时错误。当且仅当满足以下条件之一时，元素类型 T 与元素值 V 相称：

• T 是数组类型 E[]，并且：

  • 如果V 是ConditionalExpression 或Annotation，则V 与E 相称；或

  • 如果V 是一个ElementValueArrayInitializer，那么V 包含的每个元素值都与E 相称。

    ElementValueArrayInitializer 类似于普通数组初始化程序 (§10.6)，除了 ElementValueArrayInitializer 在语法上可能包含注释以及表达式和嵌套初始化程序。但是，嵌套初始化器在 ElementValueArrayInitializer 中在语义上是不合法的，因为它们永远不会与注释类型声明中的数组类型元素相称（不允许嵌套数组类型）。

• T 不是数组类型，V 的类型与T 的赋值兼容（§5.2），并且：
  • 如果T 是基本类型或String，则V 是常量表达式(§15.29)。
  • 如果T 是Class 或Class (§4.5) 的调用，则V 是一个类文字(§15.8.2)。
  • 如果 T 是枚举类型 (§8.9)，则 V 是枚举常量 (§8.9.1)。
  • V 不是 null。

最后一个禁止null 的项目符号看起来很随意，但即使没有那个项目符号，null 也不是合法值，因为它既不是常量表达式、类文字也不是枚举常量。

所以最后一个项目符号只是明确表明这不是疏忽。

当注释被添加到语言中时，编译时常量的定义已经存在，包括存储它们的字节码格式。类字面量也在语法上定义，但与常量不同。但是有了JDK-4662563，它们的字节码格式就等同于同一版本中的其他常量。所以对类文字的支持对于注解也是很自然的。

唯一为注释支持添加的功能是对枚举常量的引用和数组的存储格式。两者都立即证明了它们作为注解定义本身所需的内置注解的有用性，@Retention 和 Target 都使用枚举常量，而后者也使用数组。

因此，null 并未从合法构造集中删除，它从未被添加。考虑的用例既不直接也不自然。

This answer 表明添加对null 的支持的建议最初已被考虑用于类型注释提案（另请参见the archive link），此时提出反对意见。众所周知，Java 8 引入了类型注解，而不支持 null（其他建议，如可重复注解，使其成为语言）。