文章來(lái)源： Python貓 

作者：豌豆花下貓

在 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ì)遍歷操作有很好的支持。