在編程時(shí)，我們經(jīng)常要作條件判斷，并根據(jù)條件的結(jié)果選擇執(zhí)行不同的語句塊。在許多編程語言中，最常見的寫法是三元運(yùn)算符，但是，Python 并不支持三元運(yùn)算符，無獨(dú)有偶，兩個(gè)最熱門的新興語言 Go 和 Rust 也不支持！

為什么 Python 不支持三元運(yùn)算符呢？本文將主要分析 Python 在設(shè)計(jì)條件選擇語法時(shí)的過程，科普為什么它會采用現(xiàn)今的與眾不同的實(shí)現(xiàn)方案，同時(shí)，我們也將考察為什么其它語言也要拋棄傳統(tǒng)的三元運(yùn)算符。

在開篇之前，我再聲明一下：就像“Python為什么”系列的大部分文章一樣，本文關(guān)注的僅是一個(gè)很小的語法點(diǎn)，但它并不是“茴香豆有幾種寫法”那種毫無意義的話題。因?yàn)?，?xì)微之處見真功夫，深入研究語言設(shè)計(jì)背后的原因、歷史和哲學(xué)，可以讓我們在編程時(shí)有更加清晰和自由的思維。

什么是三元運(yùn)算符？

三元運(yùn)算符通常指的是“?:”，其語法形式為：condition ? expression1 : expression2，如果 condition 為真，則取 expression1，若不為真，則取 expression2。

語法簡化形式“a ? b : c”，可以讀成“如果 a 條件成立，則為 b，否則為 c”。

三元運(yùn)算符是對普通一重 if-else 結(jié)構(gòu)的簡化，常用于在一條語句中同時(shí)實(shí)現(xiàn)條件判斷和取值操作。

// 常規(guī) if-else 
if (a > b) {
    result = x;
} else {
    result = y;
}

// 簡化后的寫法
result = a > b ? x : y;

采用了這種語法設(shè)計(jì)的編程語言有很多，比如 C、C#、C++、Java、JavaScript、PHP、Perl、Ruby、Swift 等等。毫無爭議，它就是編程語言界的主流設(shè)計(jì)方案（至今仍是）。

這種語法非常簡潔高效，代碼的可讀性也很強(qiáng)（如果你不是第一次接觸的話），深得很多人的喜歡。

但是，它并非毫無缺點(diǎn)。Python 是這種語法設(shè)計(jì)的最著名的挑戰(zhàn)者，接下來，我們將看看為什么 Python 要另辟蹊徑。

Python 社區(qū)的投票

Python 發(fā)布于 1991 年，但在接下來的 15 年里，除了 if-else 語法外，它并不支持三元運(yùn)算符和其它條件表達(dá)式。而且，在 2006 年引入條件表達(dá)式前，社區(qū)對此進(jìn)行了漫長而曲折的爭論，可以說這是一個(gè)設(shè)計(jì)得很艱難的語法了。

最初，由于時(shí)常有人請求添加 if-then-else（三元）表達(dá)式，因此在 2003 年 2 月，PEP 308 – Conditional Expressions 被提了出來，目的是讓社區(qū)選出一個(gè)讓多數(shù)人支持的方案。

PEP-308

很快，除了少部分人希望啥也不做外，社區(qū)里出現(xiàn)了好幾種方案：

（1）使用標(biāo)點(diǎn)符號構(gòu)建的三元運(yùn)算符

即常規(guī)的三元運(yùn)算符，跟前文介紹的語法一樣：

<condition> ? <expression1> : <expression2>

這個(gè)方案的呼聲挺高，有開發(fā)者甚至已提交了實(shí)現(xiàn)代碼。但是，Guido 給出了兩個(gè)反對的理由：冒號在 Python 中已經(jīng)有許多用途（即使它實(shí)際上不會產(chǎn)生歧義，因?yàn)閱柼栃枰ヅ涿疤枺?；對于不?xí)慣 C 衍生語言的人來說，理解起來很困難。

（2）使用現(xiàn)有和新的關(guān)鍵字構(gòu)建

引入新的“then”關(guān)鍵字，結(jié)合現(xiàn)有的“else”關(guān)鍵字：

<condition> then <expression1> else <expression2>

