Python 三元条件判断表达式(and or/if else)

提醒：本页面将不再更新、维护或者支持，文章、评论所叙述内容存在时效性，涉及技术细节或者软件使用方面不保证能够完全有效可操作，请谨慎参考！

之前学习的Python提到了对于类似C语言的三元条件表达式 condition ? true_part : false_part ，虽然Python没有三目运算符( ?: )，但也有类似的替代方案，那就是 true_part if condition else false_part 。

>>> 1 if True else 0
1
>>> 1 if False else 0
0
>>> "Fire" if True else "Water"
'Fire'
>>> "Fire" if False else "Water"
'Water'

在编程中我也一直这么用了，直到有一天发现了一个有趣的技巧，那就是and-or技巧，利用条件判断的优先特性来实现三元条件判断，比如P∧Q，在Python中如果P为假，那么Python将不会继续执行Q，而直接判定整个表达式为假（P值），当然如果P为真，那就还要继续执行Q来决定整个表达式值；同样的P∨Q，如果P为真，那么就不会继续执行Q了...

其实很多编程语言在逻辑判断中都应用了这套机制，目前我接触下来的貌似VB/VBScript可能不是这么做的。有了这套机制除了在if判断中提高效率外，我们还可以额外发掘一些有趣的功能，比如下面的PHP代码：

$conn = @mysql_connect(...) or die("Failed")

如果 mysql_connect 成功的话将会返回resource资源句柄，如果失败的话将会返回False，等等，后面还有个or，也就是失败的话还将会继续执行or后面的die语句，于是输出了错误信息并终止后续代码的执行。

再如下面的JavaScript代码：

function getEvent(e) {
    e = e || window.event;
    return e;
}

这段代码获取的是event，假如没有给getEvent传入值（即e为undefined），或者e为NULL（两者在JavaScript条件中均代表False）， e = e || window.event 表达式将会把 window.event 赋值给e，否则e为Object对象，原表达式会蜕化为e = e赋值，也就是没有改变什么。

好了，扯了这么多，稍稍有些偏题了，下面继续聊Python的and-or技巧，可以这么说，这个技巧也是利用了逻辑判断的特殊性，貌似在真正的三元表达式if else没有出来的时候其就一直在扮演三元表达式的角色，其原型是 condition and true_part or false_part ，下面举几个例子：

>>> True and 1 or 0
1
>>> False and 1 or 0
0
>>> True and "Fire" or "Water"
'Fire'
>>> False and "Fire" or "Water"
'Water'

但是值得注意的是虽然表面看上去能够正常工作，其实还潜藏有不可知的风险，若我们的 true_part 本身就是个被Python认定为False的值，这个技巧就不可用了，我们知道空字符串就是这种情况。

>>> True and "" or "Water"
'Water'

上面的表达式其实我们期望返回空字串的，如何解决呢，我在 Dive Into Python中找到了解决方案：那就是利用列表特性，因为包含空字符串的列表其表达式值仍然为True，所以我们可以用列表先包装一下，然后等表达式判断完毕后在解包：

>>> a = ""
>>> b = "Water"
>>> (True and [a] or [b])[0]
''

当然为了避免出错，我们可以将其包装为函数：

def iif(condition, true_part, false_part):
    return (condition and [true_part] or [false_part])[0]

现在Python已经在语言特性中加入三元条件表达式的支持了，那就是文章一开始介绍的if else写法，所以为了妥善起见，对于三元判断还是用新的if else特性吧，其实Python官方对于加入三元表达式语法也是讨论了很久的，可以参考《PEP 308 -- Conditional Expressions》。