为什么不能在 Java 中注释所有语句？

Question

我天真地尝试这样做时遇到了一个简单的问题：

public void someMethod(){    
  int x = 0;
  ...
  @SuppressWarnings({"rawtypes", "unchecked"})
  x = ((Comparable)lhs).compareTo(rhs);
  ...
}

这是非法的，必须改写才能编译：

public void someMethod(){  
  ...  
  @SuppressWarnings({"rawtypes", "unchecked"})
  int x = ((Comparable)lhs).compareTo(rhs);
  ...
}

我已将问题追溯到ElementType：语句似乎不是有效的程序元素。这相当令人困惑——我认为语句类似于所有编程元素的超类型。

1. 是否存在限制有效元素的理论或技术原因？

2. 能否以不同的方式完成 - 即假设我可以用自己的班级取代 ElementType 并掌握涟漪变化，我可以注释任何声明吗？

Answer 1

如果您查看the Javadoc for @SuppressWarnings，您会看到答案：它声明的目标是

@Target(value={TYPE,FIELD,METHOD,PARAMETER,CONSTRUCTOR,LOCAL_VARIABLE})

换句话说，它不能合法地应用于语句。但是，它可以应用于变量声明。它与语句是否是程序元素无关；基本上是因为这个注解只适用于事物的声明。

此外，如果您查看 the Javadoc for the enumeration that describes things that can have annotations, 语句和表达式，则不在选择之列。一般来说，注释可以应用于事物的声明，而不是代码。

这样做的理论上的原因只是注释被存储为类文件中声明的单个项目的属性。陈述不合格；当你的代码被编译时，语句已经不存在了。只有一个字节码流，它来自的语句的唯一提醒是（可选的）行号表。为了解决这个问题，他们需要在类文件中添加一个新属性来引用各个字节码，如this proposal, 并处理由此产生的许多复杂性。

Answer 2

我知道一个答案已经被接受，只是把它扔在那里。以下是 JSR-175 的常见问题解答的摘录，它最初为 Java 添加了注释：

为什么不能注释任意程序元素，例如块和单个语句？

这会使注释语法大大复杂化：我们不得不牺牲说注释只是修饰符的简单性，可以在声明中使用。

换句话说，因为工作量太大:-)

Answer 3

has been proposed 作为JSR-308 的一部分允许对语句进行注释，但目前不支持并且不会成为下一个 Java 语言版本（即 Java 8）的一部分。

我猜在语言中添加注释时，主要目标类和方法级别的信息主要围绕运行时用例（例如 Java EE、JPA、JAX-WS 等）制作，而语句级别的注释主要在编译时有用（有关用例列表，请参阅上面的 wiki 链接）。

Answer 4

Java 中的声明是具有标识符的实体，可以从程序的其他部分引用。语句不符合该标准 - 它是一个可能导致将值分配给某个声明的实体的操作。

Java 规范 (http://docs.oracle.com/javase/specs/jls/se5.0/html/names.html#6.1) 的第 6.1 节列出了声明的类型，与 ElementType 枚举值一致。