Python 為什么不支持 i++ 自增語(yǔ)法,不提供 ++ 操作符?

在 C/C++/Java 等等語(yǔ)言中,整型變量的自增或自減操作是標(biāo)配,它們又可分為前綴操作(++i 和 --i)與后綴操作(i++ 和 i--),彼此存在著一些細(xì)微差別,各有不同的用途。

這些語(yǔ)言的使用者在接觸 Python 時(shí),可能會(huì)疑惑為什么它不提供 ++ 或 -- 的操作呢?在我前不久發(fā)的《Python的十萬(wàn)個(gè)為什么?》里,就有不少同學(xué)在調(diào)查問(wèn)卷中表示了對(duì)此話題感興趣。

Python 中雖然可能出現(xiàn) ++i 這種前綴形式的寫(xiě)法,但是它并沒(méi)有“++”自增操作符,此處只是兩個(gè)“+”(正數(shù)符號(hào))的疊加而已,至于后綴形式的“++”,則完全不支持(SyntaxError: invalid syntax)。

本期“Python為什么 ”欄目,我們將會(huì)從兩個(gè)主要的角度來(lái)回答:Python 為什么不支持 i++ 自增語(yǔ)法? (PS:此處自增指代“自增和自減”,下同)

首先,Python 當(dāng)然可以實(shí)現(xiàn)自增效果,即寫(xiě)成i += 1 或者 i = i + 1 ,這在其它語(yǔ)言中也是通用的。

雖然 Python 在底層用了不同的魔術(shù)方法(__add__()__iadd__() )來(lái)完成計(jì)算,但表面上的效果完全相同。

所以,我們的問(wèn)題可以轉(zhuǎn)化成:為什么上面的兩種寫(xiě)法會(huì)勝過(guò) i++,成為 Python 的最終選擇呢?

1、Python 的整數(shù)是不可變類型

當(dāng)我們定義i = 1000 時(shí),不同語(yǔ)言會(huì)作出不同的處理:

  • C 之類的語(yǔ)言(寫(xiě)法 int i = 1000)會(huì)申請(qǐng)一塊內(nèi)存空間,并給它“綁定”一個(gè)固定的名稱 i,同時(shí)寫(xiě)入一個(gè)可變的值 1000。在這里,i 的地址以及類型是固定的,而值是可變的(在一定的表示范圍內(nèi))
  • Python(寫(xiě)法i = 1000)也會(huì)申請(qǐng)一塊內(nèi)存空間,但是它會(huì)“綁定”給數(shù)字 1000,即這個(gè) 1000 的地址以及類型是固定的(immutable),至于 i,只是一個(gè)名稱標(biāo)簽貼在 1000 上,自身沒(méi)有固定的地址和類型

所以當(dāng)我們令 i “自增”時(shí)(i = i + 1),它們的處理是不同的:

  • C 之類的語(yǔ)言先找到 i 的地址上存的數(shù)值,然后令它加 1,操作后新的數(shù)值就取代了舊的數(shù)值
  • Python 的操作過(guò)程是把 i 指向的數(shù)字加 1,然后把結(jié)果綁定到新申請(qǐng)的一塊內(nèi)存空間,再把名稱標(biāo)簽 i “貼”到新的數(shù)字上。新舊數(shù)字可以同時(shí)存在,不是取代關(guān)系

打一個(gè)不太恰當(dāng)?shù)谋确剑篊 中的 i 就像一個(gè)宿主,數(shù)字 1000 寄生在它上面;而 Python 中的 1000 像個(gè)宿主,名稱 i 寄生在它上面。C 中的 i 與 Python 中的 1000,它們則寄生在底層的內(nèi)存空間上……

還可以這樣理解:C 中的變量 i 是一等公民,數(shù)字 1000 是它的一個(gè)可變的屬性;Python 中的數(shù)字 1000 是一等公民,名稱 i 是它的一個(gè)可變的屬性。

有了以上的鋪墊,我們?cè)賮?lái)看看 i++,不難發(fā)現(xiàn):

  • C 之類的語(yǔ)言,i++ 可以表示 i 的數(shù)字屬性的增加,它不會(huì)開(kāi)辟新的內(nèi)存空間,也不會(huì)產(chǎn)生新的一等公民
  • Python 之類的語(yǔ)言,i++ 如果是對(duì)其名稱屬性的操作,那樣就沒(méi)有意義了(總不能按字母表順序,把 i 變成 j 吧);如果理解成對(duì)數(shù)字本體的操作,那么情況就會(huì)變得復(fù)雜:它會(huì)產(chǎn)生新的一等公民 1001,因此需要給它分配一個(gè)內(nèi)存地址,此時(shí)若占用 1000 的地址,則涉及舊對(duì)象的回收,那原有對(duì)于 1000 的引用關(guān)系都會(huì)受到影響,所以只能開(kāi)辟新的內(nèi)存空間給 1001

