热门问题
时间线
聊天
视角

Python

通用高階程式語言 来自维基百科,自由的百科全书

Python
Remove ads

Python英語發音:/ˈpaɪθən/英語發音:/ˈpaɪθɑːn/),是一種廣泛使用的直譯式進階通用程式語言。Python支援多種程式設計範式,包括結構化、程序式、反射式、物件導向和函數式程式設計。它擁有動態型別系統垃圾回收功能,能夠自動管理主記憶體使用,並且其本身擁有一個巨大而廣泛的標準庫。它的語言結構以及物件導向的方法,旨在幫助程式設計師為小型的和大型的專案編寫邏輯清晰的程式碼。

快速預覽 編程範型, 設計者 ...

吉多·范羅蘇姆於1980年代後期開始研發Python,作為ABC語言的後繼者[18],它也可以被視為採用了叫做M-表達式英語M-expression中綴表示法的一種LISP方言[37]吉多·范羅蘇姆於1991年首次釋出 Python 0.9.0[38]。Python 2.0於2000 年釋出並引入了新功能。Python 3.0於2008年釋出,它是該語言的主要修訂版,並非完全向下相容。Python 2於2020年隨2.7.18版停止支援[39]

Python的設計哲學,強調程式碼的可讀性和簡潔的語法,尤其是使用空格縮排來劃分程式碼塊。相比於C語言Java,Python讓開發者能夠用更少的代碼表達想法。

Python直譯器本身幾乎可以在所有的作業系統中執行,它的官方直譯器CPython是用C語言編寫的。Python是一個由社群驅動的自由軟體,目前由Python軟體基金會管理。Python是最受歡迎的程式語言之一[40][41][42][43]

Remove ads

歷史

Thumb
Python創始人吉多·范羅蘇姆在2024年PyCon的相片

Python的創始人吉多·范羅蘇姆,在1982年至1995年間,參與了荷蘭數學和電腦科學研究學會多個專案的工作[44]。1989年的聖誕節期間,他決心開發一個新的指令碼解釋程式,作為ABC語言的後繼者,並且用它替代Unix shellC語言來進行系統管理[18],擔負與Amoeba作業系統英語Amoeba (operating system)[45]之間的互動操作並進行例外處理[10]。他是BBC電視劇《Monty Python的飛行馬戲團》的愛好者,所以選取了Python作為這個程式語言的名字[46]。范羅蘇姆作為Python的主要開發者,獨自擔負這個專案的發展決策者職責,直到2018年7月12日,他宣布從終身仁慈獨裁者(BDFL)的職位上「永久休假」[47][48]。他參與了2019年第一屆領導專案發展的五人掌控委員會[49][50]

在1991年2月,范羅蘇姆在Usenet新聞群組alt.sources上釋出了最初程式碼(標記為版本0.9.0)[1],這時就已經存在了帶繼承的例外處理函式和核心類型listdictstr等。在這個最初發行中就有了從Modula-3引進的模組系統[51],和例外處理機制[10]。在1994年1月,Python版本1.0釋出[52],其主要新特徵是由Amrit Prem提供的函數式程式設計工具lambdamapfilterreduce[53]。受Modula-3啟發,Python 1.1介入了參數預設值,Python 1.3介入了關鍵字參數。Python 1.4介入了對複數的內建支援[54]

在2000年10月,Python 2.0發布,它從函數式程式設計語言Haskell中引進了列表推導式[55]。Python 2.1支援了靜態巢狀作用域[56]。Python 2.2進行了重大革新,將Python中用C語言寫成的類型,和用Python語言寫成的,統一成在同一個層級中,使得Python的對象模型成為純粹而一致的對象模型[57];還介入了迭代器[58],受CLUIcon啟發的生成器[59],和描述器協定[60]。Python 2.3介入了從Dylan引進的方法決定次序[16]。Python 2.4介入了集合英語Set (abstract data type)類型,和函式修飾器[61]。Python 2.5在官方實現中介入了抽象語法樹[62]

在2008年12月,Python 3.0發布,它對語言做了較大修訂而不能完全後向相容[63],儘管提供了進行自動轉換的2to3實用工具,仍有大量現存程式碼不能移植,故而Python 2.7的產品壽命結束延期至2020年元旦。Python 3.4介入了非同步I/O模組[64]。Python 3.5介入了類型提示[65],和採用async/await語法的協程[66]。Python 3.8介入了賦值表達式[67][68]

在2020年10月,Python 3.9介入了內建的針對容器類的泛化別名types.GenericAlias類型[69],並在官方實現中介入了新的語法解析器[70]。Python 3.10介入了從HaskellOCaml等借鑑來的結構式模式匹配[71],和內建的聯合類型types.UnionType[72]。Python 3.11對官方實現進行了最佳化提速[73]。Python 3.12介入了類型參數語法[74],並廢棄或移除了一些過時的模組和功能。

在2024年10月,Python 3.13介入了從PyPy引進的新互動式直譯器,並實驗性的支援了即時編譯器[75]。Python 3.14正式支援了自由執行緒Python的官方實現建造選項[76]

每個版本首次發行後,享有2年的完全支援,隨後是3年的安全支援。當前只有Python 3的穩定版本3.12與3.13正在被完全支援,但仍提供對3.9、3.10和3.11版本的安全性修正[77]

在2024年12月,活躍的Python核心開發者,選舉Pablo Galindo Salgado、Barry Warsaw、Emily Morehouse、Gregory P. Smith和Donghee Na,為2025年度掌控委員會的五位成員來領導這個專案[78]

Remove ads

特徵與設計哲學

Python是多範式程式語言。它完全支援結構化程式物件導向程式設計,還有很多特徵支援函數式程式設計元程式設計比如元對象協定元類和魔術方法[79])。通過擴充還可以支援很多範式,包括面向方面程式[80]契約式設計[81]邏輯程式[82]

Python使用動態型別,在主記憶體管理上採用的垃圾回收器基於了參照計數[83],並且結合了檢測參照的分代垃圾回收最佳化[84]。它的特徵還有動態名字解析後期繫結英語late binding),即在程式執行期間繫結方法和變數的名字。

Python對遵循LISP傳統的函數式程式設計提供了有限的支援[85],它提供了 mapfilterreduce函式[86]列表推導式字典推導式集合英語Set (abstract data type)推導式生成器表達式。標準庫中的模組functoolsitertools,實現了從HaskellStandard ML借鑑來的函數式工具[87]