它的優(yōu)點(diǎn)是簡單明了、不需要括號、不改變現(xiàn)有關(guān)鍵字的語義，不大可能與語句混淆，而且不需要重載冒號。缺點(diǎn)是引入新關(guān)鍵字的實(shí)現(xiàn)成本較高。

（3）其它思路

跟上一種方案的思路相似，但沒有上述兩類方案的支持度高。

(if <condition>: <expression1> else: <expression2>)
<condition> and <expression1> else <expression2>
<expression1> if <condition> else <expression2>
cond(<condition>, <expression1>, <expression2>)

值得一提的是(if <condition>: <expression1> else: <expression2>) ，它是常規(guī) if-else 語法的扁平化，容易理解，但缺點(diǎn)是需要使用圓括號，容易跟生成器表達(dá)式混淆，而且需要解釋器對冒號做特殊化處理。

另外值得一提的是<expression1> if <condition> else <expression2>，它是 PEP-308 最早版本的推薦方案，但是這種不將條件放在首位的風(fēng)格讓一些人感覺不舒服，而且，當(dāng)“expression1”很長的時(shí)候，很容易就忽略掉它的條件。

當(dāng)時(shí)參與投票的全部設(shè)計(jì)方案：

總體上，開發(fā)者們希望引入某種形式的 if-then-else 表達(dá)式，但投票后卻沒有哪種方案能取得絕對的優(yōu)勢。概括起來，分歧的問題主要有：是否用標(biāo)點(diǎn)符號、是否復(fù)用關(guān)鍵字、是否復(fù)用圓括號、是否引入新關(guān)鍵字、是否引入新語法……

由于得票太分散，因此，這個(gè) PEP 在當(dāng)時(shí)被拒絕了。PEP 中寫道：“Python 的一個(gè)設(shè)計(jì)原則是在不確定采取哪條路線時(shí)，則保持現(xiàn)狀?！?/p>

and-or 用于條件選擇的問題

以上的投票事件發(fā)生在 2004 年 3 月，但是，在 PEP 被拒絕后，相關(guān)話題的討論并未平息，因?yàn)榇蠹铱傁胝乙环N簡潔的方式來替換“if-else“。

時(shí)間到了 2005 年 9 月，郵件組中有人提議在  Py3.0 中變更"and"與"or"操作符的邏輯，提議將"and" 和 "or" 運(yùn)算符簡化成始終返回布爾值，而不是返回最后一個(gè)被求值的參數(shù)。

之所以發(fā)起這個(gè)提議，原因是他使用了<condition> and <expression1> or <expression2>的方式來實(shí)現(xiàn)條件判斷與選擇。但是這種寫法在 Python 中的行為跟有些語言并不一樣，使用不嚴(yán)謹(jǐn)?shù)脑挘赡軙劤?Bug！

看看下面的兩個(gè)例子，你覺得它們會得到什么結(jié)果呢？

a = True and True or "Python貓"

b = True and False or "Python貓"

對于<condition> and <expression1> or <expression2> ，若 condition 為假，則會直接對 expression2 求值并返回結(jié)果；若 condition 為真，則先對 expression1 求值，若也為真，則不會繼續(xù)對 expression2 求值，若 expression1 不為真，則對 expression2 求值。

因此，上述例子得到的 a 是“True”，而 b 會得到“Python貓”。

本系列的《Python 為什么能支持任意的真值判斷？ 》介紹過 Python 在真值判斷的特殊之處，運(yùn)用到以上結(jié)構(gòu)中，將出現(xiàn)更不易察覺的問題。比如，該郵件的作者就是遇到了“expression1”為復(fù)數(shù)“0+4i”，這個(gè)數(shù)的真值判斷為 False，因此導(dǎo)致最后返回的不是預(yù)期的“expression1”，而是“expression2”！

在沒有更好的方案前，“and-or”是比較常見的條件選擇寫法，PEP-308 也提及了它，也指出了當(dāng)“expression1”為假的情況，還認(rèn)為這種方案是丑陋和令人費(fèi)解的。

這封郵件再次引發(fā)了社區(qū)對條件選擇語法的討論，大佬們紛紛登場。

以我現(xiàn)在的視角分析，其實(shí)就是開發(fā)者們不滿足于“if-else”的現(xiàn)狀，但是當(dāng)時(shí)流行的“and-or”寫法并不夠好，因此，大家期望 Python 設(shè)計(jì)出新的規(guī)范性語法，來解決這個(gè)痛點(diǎn)。

