利用数学里的一个破绽(1=0.9(9循环))来验证JAVA的编译优化

利用数学里的一个漏洞(1=0.9(9循环))来验证JAVA的编译优化

下面我们利用数学里的一个漏洞(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 ;