Python的設計理念是「優雅」、「明確」、「簡單」,它的一些重要準則被合稱為「Python之禪」。在Python解釋器內運行import this可以獲得完整的列表,下面舉出其中首要:

  • 優美優於醜陋。明瞭優於隱晦。
  • 簡單優於複雜。複雜優於凌亂。
  • 扁平優於巢狀。稀疏優於稠密。
  • 可讀性很重要。

Python開發者的方法論是「用一種方法,最好是只有一種方法來做一件事」,顯著不同於以Perl語言為代表的「不止一種方法去做一件事」風格。Python開發者在設計語言時,如果面臨多種選擇,一般會選擇明確沒有或者很少有歧義的語法。

范羅蘇姆將Python本身設計為可擴充的[88],並不把所有的特性和功能都整合到語言核心,而是提供了豐富的API和工具,以便程式設計師能夠輕鬆地使用Python、C語言、Cython來編寫擴充模組。Python還可以通過外界函式介面英語Foreign function interface如標準庫中的ctypes等,來提供C語言相容資料類型,並訪問動態連結庫共享庫中的函式[89],從而對用其他語言編寫的程式進行整合和封裝。

在Python的官方實現CPython中,一般避開不成熟的或者對非重要部位的加快運行速度的優化。在某些對運行速度要求很高的情況,可以使用具備JIT技術的Python實現或安裝JIT擴充模組[90]

Remove ads

語法和語意

Python為了讓程式碼具備高度的可閱讀性,在設計時盡量使用了其它語言常用的符號和英文單字。

行結構

Python程式在詞法分析上被分成若干邏輯行。簡單語句包含在一個單一的邏輯行之內,Python支援使用分號作為分隔符,將多個簡單語句合併入一個邏輯行之中[91]

注釋開始於並非字串文字英語string literal一部份的一個井號#,並結束於物理行結尾;注釋標示邏輯行的結束,除非已受制於隱式行接續規則;注釋在語法上被忽略[92]

Python支援使用反斜槓作為行接續符,將多個物理行合成為一個邏輯行[93]。在圓括號方括號花括號之中的表達式,可以分裂跨越多於一個物理行而不使用反斜槓,這被稱為「隱式行接續」[93]

縮排

Python語法中的複合語句,包含了一些其他語句,它們以某種方式影響或控制這些其他語句的執行。Python的複合語句包含一個或多個子句(clause),子句構成自一個頭部(header)和一個套件(suite)。特定複合語句的子句頭部都在同樣的縮排層級上,每個子句頭部開始於一個唯一標識關鍵字,並結束於一個冒號。套件即語法意義上的,是這個子句所控制的一組語句。

套件有兩種形式:可以是與頭部在同一行上的一個或多個由分號分隔的簡單語句,它們跟隨在這個頭部的冒號之後;或者是遵循越位規則的在連續諸行上的一個或多個縮排的語句,只有這種套件形式可以包含巢狀的複合語句[94][a]

根據PEP 8的規定[95],使用4個空格來表示每級縮排[b] 縮排層級的變遷,被用來生成語法解析器才能見到的INDENTDEDENT記號[97],增加縮排就生成INDENT記號,減少縮排就生成DEDENT記號。二者的作用相當於C語言家族的花括號,或Pascal語言家族的關鍵字beginend

Remove ads

關鍵字

Python有如下35個關鍵字;它們不能用作識別碼[98]

  • and
  • as
  • assert
  • async
  • await
  • break
  • class
  • continue
  • def
  • del
  • elif
  • else
  • except
  • False
  • finally
  • for
  • from
  • global
  • if
  • import
  • in
  • is
  • lambda
  • None
  • nonlocal
  • not
  • or
  • pass
  • raise
  • return
  • True
  • try
  • while
  • with
  • yield

內建常數TrueFalseNone於Python版本3.0中成為關鍵字,關鍵字nonlocal介入於版本3.0[99],關鍵字asyncawait介入於版本3.5[100],並在版本3.7中成為正式關鍵字[101]

在Python中,將只在特定上下文中保留的識別碼,稱為「軟關鍵字」[102]

  • matchcase萬用字元_,介入於版本3.10,它們在與模式匹配語句有關的上下文中,可以在語法上充當關鍵字;但是這種區分只在語法解析器層次進行,並非在詞法分析記號化層次。
  • type,介入於版本3.12,它用在type語句之中。
Remove ads

識別碼

識別碼就是名字,在ASCII範圍內(U+0001..U+007F),可用於識別碼的字元為:大寫字母AZ和小寫字母az,底線_以及數字09,但首字不可以用數字。如下命名約定[103],是為「保留識別碼類」[104]

  • _spam(單底線開頭):弱「內部使用」標識。對於from M import *,將不匯入所有以底線開頭的對象。
  • spam_(單底線結尾):為了避免與python關鍵字的命名衝突。
  • __spam(雙底線開頭):在命名一個類特性的時候,採用名字修飾,比如在類SpamEggs內,__spam將變成_SpamEggs__spam[105]
  • __spam__(雙底線開頭雙底線結尾):指那些包含在使用者控制的命名空間中的「魔術」方法或特性,比如__delattr____dir____doc____getattribute____init____new____repr____setattr____sizeof__等。建議永遠不要將這樣的命名方式應用於自己的變數或函式。
Remove ads

語句

