python中三元操作符
GavinGuan 2013-06-26
python不支持C/C++中的三元操作符 ？：，替代的方法是 ...if... else...
举例，用下面的语法实现求三个数的最小值。
nD1 if nD1 < ( nD2 if nD2<nD3 else nD3) else (nD2 if nD2 < nD3 else nD3)
python三元运算符的正确方法
因为下周要用php写项目，所以周末在家里重新看php的语法，看到三元描述符，突然想起来python是没有三元描述符的，印象中依稀记得有模拟的实现，于是上网上搜了一下。
(对应C语言的 X ? V1:V2)
其中一种是：
(X and V1) or V2
正常情况下是不会有错误的，但是文章中也提到了，当V1=""时，就会有问题
比如
复制代码 代码如下:
print (True and '') or 'V'
print (False and '') or 'V'
输出永远都是： V
完美的解决方案是在《python核心编程中提到的》：
V1 if X else V2
原文如下：
如果你来自 C/C++ 或者是 Java 世界, 那么你很难忽略的一个事实就是 Python 在很长的一
段时间里没有条件表达式(C ? X : Y), 或称三元运算符. ( C 是条件表达式; X 是 C 为 True 时
的结果, Y 是 C 为 False 时的结果) 贵铎·范·罗萨姆一直拒绝加入这样的功能, 因为他认为应
该保持代码简单, 让程序员不轻易出错. 不过在十年多后, 他放弃了, 主要是因为人们试着用
and 和 or 来模拟它, 但大多都是错误的. 根据 FAQ , 正确的方法(并不唯一)是
(C and [X] or [Y])[0] . 唯一的问题是社区不同意这样的语法. (你可以看一看 PEP 308, 其
中有不同的方案.) 对于Python 的这一问题，人们表达了极大的诉求.
贵铎·范·罗萨姆最终选择了一个最被看好(也是他最喜欢)的方案, 然后把它运用于标准库中
的一些模块. 根据 PEP , "这个评审通过考察大量现实世界的案例, 包含不同的应用, 以及由不同
程序员完成的代码." 最后 Python 2.5 集成的语法确定为: X if C else Y .
如上文所说，该语法在python2.5才被加入，但是因为平时也不会用到2.4及以前的版本，所以也就够用了~
现在大部分高级语言都支持“?”这个三元运算符(ternary operator)，它对应的表达式如下：condition ? value if true : value if false。很奇怪的是，这么常用的运算符python居然不支持！诚然，我们可以通过if-else语句表达，但是本来一行代码可以完成的非要多行，明显不够简洁。没关系，在python里其实还是有对应的表达方式的。
举个例子：char *ret = (x!=0) ? "True" : "False"这行代码对应的python形式就是ret = (x and "True") or "False"（很简单吧，事实上括号可以去掉）。运行时，python虚拟机会对赋值符右边的布尔表达式(注意这里并非三元表达式)求值，返回值是最后一个被分析到的值。为什么是“最后一个被分析到的”而不是表达式中“最后一个”呢？因为布尔表达式有一个短路效应，比如a or b，如果a为真那么就不会分析b了。嗯，估计现在大家差不多明白了这行python代码的原理了。如果x为真，由于字符串“True”也为真，于是返回"True"，反之，x为假，那么就没必要看字符串"True"了（短路效应），直接返回"False"。
不难看出，三元运算在python中事实上可以通过借用布尔求值表达。然后，有时会有点小问题。举个例子，char *ret = x ? "" or "VAL"。根据前面的例子，我们很自然想到在python里应该这样写，ret = x and "" or "VAL"。错了！不管x的布尔求值是真还是假，ret得到的总是"VAL"。奇怪么?不奇怪，因为在python中对空字符串的布尔求值为false，这样x and ""永远都是false,所以ret得到的自然总是"VAL"了。解决这个问题有两种办法，第一种，也是我喜欢的一种，就是写成ret = not x and "VAL" or ""。第二种，麻烦一点ret=x and [""] or ["VAL"],然后每次取ret[0]作为返回值，这是因为[""]在布尔求值时值为true。
讨论一：第一种方法代码明显要简洁，效率也高，那么还有必要使用第二种么？当然，第一种办法有局限性，只有当我们非常明确其中一个值布尔求值时不可能为false时才能使用。在我们的示例中，由于"VAL"肯定返回true所以可以使用。如果是两个变量呢，像这样ret=x and val1 or val2，你就只能老老实实写成ret=x and [val1] or [val2]，然后取ret[0]作为结果了。因为这行语句所表达的不是“当x为真返回val1，否则返回val2”，而是“当x为真并且val1为真返回val2，否则返回val2”。
讨论二：大家都知道python里有list和tuple，前面这行代码ret=x and [""] or ["VAL"]我们就是通过list解决，有的人可能偏爱tuple，于是就会这样写ret=x and ("") or ("VAL")。错了！这里ret[0]永远都是空字符串(在2.5上测试)。这是我比较faint的一点，为啥[""]为真而("")为假呢？
最后，附上python对典型数值的布尔求值结果，这对我们书写三元运算的等价语句很有用。
