python中 ? : 三元表达式的使用介绍

(1) variable = a if exper else b
(2)variable = (exper and [b] or [c])[0]
(2) variable = exper and b or c

上面三种用法都可以达到目的，类似C语言中 variable = exper ? b : c;即：如果exper表达式的值为true则variable = b，否则，variable = c

例如：

代码如下:
a,b=1,2
max = (a if a > b else b)
max = (a > b and [a] or [b])[0] #list
max = (a > b and a or b)


现在大部分高级语言都支持“?”这个三元运算符(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的一点，为啥[""]为真而("")为假呢？