與眾不同的條件表達(dá)式

在經(jīng)過 10 天的郵件討論后，Guido van Rossum 最終決定添加一個(gè)條件表達(dá)式，語法形式為X if C else Y 。因此，PEP-308 被重開和更新，并很快就在次年的 2.5 版本中實(shí)現(xiàn)了。

前文已提到過這個(gè)讓一些人感覺不舒服的方案了，因?yàn)樗鼪]有將條件判斷邏輯放在最前面。

那么，為什么最后的勝者會是它呢？這是不是最優(yōu)的設(shè)計(jì)呢？

不可否認(rèn)，起到?jīng)Q定性作用的原因是 Guido。由于社區(qū)在一年半前投票時(shí)沒有形成多數(shù)意見，因此他行使 BDFL （終身仁慈獨(dú)裁者）的決策權(quán)力，裁定出一個(gè)他認(rèn)為是最佳的方案。

X if C else Y 非常易于理解，可讀性高。它延續(xù)了“明確優(yōu)于隱式”的風(fēng)格，使用了直觀口語化的“if-else”，而不是引入可能引起混淆的標(biāo)點(diǎn)符號，就像 Python 選擇“and”和“or”兩個(gè)單詞，而不是“&&”和“||”兩個(gè)符號，它們有著異曲同工之妙。

雖然調(diào)整后的語法順序讓人不太習(xí)慣，但其實(shí)這樣的實(shí)現(xiàn)卻大有好處。首先，它只需復(fù)用“if-else”兩個(gè)關(guān)鍵字，而不需要引入“then”、“when”和其它語法要素，也不像(if <condition>: <expression1> else: <expression2>) 那樣的繁瑣。

其次，為了驗(yàn)證X if C else Y 的有效性，Guido 排查了標(biāo)準(zhǔn)庫中所有“and-or”組合的寫法，發(fā)現(xiàn)那些C and X or Y 寫法都可以被X if C else Y 替換掉。標(biāo)準(zhǔn)庫的情況，證明了這新的語法是可行的。

最后，在 PEP-308 提及的原因外，我還想補(bǔ)充一點(diǎn)。據(jù)觀察，我發(fā)現(xiàn)很多時(shí)候我們有一個(gè)已初始化的變量，然后需要在出現(xiàn)某個(gè)條件時(shí)，更新變量的值。在這種情況下，“else”部分可以被省略，非常便捷。

my_str = ""
# 中間存在其它代碼邏輯
# 當(dāng) condition 為真時(shí)，變量會被重新賦值
my_str = "Python貓" if condition

回顧這段歷史，我們可以梳理出一條線索：Python 沒有設(shè)計(jì)三元運(yùn)算符“?:”，主要是因?yàn)樗环?Python 明確直觀的設(shè)計(jì)風(fēng)格。最后采用X if C else Y 這種設(shè)計(jì)，主要的意圖其實(shí)是消除“and-or”寫法的隱患，這種設(shè)計(jì)簡明易讀，而且還有<expression> if <condition> 簡化寫法的妙用。

總體而言，Python 設(shè)計(jì)者非?？粗乜勺x性與可維護(hù)性，不采用三元運(yùn)算符而創(chuàng)造條件表達(dá)式語法，這是一個(gè)經(jīng)過了開放討論、謹(jǐn)慎評估與權(quán)衡取舍的結(jié)果。

Go、Rust 為什么不支持三元運(yùn)算符？

考察完 Python 的設(shè)計(jì)原因后，我們再來考察“反派陣營”中兩門最熱門的語言。

首先是 Go 語言，官網(wǎng)的 FAQ 專門列出了一個(gè)問題：“Why does Go not have the ?: operator?”。

Go 語言不支持“?:”運(yùn)算符，而是推薦使用原生的“if-else”寫法。文檔的解釋很簡短，只有一段話：

Go 語言沒有 ?: 運(yùn)算符，因?yàn)檎Z言的設(shè)計(jì)者們經(jīng)?？吹剿挥脕韯?chuàng)建難以理解的復(fù)雜表達(dá)式。雖然 if-else 形式比較長，但是它無疑更清晰易懂。一個(gè)語言只需要一個(gè)條件控制流結(jié)構(gòu)。

