2021-2-6 java编译器的两点优化

一、优化一：自动强制转换

対于byte/short/char三种类型来説，如果右侧賦値的数値没有超过范圃，那么javac编译器将会自动隐含地为我们补上一个(byte)(short)(char)

public class test {
	public static void main(String[] args){
		byte a1 = 30;//未超过范围
		System.out.println(a1);//直接输出整数三十
		byte a2 = 300;//超过范围，报错
		System.out.println(a2);
	}
}

1.如果没有超过左侧的范围，编译器补上强转。

2.如果右侧超过了左侧范围，那么直接编译器报错。

二、优化二:编译器的常量优化

举个例子

public class test {
	public static void main(String[] args){
		short a1 = 5;
		short a2 = 8;
		short b1 = a1 + a2;//错误！
		/*当short类型相加时会自动提升到int类型相加，所以b应该是int类型。*/
	}
}

但是当直接用常量替换a1和a2时，却正确地输出了b

public class test {
	public static void main(String[] args){
		short a1 = 5;
		short a2 = 8;
		short b2 = 5 + 8;
		System.out.println(b2);
	}
}

在给变量进行赋值的时候，如果右侧的表达式当中全都是常量，没有任何变量,那么编译器javac将会直接将若干个常量表达式计算得到结果。(即在编译时就已经计算出结果)

“short result = 5 + 8；”等号右边全都是常量，没有任何变量参与运算编译之后，得到的.class字节码文件当中相当于 :

short result = 13;

右侧的常量结果数值，没有超过左侧范围，所以正确。

但需要注意的是，当表达式当中有变量参与，就不能进行常量优化。

public class test {
	public static void main(String[] args){
	short a = 1;
	short b = a + 1;//没有超过范围，但是错误。
	}
}

a是变量，不能当常量使用。为了防止a变化导致溢出，这里就不会将1直接代入a中。