Python 若支持 i++,其操作過(guò)程要比 C 的 i++ 復(fù)雜,而且其含義也不再是“令數(shù)字增加1”(自增),而是“創(chuàng)建一個(gè)新的數(shù)字”(新增), 這樣的話,“自增操作符”(increment operator)就名不副實(shí)了。

Python 在理論上可以實(shí)現(xiàn) i++ 操作,但它就必須重新定義“自增操作符”,還會(huì)令有其它語(yǔ)言經(jīng)驗(yàn)的人產(chǎn)生誤解,不如就讓大家直接寫(xiě)成i += 1 或者 i = i + 1 好了。

2、Python 有可迭代對(duì)象

C/C++ 等語(yǔ)言設(shè)計(jì)出 i++,最主要的目的是為了方便使用三段式的 for 結(jié)構(gòu):

for(int i = 0; i < 100; i++){
    // 執(zhí)行 xxx
}

這種程序關(guān)心的是數(shù)字本身的自增過(guò)程,數(shù)字做加法與程序體的執(zhí)行相關(guān)聯(lián)。

Python 中沒(méi)有這種 for 結(jié)構(gòu)的寫(xiě)法,它提供了更為優(yōu)雅的方式:

for i in range(100):
    # 執(zhí)行 xxx

my_list = ["你好", "我是Python貓", "歡迎關(guān)注"]
for info in my_list:
    print(info)

這里體現(xiàn)了不同的思維方式,它關(guān)心的是在一個(gè)數(shù)值范圍內(nèi)的迭代遍歷,并不關(guān)心也不需要人為對(duì)數(shù)字做加法。

Python 中的可迭代對(duì)象/迭代器/生成器提供了非常良好的迭代/遍歷用法,能夠做到對(duì) i++ 的完全替代。

例如,上例中實(shí)現(xiàn)了對(duì)列表內(nèi)值的遍歷,Python 還可以用 enumerate() 實(shí)現(xiàn)對(duì)下標(biāo)與具體值的同時(shí)遍歷:

my_list = ["你好", "我是Python貓", "歡迎關(guān)注"]
for i, info in enumerate(my_list):
    print(i, info)

# 打印結(jié)果:
0 你好
1 我是Python貓
2 歡迎關(guān)注

再例如對(duì)于字典的遍歷,Python 提供了 keys()、values()、items() 等遍歷方法,非常好用:

my_dict = {'a': '1', 'b': '2', 'c': '3'}
for key in my_dict.keys():
    print(key)

for key, value in my_dict.items():
    print(key, value)

有了這樣的利器,哪里還有 i++ 的用武之地呢?

不僅如此,Python 中基本上很少使用i += 1 或者 i = i + 1 ,由于存在著隨處可見(jiàn)的可迭代對(duì)象,開(kāi)發(fā)者們很容易實(shí)現(xiàn)對(duì)一個(gè)數(shù)值區(qū)間的操作,也就很少有對(duì)于某個(gè)數(shù)值作累加的訴求了。

所以,回到我們開(kāi)頭的問(wèn)題,其實(shí)這兩種“自增”寫(xiě)法并沒(méi)有勝出 i++ 多少,只因?yàn)樗鼈兪峭ㄓ眯筒僮鳎植恍枰胄碌牟僮鞣?,所?Python 才延續(xù)了一種基礎(chǔ)性的支持。真正的贏家其實(shí)是各種各樣的可迭代對(duì)象!

稍微小結(jié)下:Python 不支持自增操作符,一方面是因?yàn)樗恼麛?shù)是不可變類型的一等公民,自增操作(++)若要支持,則會(huì)帶來(lái)歧義;另一方面主要因?yàn)樗懈线m的實(shí)現(xiàn),即可迭代對(duì)象,對(duì)遍歷操作有很好的支持。

如果你覺(jué)得本文分析得不錯(cuò),那你應(yīng)該會(huì)喜歡這些文章:

1、Python為什么使用縮進(jìn)來(lái)劃分代碼塊?

2、Python 的縮進(jìn)是不是反人類的設(shè)計(jì)?

3、Python 為什么不用分號(hào)作語(yǔ)句終止符?

4、Python 為什么沒(méi)有 main 函數(shù)?為什么我不推薦寫(xiě) main 函數(shù)?

5、Python 為什么推薦蛇形命名法?

寫(xiě)在最后:本文屬于“Python為什么”系列(Python貓出品),該系列主要關(guān)注 Python 的語(yǔ)法、設(shè)計(jì)和發(fā)展等話題,以一個(gè)個(gè)“為什么”式的問(wèn)題為切入點(diǎn),試著展現(xiàn) Python 的迷人魅力。部分話題會(huì)推出視頻版,請(qǐng)?jiān)?B 站收看,觀看地址:視頻地址

image

公眾號(hào)【Python貓】, 本號(hào)連載優(yōu)質(zhì)的系列文章,有Python為什么系列、喵星哲學(xué)貓系列、Python進(jìn)階系列、好書(shū)推薦系列、技術(shù)寫(xiě)作、優(yōu)質(zhì)英文推薦與翻譯等等,歡迎關(guān)注哦。

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡(jiǎn)書(shū)系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。