【java解惑】条件表达式结果类型规则

    如下代码：

public class Example008 {public static void main(String[] args) {char x = 'X';int i = 0;System.out.println(true ? x : 65535); //1System.out.println(true ? x : 65536); //2System.out.println(true ? x : i); //3System.out.println(false ? 0 : x);//4System.out.println(false ? i : x);//5}}

    输出结果：

X8888X88

    原因分析：

    对于这个结果，如果不了解条件表达式结果类型规则，那是必然大吃一惊的。条件表达式的输出结果类型规则大概可以归结为以下三条：

1. 如果第二个和第三个操作数具有相同的类型，那么它就是条件表达式的类型。换句话说，你可以通过过绕过混合类型的计算来避免***烦。

2. 如果一个操作数的类型是T，T表示 byte、short 或 char，而另一个操作数是一个int类型的常量表达式，它的值是可以用类型T表示的，那么条件表达式的类型就是T。

3. 否则，将对操作数类型运用二进制数字提升，而条件表达式的类型就是第二个和第三个操作数被提升之后的类型。

    了解以上规则后，重新分析代码：

1. 输出1中，65535是可以使用char来表示的（java中char占两个字节），所以，符合规则2，输出类型是char；

2. 输出2，虽然65536是int类型的常数，但是，它不能使用char来表示，char在java中最大只能表示65535。所以，符合规则3，输出类型是提升后的类型，int；

3. 输出3，虽然i是int类型的值，但是i不是常量是变量，所以依然符合规则3，输出类型为int；

4. 输出4，符合规则2，输出类型是char；

5. 输出5，符合规则3，所以输出类型是int。

     这样对输出结果就一目了然了。

（注：本【java解惑】系列，均是博主阅读《java解惑》原书后，将原书上的讲解和例子部分改编，然后写成博文进行发布的。所有例子均亲自测试通过，并共享在github上。通过这些例子，激励自己，惠及他人。同时，本系列所有博文会同步发布在博主个人微信公众号（搜索“爱题猿”或者“ape_it”），方便大家阅读。如果文中有任何侵犯原作者权利的内容，请及时告知博主，以便及时删除；如果读者对文中的内容有异议或者问题，欢迎通过博客留言或者微信公众号留言等方式共同探讨。）

源代码地址：https://github.com/rocwinger/java-disabuse

本文出自 “winger” 博客，谢绝转载！