Python的語句包括簡單語句:

  • 賦值語句,採用的中綴記號是等號=。賦值語句被用來將名字繫結(含重新繫結)到值,以及用來修改可變對象特性或專案。賦值語句支援鏈式賦值
    • Python還支援增廣賦值語句[106],將一個二元運算和一個賦值語句合併成一個單一語句,例如x += 1
    • Python支援「序列解包」[107]:在等號左側可以是一個表達式列表,其中每個表達式都可求值成能被賦值的東西;在等號右側相應的是一個「可迭代」對象,它在被迭代時產生的值的數量,同於左手側可寫表達式的數量;賦值語句對這個對象進行迭代,將產生的每個值分別賦值給左側對應的可賦值者。在等號右側直接包裝出序列解包所要求的元組,就形成了並列賦值[c]
  • 表達式英語Expression (computer science)語句,用來互動式的計算並寫出一個值,或者用來呼叫一個過程(即返回無含義結果的函式),在Python中過程返回值None
  • global語句,是在整個當前程式碼塊中成立的聲明,它意味著隨後列出的識別碼被直譯為全域變數。
  • nonlocal語句,導致隨後列出的識別碼,提及在除了全域作用域之外的最近包圍作用域中的先前繫結變數。
  • del語句,遞迴的進行刪除。
  • type語句,聲明作為類型別名類型typing.TypeAliasType)的實例的一個類型別名。
  • pass語句,充當無操作指令,表示此行為空,不執行任何操作。
  • assert語句,用於程式調適階段時測試執行條件是否滿足。
  • continue語句,越過這次迭代並繼續進行下個專案。
  • break語句,從迴圈中跳出。
  • raise語句,丟擲一個例外。
  • return語句,用來從函式返回值。當函式執行到return語句時,它會停止執行並將指定的值返回給呼叫者。
  • yield語句,用來從一個生成器中返回一個值[108]yield語句在語意上等價於加圓括號的yield表達式[109],在函式主體中使用yield表達式將導致它成為生成器函式。[d]
    • 通過生成器的send()方法傳入的資訊,就是其中yield表達式的返回值。[e]
    • 自從版本3.3,介入了yield from語句,它在語意上等價於加圓括號的yield from表達式,含有此表達式的生成器函式將特定任務委託給另一個子生成器函式,將傳入資訊遞送給它並直接回傳它產生的值[111]
    • 自從版本3.6,在協程函式主體中使用yield表達式將導致它成為非同步生成器函式[112]
  • import語句,匯入一個模組或包,它組合了兩種操作,尋找指名的模組,接著將找到的結果繫結到在局部作用域中的名字。匯入語句有三種形式(下述語句樣本採用了EBNF,這裡的方括號表示其中內容為可選的):
    • import 模块名字 [as 别名],找到一個模組,裝載它,如果有需要的話初始化它;在這個匯入語句出現的作用域的局部名字空間中,定義一個名字或一些名字[113]
    • from 模块名字 import 定义1 [as 别名1], 定义2 [as 别名2], …,找到、裝載、必需時初始化一個模組;接著在局部名字空間中,增加到找到指名特性的參照[113]
    • from 模块名字 import *,在匯入語句出現的作用域的局部名字空間中,繫結模組中定義的所有公開的名字[114]

複合語句:

  • if語句,當條件成立時執行語句套件。它經常包含elifelse子句。
  • while語句,當條件為真時,重複執行語句套件。
  • for語句,遍歷列表、字串、字典、集合等迭代器,依次處理迭代器中的每個元素。
  • match語句,用於模式匹配
  • class語句,是定義的可執行語句。[f]
  • def語句,是定義函式方法的可執行語句。[g]
  • async def語句,用於協程函式定義。await表達式、async for語句和async with語句,只能用在協程函式的主體中。[h]
  • try英語Exception handling syntax語句,它經常包含exceptelsefinally子句,處理在程式執行中出現的例外情況。Python 3.11介入了except*子句[115]。Python支援並廣泛使用EAFP(請求原諒比獲得授權更容易)風格的例外處理,作為檢測錯誤狀況和程式中其他「例外」事件的方式。例如:在訪問一個檔案或資源之時,事先不進行測試就嘗試使用它,事後再擷取可能的訪問失敗所引發的例外。[i]
  • with語句,把一塊程式碼包裹在一個上下文管理器之內。它允許了RAII(對象初始化時取得資源)方式的行為,可替代常見的try/finally慣用法英語Programming idiom。Python使用with語句處理資源[116],例如:在執行一塊程式碼時,事先取得一個,並且事後釋放這個鎖;或事先打開一個檔案,並且事後關閉這個檔案。[j]
Remove ads

塊與模組

在Python的執行英語Execution (computing)模型中,程式構造自(也稱為程式碼塊)。塊是作為一個單元執行的Python程式文字,模組、函式主體和類別定義都是塊。互動式鍵入的每個命令、指令碼檔案和指令碼命令都是塊。傳遞給內建函式eval()exec()執行的字串是塊。塊在執行框架(frame)中執行。框架包含一些用於偵錯的管理資訊,並確定在這個塊執行完成後,執行在何處以及如何繼續。

模組是包含Python定義和語句的一個檔案,這個檔案名字是模組名字附加上字尾.py;在一個模組中,模組的名字(作為字串)可獲得為全域變數__name__的值[114](package)是可以包含子模組或遞迴性的子包的模組。包在技術上是具有__path__特性的Python模組。可以將包視為檔案系統上的目錄,而將模組視為這種目錄中的檔案,但是包和模組不必然源自檔案系統[117]

名字即識別碼,是通用的參照持有者,它不關聯於一個固定的資料類型,但是,一個名字在給定時間,總是被繫結到有一個類型的某個對象上,這就是動態型別的特徵。名字的儲存位置不「包含」所指示的值,一個共同的值可以賦值給多個名字,一個名字在任何時候,都可以重新繫結到各種不同類型的對象上,包括字串、過程、具有資料和方法的複雜對象等。

如果一個名字繫結在一個中,它是這個塊的局部變數,除非被聲明為nonlocalglobal。如果一個名字繫結在模組層次,它是全域變數。模組對應的塊的變數,既是局部的也是全域的。如果一個變數使用在一個塊中,卻不定義在這裡,它是自由變數[118][k]

在Python中,賦值所進行的操作,是將一個名字繫結為到一個分立的動態分配的對象的一個參照[l] 作用域定義一個名字在一個中的可見性。如果一個局部變數被定義在一個塊中,它的作用域包括這個塊。如果這個定義出現在一個函式塊中,作用域擴充到在所界定作用域內包含的任何塊,除非所包含的塊為這個名字介入了不同的繫結。對一個塊可見的所有這種作用域的集合,叫做這個這個塊的「環境」[118][m]