接著是 Rust 語言，它的官方文檔中似乎沒有任何關(guān)于不支持三元運(yùn)算符的解釋。但在查閱資料后，我發(fā)現(xiàn)它也有一段特殊的故事，非常有意思：在 2011 年 6 月時(shí)，Rust 曾經(jīng)引入過三元運(yùn)算符（#565），然而半年后，設(shè)計(jì)者意識到這個(gè)特性是多余的，因此又把它移除了（#1698、#4632）!

為什么三元運(yùn)算符在 Rust 是多余的呢？因?yàn)樗?if 語法并不像其它語言是“語句（statement）”，而是一個(gè)“表達(dá)式（expression）”，這意味著你可以直接將 if 表達(dá)式賦值給變量：

// 若條件為真，得到 5，否則 6
let number = if condition { 5 } else { 6 };

這種語法形式足夠簡單明了，不就是將大家都熟悉的“if-else”直接用于賦值么，太方便了，替換成三元運(yùn)算符的話，確實(shí)有點(diǎn)畫蛇添足之感。

另外，Rust 使用花括號劃分代碼塊，因此上例的花括號內(nèi)可以包含多條表達(dá)式，也支持換行，例如這個(gè)例子：

let x = 42;
let result = if x > 50 {
    println!("x is greater than 50");
    x * 2 // 這是一個(gè)表達(dá)式，將返回的值賦給 result
} else {
    println!("x is less than or equal to 50");
    x / 2 // 也是一個(gè)表達(dá)式，將返回的值賦給 result
};

這種用法，Python 是不可能做到的。最關(guān)鍵的區(qū)別在于，Rust 的 if 是表達(dá)式而不是語句。

這兩個(gè)概念的區(qū)別是：

• 表達(dá)式（expression）通常指的是由變量、常量、運(yùn)算符等組成的一個(gè)可求值的代碼片段，它的求值結(jié)果可以用到其它表達(dá)式或語句中。
• 語句（statement）通常指的是完成某個(gè)任務(wù)的單個(gè)指令或一組指令，例如賦值語句、條件語句、循環(huán)語句等，它沒有返回值（或者為空），不能用于賦值操作。

除了 Rust 外，還有一些編程語言中的 if 是表達(dá)式而不是語句，例如 Kotlin、Scala、F#、Swift，它們在理論上也不需要使用三元運(yùn)算符。（題外話：Swift 是個(gè)例外，它也有三元運(yùn)算符。Kotlin 有“?:”運(yùn)算符，注意兩個(gè)符號是連在一起的，val result = a ?: b 表示：如果 a 不為 null，則賦值給 result ；否則將 b 賦給 result）

由于有這種語言設(shè)計(jì)層面的區(qū)別，因此在面對“是否要支持三元運(yùn)算符”這個(gè)問題時(shí)，Rust 和 Python/Go 的思考角度有著天然不同的起點(diǎn)。知道了這種區(qū)別后，我們對編程語言會有更明晰地認(rèn)知。

回到本文的問題：為什么有些編程語言不采用主流的三元運(yùn)算符語法呢？

不可否認(rèn)，“?:”確實(shí)是一種簡潔好用的設(shè)計(jì)，然而，標(biāo)點(diǎn)符號的負(fù)面影響是過于抽象，可讀性并不及“if-else”那樣強(qiáng)。另外，不同語言的設(shè)計(jì)風(fēng)格與使用習(xí)慣，也會導(dǎo)致不同的選擇。

Python 在經(jīng)過一番波折后，最后設(shè)計(jì)出了與眾不同的條件表達(dá)式。Go 語言明確表示不支持三元運(yùn)算符。Rust 先設(shè)計(jì)后舍去，主要的原因在于 if 表達(dá)式的語言基礎(chǔ)。

考察完這三個(gè)熱門語言后，我相信你已收獲了一個(gè)滿意的答案。如果是這樣，請點(diǎn)贊支持一下本文吧！

最后，本文出自“Python為什么”系列，全部文章已歸檔在 Github 上，歡迎 star 和提 issue。

??https://github.com/chinesehuazhou/python-whydo??

作者 l 豌豆花下貓  

來源 l Python貓（ID：python_cat）

作者簡介 ▽

豌豆花下貓，生于廣東畢業(yè)于武大，現(xiàn)為蘇漂程序員，有一些極客思維，也有一些人文情懷，有一些溫度，還有一些態(tài)度。