java 条件表达式（即三元操作符）的陷阱[转]

转: http://apps.hi.baidu.com/share/detail/5319426

 

下面的程序将会打印出什么呢？

public class DosEquis{

        public static void main(String[] args){

               char x = 'X';

               int i = 0;

               System.out.println(true ? x : 0);

               System.out.println(false ? i : x);

        }

}

 

 

这个程序由两个变量声明和两个print语句构成。第一个print语句计算条件表达式(true ? x : 0)并打印出结果，这个结果是char类型变量x的值’X’。而第二个print语句计算表达式(false ? i : x)并打印出结果，这个结果还是依旧是’X’的x，因此这个程序应该打印XX。

 

 

然而，如果你运行该程序，你就会发现它打印出来的是X88。这种行为看起来挺怪的。第一个print语句打印的是X，而第二个打印的却是88。它们的不同行为说明了什么呢？

 

 

答案就在规范有关条件表达式部分的一个阴暗的角落里。请注意在这两个表达式中，每一个表达式的第二个和第三个操作数的类型都不相同：x是char类型的，而0和i都是int类型的。混合类型的计算会引起混乱，而这一点比在条件表达式中比在其它任何地方都表现得更明显。你可能考虑过，这个程序中两个条件表达式的结果类型是相同的，就像它们的操作数类型是相同的一样，尽管操作数的顺序颠倒了一下，但是实际情况并非如此。

确定条件表达式结果类型的规则过于冗长和复杂，很难完全记住它们，但是其核心就是一下三点：

• 如果第二个和第三个操作数具有相同的类型，那么它就是条件表达式的类型。换句话说，你可以通过绕过混合类型的计算来避免大麻烦。
• 如果一个操作数的类型是T，T表示byte、short或char，而另一个操作数是一个int类型的常量表达式，它的值是可以用类型T表示的，那么条件表达式的类型就是T。
• 否则，将对操作数类型运用二进制数字提升，而条件表达式的类型就是第二个和第三个操作数被提升之后的类型。

2、3两点是关键。在程序的两个条件表达式中，一个操作数的类型是char，另一个的类型是int。在两个表达式中，int操作数都是0，它可以被表示成一个char。然而，只有第一个表达式中的int操作数是常量（0），而第二个表达式中的int操作数是变量（i）。因此，第2点被应用到了第一个表达式上，它返回的类型是char，而第3点被应用到了第二个表达式上，其返回的类型是对int和char运用了二进制数字提升之后的类型，即int。

 

 

条件表达式的类型将确定哪一个重载的print方法将被调用。对第一个表达式来说，print(char)将被调用，而对第二个表达式来说，PrintStream.print(int)将被调用。前一个重载方法将变量x的值作为Unicode字符（X）来打印，而后一个重载方法将其作为一个十进制整数（88）来打印。

 

 

总之，通常最好是在条件表达式中使用类型相同的第二和第三操作数。否则，你和你的程序的读者必须要彻底理解这些表达式行为的复杂规范。

 

 

对 语言设计者来说，也许可以设计一个牺牲掉了部分灵活性，但是增加了简洁性的条件操作符。例如，要求第二和第三操作数必须就有相同的类型，这看起来就很合 理。或者，条件操作符可以被定义为对常量没有任何特殊处理。为了让这些选择对程序员来说更加容易接受，可以提供用来表示所有原始类型字面常量的语法。这也 许确实是一个好注意，因为它增加了语言的一致性和完备性，同时又减少了对转型需求。

 

                                           

摘自《Java™ Puzzlers -- Puzzle 8: Dos Equis》

作者：Joshua Bloch, Neal Gafter

我的理解：

对于A?B:C

如果b和c是同一类型T，则T是条件表达式的返回类型。

如果b是类型T，c是int的常量，则T是条件表达式的返回类型。

如果b是类型T，c是int的变量，则返回类型被提升为int。

这个类型不知道能不能不是基础类型的呢？

实验证明，是可以的。

评论

1 楼 today2008 2013-08-20  

如果b是类型T，c是int的常量，则T是条件表达式的返回类型。 这样说其实是不对的

如果T的范围比 int 大，那肯定返回类型是T
如过T的范围比 int 小：一种情况是， int常量可以转换为T 类型，那返回T类型， 如果不能转换为T 类型，那 返回int类型