以下在我的 Eclipse 中编译得很好:
final int j = 1/0;
// compiles fine!!!
// throws ArithmeticException: / by zero at run-time
Java 甚至一开始就阻止了许多“愚蠢的代码”(例如"Five" instanceof Number
不编译!),所以这甚至没有产生像警告一样多的事实让我感到非常惊讶。当您考虑允许在编译时优化常量表达式这一事实时,这种阴谋就会加深:
public class Div0 {
public static void main(String[] args) {
final int i = 2+3;
final int j = 1/0;
final int k = 9/2;
}
}
在 Eclipse 中编译,上面的代码片段生成以下字节码 ( javap -c Div0
)
Compiled from "Div0.java"
public class Div0 extends java.lang.Object{
public Div0();
Code:
0: aload_0
1: invokespecial #8; //Method java/lang/Object."<init>":()V
4: return
public static void main(java.lang.String[]);
Code:
0: iconst_5
1: istore_1 // "i = 5;"
2: iconst_1
3: iconst_0
4: idiv
5: istore_2 // "j = 1/0;"
6: iconst_4
7: istore_3 // "k = 4;"
8: return
}
如您所见,i
andk
赋值被优化为编译时常量,但除以0
(必须在编译时检测到)只是按原样编译。
javac 1.6.0_17
行为更加奇怪,静默编译,但将分配i
完全k
从字节码中删除(可能是因为它确定它们没有在任何地方使用)但保持1/0
原样(因为删除它会导致完全不同的程序语义)。
所以问题是:
- 实际上是
1/0
一个可以随时随地编译的合法 Java 表达式吗?- JLS 对此有何评论?
- 如果这是合法的,有充分的理由吗?
- 这可能有什么好处?