當一個名字在一個之中使用,它採用最近包圍作用域來解析。如果一個名字繫結在一個塊中,並且在其中於繫結之前就被使用,會導致一個錯誤。[n]當一個函式或類的定義被巢狀到其他函式的定義之內,它的非局部作用域就是這個包圍函式的局部作用域。nonlocal語句導致其列出的識別碼,提及在非局部作用域內先前繫結的名字(即非局部變數英語Non-local variable[118][o]

名字空間是儲存變數的地方,它被實現為字典。有局部名字空間、全域空間即包含這個塊對應的模組的名字空間,和內建名字空間即模組builtins的名字空間;對象的方法是定義在類主體內的函式,它有著巢狀的名字空間。名字空間通過防止命名衝突而支援了模組性,還通過明晰了哪個模組實現了哪個函式而增進可讀性和可維護性。

如果global語句出現在一個之中,在這個語句中指定的所有名字,提及在頂層名字空間中這些名字的繫結。名字在頂層名字空間解析,首先尋找全域名字空間,未果尋找內建名字空間。global語句與在同一個塊中的名字繫結運算有同樣的作用域。如果一個自由變數的最近包圍作用域包含針對它的global語句,這個自由變數被當作全域的[118][p]

表達式

Python的表達式英語Expression (computer science)主要包括如下:

  • 在Python中,加圓括號(parenthesized)形式被歸類為原子,它是包圍在圓括號中的可選的表達式列表。加圓括號的表達式列表產生的東西,就是這個表達式列表所產生的:如果這個列表包含至少一個逗號,例如(a,b,c),則它產生一個元組;否則它產生的就是這個單一表達式,例如(a)產生a[121]。要表示僅有單個元素的元組,需要給這個元素字尾一個逗號,例如(a,)。空的圓括號產生空元組對象。元組不是圓括號形成的,而是使用逗號形成的,在沒有歧義的情況下,元組的圓括號是可選的。
  • Python提供了稱為展示(display)的特殊語法來構造列表字典集合英語Set (abstract data type),展示被歸類為原子,並且有兩種方式:要麼其所包容的元素是顯式的列舉出來的,要麼它們是通過叫做「推導式」的特定迴圈和過濾指令運算出來的。列表展示,是包圍在方括號中的可以為空的一系列表達式,例如[a,b,c]字典展示,是包圍在花括號中的可能為空的一系列的用冒號:分隔的鍵-值對。集合英語Set (abstract data type)展示,是包圍在花括號中的一系列表達式[122][q]
  • Python對容器實例,比如序列類型的列表元組字串,支援形如a[索引]下標,和形如a[开始:停止]a[开始:停止:步长]分片英語array slicing。此二者與函式呼叫和特性參照,一起被歸類為表示語言中最緊密運算繫結的初等項(primary)。這裡的下標索引是基於零的,負數是相對於結尾的。分片範圍自從開始索引,直到但不包括停止索引,分片的第三個步長參數,允許元素被跳過和用負數指示反向。分片的每個元素都是淺層複製英語Object copying的。分片索引可以省略,例如a[:],這返回整個列表的一個複本。[t]
  • 在Python中,算術運算的加法+、減法-、乘法*,與C語言和java相同的。除法和模除%的行為有所不同,在Python中有兩種除法:除法/下取整除法//。Python增加了指數算符**。自從Python 3.5,介入了矩陣乘法算符@[125],它已經用於了NumPy[126]中綴算符+-,還可以分別表示取原數和取相反數一元算符。
  • 在Python中,有如下必須用於整數的運算:AND(與)&、OR(或)|、NOT(非)~、XOR(互斥或)^、右移>>、左移<<
  • 在Python中,有如下比較運算:大於>、小於<、大於等於 >=、小於等於<=、等於==、不等於!=,用來比較兩個對象的值的大小。Python有同一性測試算符:isis not,用來比較兩個運算元是否參照了同一個對象;還有成員關係測試算符:innot in,用於判斷一個對象是否屬於另外一個對象。Python允許由比較運算連結起來的布林表達式[127],比如a < b < c,它測試a < b and b < c;C語言將它解析為(a < b) < c:即首先求值a < b得出結果01,接著將此結果比較於c[128]
  • Python使用andornot表示邏輯運算,不採用C語言和Java中所用的符號&&||!
  • Python的條件表達式表示為x if c else y。意思是當c為真時,表達式的值為x,否則表達式的值為y。 在運算元的次序上不同於很多其他語言中常見的c ? x : y
  • Python的lambda表達式是匿名函式,其函式體只能是一個表達式。[u]
  • 自從Python 3.8,介入了賦值表達式,其記號是:=[67]。它將一個表達式賦值給一個識別碼,同時還返回這個表達式的值。[v]

Python中運算子具有優先級,下表中的運算子按照從最高(最先繫結)到最低(最後繫結)的次序列出。在相同儲存格中運算子具有相同的優先級,它們從左至右結合,除了指數表達式和條件表達式從右至左結合之外[131]

更多資訊 運算子, 描述 ...

Python為序列提供了串接算符+和倍增算符*[132]。自從Python 3.9,介入了字典合併算符|和字典更新算符|=[133]

Python為集合英語Set (abstract data type)提供了集合論運算:併集|交集&相對補集-對稱差^,和子集測試<=真子集測試<超集測試>=真超集測試>

在Python中,語句不能成為表達式的一部份,表達式比如列表推導式和字典推導式以及lambda表達式,都不能包含語句。這個限制的一個範例:賦值語句比如a = 1,不能用作條件語句的條件判斷表達式的一部份;這能夠避免C語言程式中的一個常見錯誤,即在條件判斷時把等於算符==誤寫為賦值算符=,這不是預期程式碼卻在語法上有效而能通過C語言編譯器檢查,在Python中這會導致一個語法錯誤。

Remove ads

數值運算

Python的二元算術運算,先將兩運算元轉為共同類型,加法減法乘法下取整除法模除指數運算的結果也採用此類型,舉下取整除法//例子:5//2 == 25.0//2 == 2.0。自從Python 3.0,除法/總是產生浮點數結果,例如5/2 == 2.5

下取整除法//修約是朝向負無窮的,這意味著等式(a + n)//n == a//n + 1永遠成立;很多其它程式語言比如C99採用截尾取整規則,其整數除法不能保證這個等式永遠成立。Python提供了round()內建函式,用於把一個浮點數修約成最近的整數[134],自從Python 3.0,為了打破平局它採用了IEEE 754約半成偶規則,例如round(1.5) == 2 == round(2.5)

模除%同樣採用下取整規則,它所得餘數的符號同於除數,例如-5%2 == 15%-2 == -1。很多其它語言採用截尾取整規則,其模除所得餘數的符號同於被除數。Python模除運算結果餘數的定義,確使等式a == (a//n)*n + a%n對於an分別為正數或負數的情況均為成立[135];數學中的歐幾里得除法,同樣保證這個等式永遠成立,但它的餘數總是非負數。

Python對所有整數運算,使用任意精度算術。在decimal模組中的Decimal[136],提供十進制浮點數英語Decimal floating point,具有使用者可按需要而更改的預設28個十進制有效數位精度,並有多種修約方式[137]。在fractions模組中的Fraction類,提供任意精度的有理數[138]。第三方庫gmpy2[139],提供了到任意精度計算GMP/MPIR英語MPIR (mathematics software)MPFR英語GNU MPFR和MPC的介面。

除了求絕對值函式abs()列入內建函式之外,大多數數學函式,處於mathcmath模組內。前者用於實數運算,而後者用於複數運算。由於Python有著廣泛的數學庫,特別是第三方庫NumPy進一步擴充了原生能力。

Remove ads

字串操作

Python的文字序列類型,包括字串str位元組序列bytesbytearray。文字序列的文字有多種寫法:

  • 字串文字英語string literal,由單引號'或雙引號"界定。不同於Unix shellPerl和受Perl影響的語言,單引號和雙引號功能相同。這二種字串都使用反斜槓\作為跳脫字元
  • 長字串文字,是開始並結束於三個單引號'''或三個雙引號"""的序列。它們可以跨越多行,其功能就像shellPerlRuby中的here文件
  • 位元組文字英語Literal (computer programming)總是字首上一個bB,它產生bytes類型的實例。它們只可以包含ASCII字元,其數值大於等於128的位元組必須通過跳脫來表達。
  • 字串文字或位元組文字都可選的能字首上一個rR,這叫做原始字串英語String literal#Raw strings。跳脫序列不被直譯,因此在文字反斜槓常見的地方很有用,比如正規表示式Windows風格的路徑。
  • Python允許多個毗鄰的字串文字或位元組文字(它們以空白分界並可以使用不同的引述約定),在編譯時間於語法層面上串接起來。要在執行時間串接字串,必須使用序列串接算符+[140]

自從Python 3.0,字串類str提供了格式化英語Content format方法format()[141],例如"spam={0} eggs={1:04d}".format("blah", 2),它求值為'spam=blah eggs=0002'。格式化方法被推薦用來替代早先的字串對象內建格式化算符%,它在功能上類同於C語言中的printf格式化字串[142],例如"spam=%s eggs=%04d" % ("blah", 2)

自從Python 3.6,介入了字串插值英語String interpolation[143],即「格式化字串文字」或稱為「f字串」,它向字串文字字首上fF[144],例如x="blah"; y=2; f'spam={x} eggs={y:04d}'

類型

Thumb
Python 3的標準類型層級[145]

Python使用鴨子型別,並擁有有類型的對象,和無類型的變數名字。在編譯期不檢查類型約束,而寧願在一個對象上的操作出現可能的失敗,表現出這個給定對象不具有適合的類型。儘管是動態型別系統,Python卻是強型別的,禁止沒有明確定義的操作,比如將一個數和一個字串相加,而不是默默的去嘗試轉換使其有意義。

Python有著範圍廣泛的基本資料類型。同時具備常規的整數和浮點算術,它透明的支援任意精度算術複數十進制浮點數英語Decimal floating point。Python支援種類繁多的字串操作。在Python中,字串是不可變的,所以在其他程式語言中可能就地改變字串的字串操作,比如字元替換,在Python中返回新的字串。

Python有一個非常有用特徵,就是搜集(或稱容器)類型的概念。一般的說,搜集是以一種易於參照或索引的方式,包含其他對象的對象。Python的搜集類型包括了序列對映集合,Python提供了廣泛的搜集操縱能力,比如內建包含檢查和通用迭代器協定

列表動態陣列)、元組字串是序列類型。所有序列類型都有位置索引,並且除了字串,都可以包含任意類型的對象,在同一個序列中可以包括多種類型的對象。字串和元組是不可變的,使得它們成為字典的鍵的完美候選者。列表是可變的,元素可以被插入、刪除、修改、添加或就地排序。

字典是無次序的對映類型,它將一組不可變的鍵,對映到相應的元素上。在字典中的鍵,必須是不可變的Python類型,比如整數或字串,因為在底層它們是通過雜湊函式實現的。集合英語Set (abstract data type)是無次序的類型,它包含唯一性的不可變對象作為元素。有二種類型的集合:可變的set和不可變的frozenset

Python允許程式者使用,定義自己的類型[57]。類的新實例,是通過呼叫這個類的構造器而建立的,而類型和類都是元類type的實例,元類type更是其自身的實例,這允許了元程式設計反射。Python支援對類型和類的廣泛內省,它們可以被讀取和比較。[w]

長期規劃是支援漸進類型英語gradual typing[6],並且自從Python 3.5,語言的語法允許指定靜態型別,但在預設實現CPython中不檢查它們[146]。靜態型別檢查器mypy,支援編譯期型別檢查[147]

更多資訊 類型, 可變性 ...

除了各種資料類型,Python直譯器還內建了很多其他類型,包括可呼叫類型:使用者定義函式、實例方法、生成器函式、協程函式、非同步生成器函式、內建函式、內建方法、類、類別方法;模組,客製化類,類別實例,I/O對象(也叫做檔案對象),和暴露給使用者的一些內部類型:程式碼對象、框架對象、溯回對象、切片對象、靜態方法對象、類別方法對象。

函式

Python的函式支援遞迴閉包[x],及其他頭等函式特徵,但不支援函式多載。Python的函式作為頭等對象,具有和普通對象平等的地位。Python官方實現不提供尾呼叫最佳化頭等續體,吉多·范羅蘇姆曾聲稱他不會對其加以支援[154],有第三方庫支援彈跳床英語Trampoline (computing)[155]

在Python中,函式呼叫的實際參數與函式定義的形式參數之間的結合,所傳遞的是「對象參照」,函式在被呼叫之時,所給予的實際參數被介入到一個局部符號表中,實際參數使用傳值呼叫來傳遞,而這個值總是對象參照,並非這個對象的值[156]。如果形式參數繫結到一個可變對象,則通過形式參數對此對象內容的修改,在函式外也是可見的。如果形式參數繫結到一個不可變對象,則通過形式參數不能修改此對象內容,但可以把形式參數重新繫結到其它對象上,這並不影響函式外的對象的值。[y]

Python在函式定義時,可以在形式參數序列中,以形式参数=的樣式指定形式參數預設值。在函式呼叫時可以省略有預設值的形式參數,這時這個預設值就被代入到它的位置中。在這個函式定義被執行之時,從左至右的求值作為形式參數的預設值的這些表達式。這意味著這種表達式在這個函式被定義之後只被求值一次,而每次函式呼叫之時都使用相同的「預先計算」的值。[z]

Python在函式呼叫中,可以給予位置實際參數和關鍵字實際參數。實際參數可以如同C語言那樣,按照位置與函式定義的形式參數匹配;也可以採用關鍵字實際參數,即形式参数=樣式的實際參數。Python在函式定義中,可以使用不對應實際參數的特殊形式參數/*,將形式參數序列分為三部份:唯位置形式參數、可位置可關鍵字形式參數和唯關鍵字形式參數。如果一個形式參數有預設值,則在其後直到*之前的所有形式參數也都必須有預設值。[aa]

在函式定義中的位置形式參數序列和關鍵字形式參數序列,可以分別在其末尾有*args**kwargs這樣的加了字首***的形式參數,它們擷取在函式呼叫時提供的,超出形式參數序列規定而無所對應的多個實際參數;在形式參數args前加*號,則args元組類型,它擷取可變數目的位置實際參數;在形式參數kwargs前加**號,則kwargs字典類型,它擷取可變數目的關鍵字實際參數。[ab]

在函式呼叫的實際參數序列中,關鍵字實際參數必須出現在位置實際參數之後。如果要傳遞給一個函式的一些位置實際參數,已經在一個序列類型如列表或元組的對象中,則可以在函式呼叫中給它字首*來進行可迭代解包;如果要傳遞的一些關鍵字實際參數已經在字典對象中,則可以給它加**號來進行字典解包。

在函式定義頭部之後可以插入「文件字串」,用作函式的使用幫助,它可以使用內建函式help()列印出來。自從Python 3.0,函式定義可以對形式參數與返回值增加類型標註[157]。自從Python 3.5,開始支援類型提示[146]

Python的修飾器(decorator)可用來修改任何可呼叫Python對象,其用法是將已定義的對象比如函式、方法或類別定義傳遞給修飾器,再將它所返回的修改後的對象繫結到原來對象的名字。修飾器可用於元程式設計,其用途至少包括:建立類別方法靜態方法,設定先決條件後置條件、實現多方法記憶化[158]。 Python使用@作為關鍵字形成修飾詞,它是用來應用修飾器的語法糖[ac] 通過在毗連的行上放置多個修飾詞,多個修飾器可以連結起來應用。[ad]

對象及其方法

Python支援大多數物件導向程式設計技術。在Python中所有東西都是對象,包括數、函式、模組。它允許多型性,不限定於在類層級英語Class hierarchy之內子類型方式,而是採用了鴨子型別方式[4],就是說針對變數的方法呼叫和特性(attribute)訪問,不事先限制這個的變數的類型,它可被繫結到任何對象。Python的繼承支援多重繼承,這可以用來實現混入。Python支援元類[159],自從Python 3.6,提供了客製化類建立的簡單機制[160]

對象方法,是附屬於這個對象的的函式。對於正常的方法和函式,語法实例.方法(实际参数),是.方法(实例, 实际参数)語法糖。Python不提供其他一些物件導向程式設計語言比如C++Java中的隱式的this英語this (computer programming)關鍵字[161],Python的對象方法沿襲自Modula-3,使用顯式的第一個形式參數來訪問實例特性英語Instance variable,習慣上將其命名為self英語this (computer programming)[ae]

Python支援一些名字以__開始和結束的特殊方法,它們用於實現實現多種特殊功能[79],尤其是實例初始化,在一個類中定義__init__(),它在實例建立後返回給呼叫者之前被呼叫,所給予的實際參數就是傳遞給對象構造器表達式的那些實際參數。某些特殊方法可以實現運算子多載,比如在一個類中定義__add__(),將允許在這個類別的實例上使用+算符。

在Python中,對象的特殊特性__dict__,是儲存其所有(可寫)特性的字典[162]。在一個類中的類別變數英語Class variable__slots__,可以被賦值為變數名字序列,它為所聲明的這些變數在類別實例對象中保留空間,並阻止其自動建立__dict__[163][af]

在Python中,定義了一個或多個特殊方法__get__()__set__()__delete__()的類,可以用作描述器(descriptor)[164]。一個類的類別成員若是另一個描述器類別的實例,則它被稱為這個類的屬性(property),使用與特性(attribute)訪問相同的語法,訪問這個類別的實例對象中的屬性。[ag]

在Python中,不強制採用訪問子變異子方法,來訪問對象的資料成員。Python使用名字修飾,有限的支援私有變數[105]。Python的property內建函式和@property修飾詞,將一個類中特殊定義的訪問某個特性的那些方法,包裝成的這個類的一個屬性[165][ah]

Python不提供隱式的super關鍵字而是提供了super()內建函式,在一個類的方法中呼叫此函式返回一個代理(proxy)對象,它為了在類層級內這個類所有基礎類別中尋找實現了特定方法的基礎類別,確定了優先次序即方法決定次序(MRO),次序居前的基礎類別優先於位居其後的它的父輩類或平輩類[166]。當一個子類的方法覆蓋了其超類方法的時候,可通過呼叫super().方法,將這個方法呼叫委託給與子類的self.方法同名的超類別方法。[ai]

Python允許通過使用@classmethod@staticmethod修飾詞,來分別建立類別方法靜態方法[61]。類別方法接收這個類的作為其隱式的第一個實際參數,靜態方法不接收隱式的第一個實際參數。[aj]

標準庫

Python擁有一個強大的標準庫[167]。Python標準庫包括了如下功能:

程式碼實例

一個在標準輸出裝置上輸出Hello World的簡單程式,這種程式通常作為開始學習程式語言時的第一個程式,可將如下程式碼錄入純文字檔案並隨意命名比如program01.py,然後執行這個程式python3 program01.py

print("Hello, world!")

Python也可以單步直譯執行。執行Python直譯器進入互動式命令列的環境,你可以在提示符號>>>旁輸入print("Hello, world!"),按Enter鍵輸出結果:

>>> print('Hello, world!')
Hello, world!

計算正數的階乘的程式碼:

n = int(input('輸入一個數,就會印出其階乘: '))
if n < 0:
    raise ValueError('錯誤,請輸入一個非負整數')
fact = 1
for i in range(2, n + 1):
    fact *= i
print(fact)

注意,在Python 3.0及以上版本中,print是個函式,需要在要列印的字串前後加上圓括號;在Python 2.6以下版本中,print是一個關鍵字和命令而不加圓括號。

實現

Python是一門跨平台的手稿語言,Python規定了一個Python語法規則,根據該規則可編寫Python直譯器[168]。Python屬於動態語言,其官方實現CPython將Python程式編譯成中間形式的位元組碼[169],並接著在它的虛擬機器上執行[170],執行速度緩慢於C/C++所編譯出的機器碼和在HotSpot JVM上執行的java位元組碼[171]

活躍開發的實現
  • CPython:官方的Python直譯器,需要區別於其他直譯器的時候才以CPython稱呼。CPython預設採用全域直譯器鎖(GIL),以確保在任何時刻只有一個執行緒執行Python位元組碼;一些擴充模組被設計為在進行計算密集任務時釋放GIL,還有在進行I/O時總是釋放GIL[172]
  • MicroPython:為微控制器而最佳化的Python 3變體,它實現了完整的Python 3.4語法,和補充自版本3.5的async/await關鍵字,以及後來版本的一些選定特徵;它提供了實現Python標準庫模組功能子集的內建模組,和特定於微控制器的一些模組。CircuitPython英語CircuitPythonAdafruit英語Adafruit Industries開發的MicroPython分叉。
  • PyPy:採用了跟蹤JIT英語Tracing just-in-time compilation的Python實現,預設支援stackless模態[173],它是用RPython編寫的,當前支援Python版本3.11和2.7。
  • Numba:使用LLVM JIT的Python最佳化編譯器,它將包括很多NumPy函式的聚焦數值計算的Python子集,翻譯成快速的機器碼,它為在CPU和GPU上並列化Python程式碼提供了大量選項。
  • Codon:高效能且無執行時開銷的Python編譯器[174],它將Python程式碼編譯成本機機器碼,並且支援本機多執行緒和GPU並列運算,還包括了特徵齊全的完全編譯的內建NumPy實現。它由MIT CSAIL的研究人員開發[175],其語意在資料類型等方面上與CPython有所不同[176]
  • Pyodide:基於WebAssembly/Emscripten的用於瀏覽器Node.js的Python釋出[177],支援任何在PyPIwheel形式的純Python包,並且已經移植了很多具有C語言擴充的包。
  • RustPython:用Rust編寫的Python直譯器[178],它可以嵌入到Rust應用程式中從而將Python用作手稿語言,還可以被編譯成WebAssembly從而在瀏覽器中執行Python程式碼。
  • Brython:用JavaScript編寫的在瀏覽器中執行的Python實現[179],具有到DOM元素和事件的介面。
  • GraalPy:針對JVM的基於GraalVM英語GraalVM的Python高效能實現[180]
轉譯成其他語言的編譯器
  • Cython:將增加了靜態型別聲明的Python超集編譯成CC++的編譯器。Cython補充支援呼叫C語言函式並且在變數和類特性上聲明C語言類型,還支援以OpenMP為後端的本機多執行緒並列[181]
  • mypyc:將Python模組編譯成C擴充的編譯器[182],它使用標準的Python類型提示生成快速程式碼。mypyc是mypy發行的可選依賴,它使用mypy進行型別檢查類型推論[147]
  • Nuitka英語Nuitka:用Python編寫的到C11(或替補為C++03)的編譯器[183],它依賴於CPython的libpython庫,能完成嵌入所有模組的程式編譯、擴充模組及包編譯和獨立模態程式釋出。
  • Shed Skin英語Shed Skin:將純粹但隱含為靜態型別的Python有限子集程式碼轉譯成最佳化的C++程式碼的編譯器[184],它可以生成獨立程式或者能匯入並用於更大Python程式的擴充模組。
  • Pythran:將聚焦於科學計算的Python子集編譯成C++11提前編譯器英語Ahead-of-time compilation[185],它依賴於Boost和xsimd庫,將標註了介面描述的Python模組編譯為本機共享庫模組,能利於上多核SIMD指令單元。
  • Transcrypt:用Python編寫的Python 3.9到JavaScript編譯器[186],用於在瀏覽器中執行Python程式碼,它被預先編譯為高可讀性且高效的JavaScript程式碼。
  • MyHDL英語MyHDL:將Python編譯成VerilogVHDL[187]

其他實現舉例:Jython,它是用Java實現的Python 2.7。IronPython,它是建造在DLR之上的Python 2.7和Python 3.4實現。Stackless Python,它是實現微執行緒英語microthread的CPython 3.8分叉。Pyston,它是具有JIT等效能最佳化的CPython 3.8.12的分叉[188]。Pyjion,將Python程式碼編譯成本機CIL的CPython 3.10的JIT擴充[189]。Cinder,它是Meta孵化器釋出的具有包括JIT等很多最佳化的CPython 3.10分叉[190]。Grumpy,它是Python 2.7到Go的轉譯器和執行時系統[191]。py2many,起步於轉譯至Julia的PyJL的將Python轉譯成多種語言的轉譯器[192]

開發環境

通用文字編輯器

很多並非整合式開發環境軟體的文字編輯器,也對Python有不同程度的支援,並且加上專門為Python設計的編輯器外掛程式也會有很高的可用性。

專用開發環境

適用於Python的整合式開發環境(IDE)軟體,除了標準二進制釋出包所附的IDLE之外,還有許多其他選擇。其中有些軟體設計有語法著色、語法檢查、執行偵錯、自動補全、智慧型感知等便利功能。由於Python的跨平台出身,這些軟體往往也具備各種作業系統的版本或一定的移植性。

  • IDLE:Python「標準」IDE,一般隨Python而安裝,支援較少的編輯功能,偵錯功能也比較弱。
  • Eric:基於PyQt的自由的IDE,支援自動補全、智慧型感知、自動語法檢查、工程管理、svn/mercurial整合、自動單元測試等功能,具有可延伸的外掛程式系統,通過可選外掛程式支援Git整合。偵錯功能與Visual Studio和Eclipse類似。
  • Spyder:開源的跨平台科學計算IDE。
  • PyCharm:由JetBrains公司出品,具備一般IDE的功能,比如偵錯、語法突顯、Project管理、程式碼跳轉、智慧型提示、自動完成、單元測試、版本控制等等,另外,它還提供了一些功能用於Django開發,還支援IronPython。它是商業軟體,但也具有社群版和教育版。

第三方擴充包

Thumb
Python Powered

Python社群提供了大量的功能覆蓋眾多領域的第三方模組,其使用方式與標準庫類似。第三方模組可以使用Python/Cython或者C語言編寫。軟體工具比如SWIG,通過定義介面檔案或規定檔案的方式,可以將C/C++編寫的程式庫包裝為Python模組。Python直譯器本身也可以被整合到其它需要手稿語言的程式內。

Python包索引是公開的軟體套件線上倉庫。pip是官網推薦的以安全方式安裝Python應用及其依賴軟體套件的最流行工具[193]。要安裝在整個作業系統範圍內共享的Python包,現在需要通過作業系統的軟體套件管理系統。要將特定於應用的依賴包隔離於共享的Python安裝,可以使用標準庫的venv[194]或第三方工具virtualenv[195]建立虛擬環境;第三方工具pipenv,能自動為使用者專案建立和管理虛擬環境,並在安裝/卸裝軟體套件的時候,向此專案的Pipfile檔案增加/移除這個軟體套件[196]

網路程式

Python標準庫對於各種網路協定的支援很完善,因此適用於編寫伺服器軟體、網路爬蟲等Web開發。Python定義了WSGI標準應用介面,來協調HTTP伺服器與基於Python的Web程式之間的溝通。比如,通過mod_wsgi英語mod_wsgi模組,Apache HTTP Server可以運行用Python編寫的Web程式。

用Python編寫的一些Web框架,有助於輕鬆地開發和管理複雜的Web程式。重要的第三方網路程式英語Computer network programming庫和Web框架有:

  • Zope:著名的開源Web應用伺服器
  • Beautiful Soup:用作HTML/XML解析器的一個簡單易用Python包。
  • Twisted事件驅動的網路程式框架,它支援很多常見的網路協定並包括了很多不同用途的模組,它支援所有主要的系統事件迴圈和各種GUI事件迴圈。
  • Django:MTV架構[197]的Web框架,它注重組件的重用性和「可插拔性」、快速開發DRY法則
  • Tornado:使用單執行緒事件迴圈的非同步非阻塞式web伺服器,也是輕量級的Web框架。
  • Flask:微Web框架,不要求特定的工具或庫。
  • Requests:適合於常人使用的HTTP庫,封裝了許多繁瑣的HTTP功能,極大地簡化了HTTP請求所需要的程式碼量。
  • aiohttp:基於asyncio的HTTP客戶端和伺服器二者[198]
  • uvloop:對內建asyncio事件迴圈的快速的、直截了當的替代者[199],它用Cython實現並在底層使用了libuv
  • FastAPI英語FastAPI:用來建造基於HTTP的網路服務API的現代高效能web框架[200]
  • PyScript:建立在瀏覽器內的Python應用的框架[201],可採用Pyodide、MicroPythonWebAssembly和當代Web技術。

圖形化使用者介面

Python本身包含了Tkinter庫,它是Python的業界標準GUI並被整合進入了IDLE。Tkinter基於了Tcl命令工具,能夠支援簡單的GUI開發。但是為了讓所開發的軟體執行速度更快,並與使用者的桌面環境更契合,人們一般會選擇採用第三方GUI庫或框架。主要的第三方GUI庫有:

  • PyQtQt的Python繫結庫,由Riverbank Computing公司自從1998年發行,採用GPL授權條款或商業授權條款。
  • PySideQt的Python繫結庫,由Qt公司自從2009年發行,採用LGPL授權條款。
  • PyGObject:替代了PyGTK,它是為Python程式訪問基於GObject的庫而提供的包裝庫[202],GObject是GTKGIO英語GIO (software)GStreamer等庫使用的對象系統。
  • Kivy:用於開發多點觸控應用軟體的開源Python庫,採用了自然使用者介面(NUI)。
  • WxPython:GUI程式框架wxWidgets的Python包裝庫
  • Gooey:將幾乎所有Python 3控制台程式用一行程式碼轉變成GUI應用[203]
  • Dear PyGui:快速而強力的具有極小依賴性的GUI工具箱[204]
  • pywebview:輕量級跨平台的對WebView英語WebView構件的包裝器,允許在其本地GUI窗口中顯示HTML內容[205]

資料科學

重要的資料科學用第三方軟體庫有:

資料視覺化

主要的資料視覺化軟體庫及儀錶板框架有[211]

機器學習

基礎性的機器學習軟體庫及框架有:

其它種類

應用

在很多作業系統裡,Python是標準的系統元件,它被列入了ISO/IEC 23360-1-4:2021 Linux標準規範(LSB)之語言規定[255]。大多數Linux發行版macOS都整合了Python,可以在終端模擬器虛擬控制台英語Virtual console下直接執行Python。第三方工具pipx,可以將Python應用安裝於隔離的環境中並在其中執行它[256]

雖然Python可被粗略地分類為手稿語言,Python的支持者較喜歡稱它為一種高階動態語言,常像「膠水」一樣被用來連接軟體組件,已經顯著的區別於Unix shellWindows PowerShell這樣的語言。基於Python的xonsh,是跨平台的、青睞Unix的shell語言命令列介面[257]

應用程式

一些Linux發行版,使用Python語言編寫安裝器,比如UbuntuUbiquityFedoraAnaconda;或使用它編寫軟體包管理系統,比如GentooPortage。下面舉例使用Python編寫或將它作為嵌入式指令碼的一些應用程式:

人工智慧

經由Python開發了眾多的人工智慧模型和作為其支撐的軟體庫:

社群流行

自從2003年,Python始終排行於TIOBE程式社群索引英語TIOBE Programming Community Index前十最流行程式語言,在2021年10月它首次達到了第一名最流行語言(居於CJava之前),並被選為2007年、2010年、2018年、2020年、2021年和2024年的年度程式語言[42]。它有如下著名的社群:

  • PyCon:各地社群舉辦的會議,通常每年舉辦。各社群在會議中討論Python相關的議題。
  • Python Discord:參與者眾多的Python社群[270]
  • PyLadies英語PyLadies:由女性社群發起的社群,主要注重於發展Python的女性程式設計社群。
  • Django Girls英語Django Girls:使用Django網頁設計框架,推廣使用Python進行網頁設計的技術。

影響的語言

Python的設計和哲學已經影響了很多其他程式語言:

在Python基礎上開發的程式語言有:

範例與注釋

參照

延伸閱讀

參閲

外部連接

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads