下面我们利用数学里的一个漏洞(1=0.9(9循环))来验证JAVA的编译优化 。
这个漏洞的基本内容是:
由 1/3 = 0.3(3循环)
可以推出
1/3*3 = 0.3(3循环)*3
可以推出
1=0.9(9循环) 而实际上0.9(9循环)的定义是无限接近于1,而不等于1的.
直接上代码
double a = 3 ;
double b = 1/a;
System.out.println("b=" + b);
// 执行输出b=0.3333333333333333
// 继续代码
double c = b*3 ;
System.out.println("b*3=" + c) ;
// 如果从b=0.33333333333333333这个结果来算的话
// b*3 = 0.33333333333333333*3 = 0.99999999999999999
// 然后实际输出结果却是
// b*3=1.0
代码结束。
为什么会出现这样的结果呢。其实很简单,就是JAVA的编译器在编译的时候执行了代码合并优化,
double a=3;
double b=1/a;
double c = b*3
这三个表达式在编译时其实被合并成了一个表达式
就是 c = 1/3*3 = (3*1)/3 = 1.0 ;