J2SE综合 使用条件运算符的阵痛

一、案例编号：

U02C09

二、案例名称：

使用条件运算符的阵痛

三、关键词：

条件运算符、三目运算符、三元运算符、类型转换

四、案例情景描述：

    条件运算符有三个操作数。它的形式是：boolean-exp?exp1:exp2。它首先计算boolean表达式的值，如果为true那么整个表达式的值就是表达式exp1的值，如果boolean表达式的值为false，那么整个表达式的值就是exp2的值。

int k=(2>3)?23:45;因为boolean表达式2>3为false，所以k的值是45。

上述都是关于条件运算符值的确定，那么条件运算符值的类型又是怎么确定的呢？看下述代码：

（1）
char x=‘A’;    //line1
int i=0;    //line2
System.out.println(true?x:0);    //line3
System.out.println(true?x:1111111110);    //line4
System.out.println(false?i:x);    //line5

（2）
/*
*假设Test是已经定义的某个类
*/
Test t=flase?new Object():new Test();

五、案例理论分析：

1、我们先看第一个代码片段：三个输出语句会输出什么结果呢？

你也行会认为输出结果是：
'A'
'A'
'A'

当你运行一下这段代码，它的真正结果是：
'A'
65
65

为什么会有这样的结果呢？实质上这就是条件运算符对于运算结果类型的限制：

（1）如果表达式1和表达式2具有相同的类型，那么整个条件运算符结果的类型就是这个类型。

（2）如果一个表达式的类型是T，T是byte或short或char，另一个表达式的类型是int类型的常量表达式，而且这个常量表达式的值是可以用类型T表示的（也就是说，常量表达式的值是在类型T的取值范围之内），那么整个条件运算符结果的类型就是T。

（3）除以上情况外，如果表达式1和表达式2的类型不同，那么将进行类型提升，整个条件运算符结果的类型就是提升后的类型。

    System.out.println(true?x:0);    //line3。表达式1是char类型，表达式2是int类型的常量表达式，而且这个常量表达式的值0可以用char类型来表示，因此整个条件运算符结果的类型就应当是char类型，所以输出的结果就是'A'。

    System.out.println(true?x:1111111110);    //line4。表达式1是char类型，表达式2是int类型的常量表达式，但是这个常量表达式的值已经超出了char类型的取值范围，因此要进行类型提升，把char类型提升为int类型，整个条件运算符结果的类型就是int类型了，所以输出的结果是65（字符A的ASCII码）。

    System.out.println(false?i:x);    //line5。表达式1是int类型的变量，表达式2是char类型的变量，没有常量表达式。因此要进行类型提升，把char类型提升为int类型，整个条件运算符结果的类型就是int类型。所以输出结果就是65。

2、我们再看第二个代码片段，它的结果是在编译阶段引发错误。为什么？

    Test t=flase?new Object():new Test();我们看到表达式1是Object类型，表达式2是Test类型。没有常量表达式，类型不同，因此要进行类型提升的。要把Test类型提升为Object类型，因此整个条件运算符结果的类型应当是Object类型。当在赋值的时候要把Object类型赋值给Test类型的变量，当然会引发编译错误。