3.10 表达式中的自动类型提升

除了赋值外，还有另外一个地方也可能会发生某些类型转换：在表达式中。为了分析其中的原因，考虑下面的情况。在表达式中，中间值要求的精度有时会超出操作数的范围。例如，检查下面的表达式：

中间部分a*b的结果很容易超出byte操作数的范围。为了解决这类问题，当对表达式求值时，Java自动将每个byte、short或char操作数提升为int类型。这意味着使用int类型而不是byte类型执行子表达式a*b。因此，尽管a和b都被指定为byte类型，中间表达式(50*40)的结果2000是合法的。

尽管自动类型提升很有用，但是它们会导致编译时混淆错误。例如，下面的代码看起来是正确的，但是会导致问题：

上面的代码试图将50*2——一个完全有效的byte值——保存在一个byte变量中。但是，当计算表达式的值时，操作数被自动提升为int类型，所以结果也被提升为int类型。因此，现在表达式的结果是int类型，如果不使用强制类型转换，就不能将结果赋给那个byte变量。尽管对于这个特定情况来说，所赋予的值仍然满足目标类型，但是仍然需要进行强制类型转换。

如果能理解溢出产生的后果，就应当使用显式的强制类型转换，如下所示：

这样就可以得到正确的值100。

类型提升规则

Java定义了几个应用于表达式的类型提升规则，如下所示：首先，正如刚才所描述的，所有byte、short和char类型的值都被提升为int类型。然后，如果有一个操作数是long类型，就将整个表达式提升为long类型；如果有一个操作数是float类型，就将整个表达式提升为float类型；如果任何一个操作数为double类型，结果将为double类型。

下面的程序演示了为了使第二个参数与每个二元运算符相匹配，如何提升表达式中的每个值：

	
	

		double result = (f * b) + (i / c) - (d * s);