From Wikipedia (Zh) - Reading time: 36 min
| 编程范型 | 多范型:过程式、结构化、模块化、反射式、面向对象、函数式 |
|---|---|
| 設計者 | 吉多·范罗苏姆 |
| 實作者 | Python软件基金会 |
| 发行时间 | 1991年[1] |
| 当前版本 | |
| 型態系統 | 鸭子类型[5]、动态、强类型[6]、渐进(自从3.5)[7] |
| 操作系统 | 跨平臺[8] |
| 許可證 | Python软件基金会许可证 |
| 文件扩展名 | .py、.pyi、.pyc、.pyd、.pyo(3.5之前)[9]、.pyw、.pyz(自从3.5)[10] |
| 網站 | www |
| 主要實作產品 | |
| CPython、PyPy、Stackless Python、MicroPython、CircuitPython、IronPython、Jython | |
| 衍生副語言 | |
| Cython、RPython | |
| 受影响于 | |
| ABC[11]、ALGOL 68[12]、APL[13]、C[14]、C++[15]、CLU[16]、Dylan[17]、Haskell[18]、Icon[19]、Java[20]、Lisp[21]、Modula-3[15]、Perl[22]、Standard ML[13] | |
| 影響語言 | |
| Boo[23]、Cobra[24]、CoffeeScript[25]、D、F#、GDScript[26]、Genie、Go[27]、Groovy[28]、JavaScript[29][30]、Julia[31]、Kotlin[32]、Mojo[33]、Nim[34]、Ruby[35]、Starlark[36]、Swift[37] | |
Python(英語發音:/ˈpaɪθən/;英語發音:/ˈpaɪθɑːn/),是一种广泛使用的解释型、高级和通用的编程语言。Python支持多种编程范型,包括结构化、过程式、反射式、面向对象和函数式编程。它拥有动态类型系统和垃圾回收功能,能够自动管理内存使用,并且其本身拥有一个巨大而广泛的标准库。它的语言结构以及面向对象的方法,旨在帮助程序员为小型的和大型的项目编写逻辑清晰的代码。
吉多·范罗苏姆于1980年代后期开始研发Python,作为ABC语言的后继者[19],它也可以被视为采用了叫做M-表达式的中缀表示法的一种LISP方言[38]。吉多·范罗苏姆于1991年首次发布 Python 0.9.0[39]。Python 2.0于2000 年发布并引入了新功能。Python 3.0于2008年发布,它是该语言的主要修订版,并非完全向后兼容。Python 2于2020年随2.7.18版停止支持[40]。
Python的设计哲学,强调代码的可读性和简洁的语法,尤其是使用空格缩进来划分代码块。相比於C语言或Java,Python让开发者能够用更少的代码表达想法。
Python解释器本身几乎可以在所有的操作系统中运行,它的官方直譯器CPython是用C语言编写的。Python是一個由社群驱动的自由软件,目前由Python软件基金会管理。Python是最受欢迎的编程语言之一[41][42][43][44]。
Python的創始人吉多·范羅蘇姆,在1982年至1995年间,参与了荷兰数学和计算机科学研究学会多个项目的工作[45]。1989年的聖誕節期間,他決心開發一個新的腳本解釋程式,作為ABC語言的後繼者,并且用它替代Unix shell和C语言来进行系统管理[19],担负与Amoeba操作系统[46]之间的交互操作并进行例外处理[11]。他是BBC電視劇《Monty Python的飛行馬戲團》的爱好者,所以选取了Python作为这个编程语言的名字[47]。范羅蘇姆作为Python的主要開發者,独自担负这个项目的发展决策者职责,直到2018年7月12日,他宣布从終身仁慈獨裁者(BDFL)的职位上“永久休假”[48][49]。他参与了2019年第一届领导项目发展的五人掌控委员会[50][51]。
在1991年2月,范羅蘇姆在Usenet新闻组alt.sources上发布了最初代码(标记为版本0.9.0)[1],这时就已经存在了带继承的类、例外处理、函数和核心类型list、dict、str等。在这个最初发行中就有了从Modula-3引进的模块系统[52],和例外处理机制[11]。在1994年1月,Python版本1.0发布[53],其主要新特征是由Amrit Prem提供的函数式编程工具lambda、map、filter和reduce[54]。受Modula-3启发,Python 1.1介入了参数缺省值,Python 1.3介入了关键字参数。Python 1.4介入了对复数的内建支持[55]。
在2000年10月,Python 2.0發布,它从函数式编程语言Haskell中引进了列表推导式[56]。Python 2.1支持了静态嵌套作用域[57]。Python 2.2进行了重大革新,将Python中用C语言写成的类型,和用Python语言写成的类,统一成在同一个层级中,使得Python的对象模型成为纯粹而一致的对象模型[58];还介入了迭代器[59],受CLU和Icon启发的生成器[60],和描述器协议[61]。Python 2.3介入了从Dylan引进的方法决定次序[17]。Python 2.4介入了集合类型,和函数修饰器[62]。Python 2.5在官方实现中介入了抽象语法树[63]。
在2008年12月,Python 3.0發布,它对语言做了较大修订而不能完全后向兼容[64],尽管提供了进行自动转换的2to3实用工具,仍有大量现存代码不能移植,故而Python 2.7的产品寿命结束延期至2020年元旦。Python 3.4介入了异步I/O模块[65]。Python 3.5介入了类型提示[66],和采用async/await语法的协程[67]。Python 3.8介入了赋值表达式[68][69]。
在2020年10月,Python 3.9介入了内建的针对容器类的泛化别名(types.GenericAlias)类型[70],并在官方实现中介入了新的语法解析器[71]。Python 3.10介入了从Haskell和OCaml等借鉴来的结构式模式匹配[72],和内建的联合类型(types.UnionType)[73]。Python 3.11对官方实现进行了优化提速[74]。Python 3.12介入了类型参数语法[75],并废弃或移除了一些过时的模块和功能。
在2024年10月,Python 3.13介入了从PyPy引进的新交互式解释器,并实验性的支持了即时编译器[76]。Python 3.14正式支持了自由线程Python的官方实现建造选项[77]。
每个版本首次发行后,享有2年的完全支持,随后是3年的安全支持。当前只有Python 3的稳定版本3.12与3.13正在被完全支持,但仍提供对3.9、3.10和3.11版本的安全性修正[78]。
在2024年12月,活跃的Python核心开发者,选举Pablo Galindo Salgado、Barry Warsaw、Emily Morehouse、Gregory P. Smith和Donghee Na,为2025年度掌控委员会的五位成员来领导这个项目[79]。
Python是多范型编程语言。它完全支持结构化编程和面向对象编程,还有很多特征支持函数式编程和元编程比如元对象协议(元类和魔术方法[80])。通过扩展还可以支持很多范型,包括面向方面编程[81]、契约式设计[82]和逻辑编程[83]。
Python使用动态类型,在内存管理上采用的垃圾回收器基于了引用计数[84],并且结合了检测环引用的分代垃圾回收优化[85]。它的特征还有动态名字解析(后期绑定),即在程序执行期间绑定方法和变量的名字。
Python對遵循LISP傳統的函数式编程提供了有限的支持[86],它提供了 map、filter和reduce函数[87];列表推导式、字典推导式、集合推导式和生成器表达式。標準庫中的模組functools和itertools,实现了从Haskell和Standard ML借鉴来的函數式工具[88]。
Python的設計理念是“優雅”、“明確”、“簡單”,它的一些重要準則被合稱為「Python之禅」。在Python解釋器内運行import this可以獲得完整的列表,下面举出其中首要:
Python開發者的方法论是“用一種方法,最好是只有一種方法來做一件事”,显著不同于以Perl语言为代表的“不止一种方法去做一件事”風格。Python開發者在設計語言時,如果面臨多種選擇,一般會選擇明確没有或者很少有歧義的語法。
范羅蘇姆将Python本身設計為可擴充的[89],並不把所有的特性和功能都集成到語言核心,而是提供了豐富的API和工具,以便程式設計師能够輕鬆地使用Python、C语言、Cython來編寫擴充模組。Python还可以通过外界函数接口如标准库中的ctypes等,来提供C语言兼容数据类型,并访问动态链接库或共享库中的函数[90],从而对用其他語言編寫的程式進行集成和封裝。
在Python的官方实现CPython中,一般避開不成熟的或者對非重要部位的加快運行速度的優化。在某些對運行速度要求很高的情況,可以使用具备JIT技术的Python实现或安装JIT扩展模块[91]。
Python為了讓程式碼具備高度的可閱讀性,在設計時盡量使用了其它語言常用的符號和英文單字。
Python程序在词法分析上被分成若干逻辑行。简单语句包含在一个单一的逻辑行之内,Python支持使用分号作为分隔符,将多个简单语句合并入一个逻辑行之中[92]。
注释开始于并非字符串文字一部份的一个井号#,并结束于物理行结尾;注释标示逻辑行的结束,除非已受制于隐式行接续规则;注释在语法上被忽略[93]。
Python支持使用反斜杠作为行接续符,将多个物理行合成为一个逻辑行[94]。在圆括号、方括号或花括号之中的表达式,可以分裂跨越多于一个物理行而不使用反斜杠,这被称为“隐式行接续”[94]。
Python语法中的复合语句,包含了一些其他语句,它们以某种方式影响或控制这些其他语句的执行。Python的复合语句包含一个或多个子句(clause),子句构成自一个头部(header)和一个套件(suite)。特定复合语句的子句头部都在同样的缩排层级上,每个子句头部开始于一个唯一标识关键字,并结束于一个冒号。套件即语法意义上的块,是这个子句所控制的一组语句。
套件有两种形式:可以是与头部在同一行上的一个或多个由分号分隔的简单语句,它们跟随在这个头部的冒号之后;或者是遵循越位規則的在连续诸行上的一个或多个縮排的语句,只有这种套件形式可以包含嵌套的复合语句[95]。[a]
根據PEP 8的規定[96],使用4個空格來表示每級縮排。[b]
缩排层级的变迁,被用来生成语法解析器才能见到的INDENT和DEDENT记号[98],增加縮排就生成INDENT记号,減少縮排就生成DEDENT记号。二者的作用相当于C语言家族的花括号,或Pascal语言家族的关键字begin和end。
Python有如下35个关键字;它们不能用作标识符[99]:
|
|
|
|
|
|
|
内建常量True、False和None于Python版本3.0中成为关键字,关键字nonlocal介入于版本3.0[100],关键字async和await介入于版本3.5[101],并在版本3.7中成为正式关键字[102]。
在Python中,将只在特定上下文中保留的标识符,称为“软关键字”[103]:
match、case和通配符_,介入于版本3.10,它们在与模式匹配语句有关的上下文中,可以在语法上充当关键字;但是这种区分只在语法解析器层次进行,并非在词法分析记号化层次。type,介入于版本3.12,它用在type语句之中。标识符就是名字,在ASCII范围内(U+0001..U+007F),可用于标识符的字符为:大写字母A至Z和小写字母a至z,下划线_以及数字0至9,但首字不可以用数字。如下命名约定[104],是为“保留标识符类”[105]:
_spam(单下划线开头):弱“内部使用”标识。对于from M import *,将不导入所有以下划线开头的对象。spam_(单下划线结尾):为了避免与python关键字的命名冲突。__spam(双下划线开头):在命名一个类特性的时候,采用名字修饰,比如在类SpamEggs内,__spam将变成_SpamEggs__spam[106]。__spam__(双下划线开头双下划线结尾):指那些包含在用户控制的命名空间中的“魔术”方法或特性,比如__delattr__、__dir__、__doc__、__getattribute__[107]、__init__、__new__、__repr__、__setattr__、__sizeof__等。建议永远不要将这样的命名方式应用于自己的变量或函数。Python的语句包括简单语句:
=。赋值语句被用来将名字绑定(含重新绑定)到值,以及用来修改可变对象的特性或项目。赋值语句支持链式赋值。
None。global语句,是在整个当前代码块中成立的声明,它意味着随后列出的标识符被解释为全局变量。nonlocal语句,导致随后列出的标识符,提及在除了全局作用域之外的最近包围作用域中的先前绑定变量。del语句,递归的进行删除。type语句,声明作为类型别名类型(typing.TypeAliasType)的实例的一个类型别名。pass語句,充当无操作指令,表示此行為空,不執行任何操作。assert語句,用於程式調適階段時測試執行條件是否滿足。continue语句,越过这次迭代并继续进行下个项目。break语句,从循环中跳出。raise语句,抛出一个例外。return语句,用来从函数返回值。当函数执行到return语句时,它会停止执行并将指定的值返回给调用者。yield语句,用来从一个生成器中返回一个值[110],yield语句在语义上等价于加圆括号的yield表达式[111],在函数主体中使用yield表达式将导致它成为生成器函数。[d]
import语句,导入一个模块或包,它组合了两种操作,查找指名的模块,接着将找到的结果绑定到在局部作用域中的名字。导入语句有三种形式(下述语句样本采用了EBNF,这里的方括号表示其中内容为可选的):
复合语句:
if語句,當條件成立時執行語句套件。它經常包含elif、else子句。while語句,當條件為真時,重複執行語句套件。for語句,遍历列表、字符串、字典、集合等迭代器,依次處理迭代器中的每個元素。match语句,用于模式匹配。class語句,是定义类的可执行语句。[f]def語句,是定義函數和方法的可执行语句。[g]async def语句,用于协程函数定义。await表达式、async for语句和async with语句,只能用在协程函数的主体中。[h]try語句,它经常包含except、else、finally子句,處理在程式執行中出现的例外情況。Python 3.11介入了except*子句[117]。Python支持并广泛使用EAFP(请求原谅比获得许可更容易)风格的例外处理,作为检测错误状况和程序中其他“例外”事件的方式。例如:在访问一个文件或资源之时,事先不进行测试就尝试使用它,事后再捕获可能的访问失败所引发的例外。[i]with語句,把一块代码包裹在一个上下文管理器之内。它允许了RAII(对象初始化时获取资源)方式的行为,可替代常见的try/finally惯用法。Python使用with语句处理资源[118],例如:在执行一块代码时,事先获取一个锁,并且事后释放这个锁;或事先打开一个文件,并且事后关闭这个文件。[j]在Python的执行模型中,程序构造自块(也称为代码块)。块是作为一个单元执行的Python程序文本,模块、函数主体和类定义都是块。交互式键入的每个命令、脚本文件和脚本命令都是块。传递给内建函数eval()和exec()执行的字符串是块。块在执行框架(frame)中执行。框架包含一些用于调试的管理信息,并确定在这个块执行完成后,执行在何处以及如何继续。
模块是包含Python定义和语句的一个文件,这个文件名字是模块名字附加上后缀.py;在一个模块中,模块的名字(作为字符串)可获得为全局变量__name__的值[116]。包(package)是可以包含子模块或递归性的子包的模块。包在技术上是具有__path__特性的Python模块。可以将包视为文件系统上的目录,而将模块视为这种目录中的文件,但是包和模块不必然源自文件系统[119]。
名字即标识符,是通用的引用持有者,它不关联于一个固定的数据类型,但是,一个名字在给定时间,总是被绑定到有一个类型的某个对象上,这就是动态类型的特征。名字的存储位置不“包含”所指示的值,一个共同的值可以赋值给多个名字,一个名字在任何时候,都可以重新绑定到各种不同类型的对象上,包括字符串、过程、具有数据和方法的复杂对象等。
如果一个名字绑定在一个块中,它是这个块的局部变量,除非被声明为nonlocal或global。如果一个名字绑定在模块层次,它是全局变量。模块对应的块的变量,既是局部的也是全局的。如果一个变量使用在一个块中,却不定义在这里,它是自由变量[120]。[k]
在Python中,赋值所进行的操作,是将一个名字绑定为到一个分立的动态分配的对象的一个引用。[l] 作用域定义一个名字在一个块中的可见性。如果一个局部变量被定义在一个块中,它的作用域包括这个块。如果这个定义出现在一个函数块中,作用域扩展到在所界定作用域内包含的任何块,除非所包含的块为这个名字介入了不同的绑定。对一个块可见的所有这种作用域的集合,叫做这个这个块的“环境”[120]。[m]
当一个名字在一个块之中使用,它采用最近包围作用域来解析。如果一个名字绑定在一个块中,并且在其中于绑定之前就被使用,会导致一个错误。[n]当一个函数或类的定义被嵌套到其他函数的定义之内,它的非局部作用域就是这个包围函数的局部作用域。nonlocal语句导致其列出的标识符,提及在非局部作用域内先前绑定的名字(即非局部变量)[120]。[o]
名字空间是存储变量的地方,它被实现为字典。有局部名字空间、全局空间即包含这个块对应的模块的名字空间,和内建名字空间即模块builtins的名字空间;对象的方法是定义在类主体内的函数,它有着嵌套的名字空间。名字空间通过防止命名冲突而支持了模块性,还通过明晰了哪个模块实现了哪个函数而增进可读性和可维护性。
如果global语句出现在一个块之中,在这个语句中指定的所有名字,提及在顶层名字空间中这些名字的绑定。名字在顶层名字空间解析,首先查找全局名字空间,未果查找内建名字空间。global语句与在同一个块中的名字绑定运算有同样的作用域。如果一个自由变量的最近包围作用域包含针对它的global语句,这个自由变量被当作全局的[120]。[p]
Python的表达式主要包括如下:
(a,b,c),则它产生一个元组;否则它产生的就是这个单一表达式,例如(a)产生a[123]。要表示仅有单个元素的元组,需要给这个元素后缀一个逗号,例如(a,)。空的圆括号产生空元组对象。元组不是圆括号形成的,而是使用逗号形成的,在没有歧义的情况下,元组的圆括号是可选的。[a,b,c]。字典展示,是包围在花括号中的可能为空的一系列的用冒号:分隔的键-值对。集合展示,是包围在花括号中的一系列表达式[124]。[q]*,和在字典展示中的“字典解包”**[126]。[s]a[索引]的下标,和形如a[开始:停止]或a[开始:停止:步长]的分片。此二者与函数调用和特性引用,一起被归类为表示语言中最紧密运算绑定的初等项(primary)。这里的下标索引是基于零的,负数是相对于结尾的。分片范围自从开始索引,直到但不包括停止索引,分片的第三个步长参数,允许元素被跳过和用负数指示反向。分片的每个元素都是浅层复制的。分片索引可以省略,例如a[:],这返回整个列表的一个复本。[t]+、减法-、乘法*,与C语言和java相同的。除法和模除%的行为有所不同,在Python中有两种除法:除法/和下取整除法//。Python增加了指数算符**。自从Python 3.5,介入了矩阵乘法算符@[127],它已经用于了NumPy库[128]。中缀算符+、-,还可以分别表示取原数和取相反数的一元算符。&、OR(或)|、NOT(非)~、XOR(异或)^、右移>>、左移<<。>、小于<、大于等于 >=、小于等于<=、等于==、不等于!=,用来比较两个对象的值的大小。Python有同一性测试算符:is、is not,用来比较两个运算元是否引用了同一个对象;还有成员关系测试算符:in、not in,用于判断一个对象是否属于另外一个对象。Python允许由比较运算链接起来的布尔表达式[129],比如a < b < c,它测试a < b and b < c;C语言将它解析为(a < b) < c:即首先求值a < b得出结果0或1,接着将此结果比较于c[130]。x if c else y。意思是当c为真时,表达式的值为x,否则表达式的值为y。 在运算元的次序上不同于很多其他语言中常见的c ? x : y。Python中运算符具有优先级,下表中的运算符按照从最高(最先绑定)到最低(最后绑定)的次序列出。在相同单元格中运算符具有相同的优先级,它们从左至右结合,除了指数表达式和条件表达式从右至左结合之外[133]:
| 运算符 | 描述 |
|---|---|
(表达式 …),[表达式 …],{键: 值 …},{表达式 …} |
绑定或加圆括号表达式,列表展示,字典展示,集合展示 |
x[索引],x[索引:索引],x(参数 …),x.特性 |
下标,分片,调用,特性引用 |
await x |
await表达式
|
** |
指数 |
+x,-x,~x |
取原数,相反数,逐位NOT |
*,@,/,//,% |
乘法,矩阵乘法,除法,下取整除法,余数 |
+,- |
加法和减法 |
<<,>> |
移位 |
& |
逐位AND |
^ |
逐位XOR |
| |
逐位OR |
in,not in,is,is not,<,<=,>,>=,!=,== |
包含成员关系测试,同一测试,各种比较 |
not x |
布尔NOT |
and |
布尔AND |
or |
布尔OR |
… if … else … |
条件表达式 |
lambda |
lambda表达式
|
:= |
赋值表达式 |
Python为序列提供了串接算符+和倍增算符*[134]。自从Python 3.9,介入了字典归并算符|和字典更新算符|=[135]。
Python为集合提供了集合论运算:并集|、交集&、相对补集-、对称差^,和子集测试<=、真子集测试<、超集测试>=、真超集测试>。
在Python中,语句不能成为表达式的一部份,表达式比如列表推导式和字典推导式以及lambda表达式,都不能包含语句。这个限制的一个示例:赋值语句比如a = 1,不能用作条件语句的条件判断表达式的一部份;这能够避免C语言编程中的一个常见错误,即在条件判断时把等于算符==误写为赋值算符=,这不是预期代码却在语法上有效而能通过C语言编译器检查,在Python中这会导致一个语法错误。
Python的二元算术运算,先将两运算元转为共同类型,加法、减法、乘法、下取整除法、模除和指数运算的结果也采用此类型,举下取整除法//例子:5//2 == 2而5.0//2 == 2.0。自从Python 3.0,除法/总是产生浮点数结果,例如5/2 == 2.5。
下取整除法//的修约是朝向负无穷的,这意味着等式(a + n)//n == a//n + 1永远成立;很多其它编程语言比如C99采用截尾取整规则,其整数除法不能保证这个等式永远成立。Python提供了round()内建函数,用于把一个浮点数修约成最近的整数[136],自从Python 3.0,为了打破平局它采用了IEEE 754的约半成偶规则,例如round(1.5) == 2 == round(2.5)。
模除%同样采用下取整规则,它所得余数的符号同于除数,例如-5%2 == 1而5%-2 == -1。很多其它语言采用截尾取整规则,其模除所得余数的符号同于被除数。Python模除运算结果余数的定义,确使等式a == (a//n)*n + a%n对于a和n分别为正数或负数的情况均为成立[137];数学中的欧几里得除法,同样保证这个等式永远成立,但它的余数总是非负数。
Python对所有整数运算,使用任意精度算术。在decimal模块中的Decimal类[138],提供十进制浮点数,具有用户可按需要而更改的缺省28个十进制有效数位精度,并有多种修约方式[139]。在fractions模块中的Fraction类,提供任意精度的有理数[140]。第三方库gmpy2[141],提供了到任意精度计算库GMP/MPIR、MPFR和MPC的接口。
除了求绝对值函数abs()列入内建函数之外,大多数数学函数,处于math和cmath模块内。前者用于实数运算,而后者用于复数运算。Python有着广泛的数学库,特别是第三方库NumPy进一步扩展了固有能力。
Python的文本序列类型,包括字符串str和字节序列bytes与bytearray。文本序列的文字有多种写法:
'或双引号"界定。不同于Unix shell、Perl和受Perl影响的语言,单引号和双引号功能相同。这二种字符串都使用反斜杠\作为转义字符。+[142]。自从Python 3.0,字符串类str提供了格式化方法format()[143],例如"spam={0} eggs={1:04d}".format("blah", 2),它求值为'spam=blah eggs=0002'。格式化方法被推荐用来替代早先的字符串对象内建格式化算符%,它在功能上类同于C语言中的printf格式化字符串[144],例如"spam=%s eggs=%04d" % ("blah", 2)。
自从Python 3.6,介入了字符串插值[145],即“格式化字符串文字”或称为“f字符串”,它向字符串文字前缀上f或F[146],例如x="blah"; y=2; f'spam={x} eggs={y:04d}'。

Python使用鸭子类型,并拥有有类型的对象,和无类型的变量名字。在编译期不检查类型约束,而宁愿在一个对象上的操作出现可能的失败,表现出这个给定对象不具有适合的类型。尽管是动态类型系统,Python却是强类型的,禁止没有明确定义的操作,比如将一个数和一个字符串相加,而不是默默的去尝试转换使其有意义。
Python有着范围广泛的基本数据类型。同时具备常规的整数和浮点算术,它透明的支持任意精度算术、复数和十进制浮点数。Python支持种类繁多的字符串操作。在Python中,字符串是不可变的,所以在其他编程语言中可能就地改变字符串的字符串操作,比如字符替换,在Python中返回新的字符串。
Python有一个非常有用特征,就是搜集(或称容器)类型的概念。一般的说,搜集是以一种易于引用或索引的方式,包含其他对象的对象。Python的搜集类型包括了序列、映射和集合,Python提供了广泛的搜集操纵能力,比如内建包含检查和通用迭代器协议。
列表(动态数组)、元组和字符串是序列类型。所有序列类型都有位置索引,并且除了字符串,都可以包含任意类型的对象,在同一个序列中可以包括多种类型的对象。字符串和元组是不可变的,使得它们成为字典的键的完美候选者。列表是可变的,元素可以被插入、删除、修改、添加或就地排序。
字典是无次序的映射类型,它将一组不可变的键,映射到相应的元素上。在字典中的键,必须是不可变的Python类型,比如整数或字符串,因为在底层它们是通过散列函数实现的。集合是无次序的类型,它包含唯一性的不可变对象作为元素。有二种类型的集合:可变的set和不可变的frozenset。
Python允许编程者使用类,定义自己的类型[58]。类的新实例,是通过调用这个类的构造器而创建的,而类型和类都是元类type的实例,元类type更是其自身的实例,这允许了元编程和反射。Python支持对类型和类的广泛内省,它们可以被读取和比较。[w]
长期规划是支持渐进类型[7],并且自从Python 3.5,语言的语法允许指定静态类型,但在缺省实现CPython中不检查它们[148]。静态类型检查器mypy,支持编译期类型检查[149]。
| 类型 | 可变性 | 描述 | 语法例子 |
|---|---|---|---|
bool
|
不可变 | 布尔值,有表示值False和True的两个对象。作为整数类型的子类型,除了在转换成字符串时转换为"False"和"True"之外,它们在几乎所有上下文中表现得如同0和1。
|
TrueFalse
|
int
|
不可变 | 整数,其大小在理论上无限制,实际上受限于内存[150]。 | 42
|
float
|
不可变 | 双精度浮点数,确切精度依赖于机器。一般实现为IEEE 754标准binary64浮点数,它有53个二进制有效数位精度[151]。 | 1.414
|
complex
|
不可变 | 複數,即分别表示实部与虚部的两个双精度浮点数的有序对。 | 3+2.7j
|
range
|
不可变 | 数的序列,通常用在for循环中指定循环次数[152]。
|
range(1, 10)range(10, -5, -2)
|
str
|
不可变 | 字符串,即Unicode代码点序列[153]。其代码点都在区间[\u0000, \uffff]或[\U00010000, \U0010ffff]之内。
|
'Wiki' "pedia""""Spanning
multiple lines"""
|
bytes
|
不可变 | 字节序列,其项目是8位字节,可以用区间[0x00, 0xff]的整数表示。
|
b'Wiki' b"pedia"bytes([0x68, 0x65, 0x78])
|
bytearray
|
可变 | bytearray(b'Wiki' b"pedia")bytearray([0x68, 0x65, 0x78])
| |
list
|
可变 | 列表,可以包含任意的Python对象。 | [4.0, 'string', True][]
|
tuple
|
不可变 | 元组,可以包含任意的Python对象。 | (4.0, 'string', True)()
|
dict
|
可变 | 字典是键-值对的搜集。键在其生存期间是不可变的(称其为可散列的),列表、字典或其它可变对象和包含它们的对象不可以用作键。 | {'key1': 1.0, 3: False}{}
|
set
|
可变 | 无序的集合,包含唯一性的不可变的对象,它们不能用任何下标来索引。 | {4.0, 'string', True}set()
|
frozenset
|
不可变 | frozenset([4.0, 'string', True])
| |
types.EllipsisType
|
不可变 | 这个类型的值是有一个单一对象,它表示为文字...或内建名字Ellipsis,它的真值为真。它用于NumPy多维阵列索引[154]。
|
...Ellipsis
|
types.NoneType
|
不可变 | 这个类型的值是一个单一对象None(相当于其他语言的Null)[155],它被用来指示值的缺席,它的真值为假。
|
None
|
types.NotImplementedType
|
不可变 | 这个类型的值是一个单一对象NotImplemented,数值方法和丰富比较方法如果没有实现在所提供运算元上的这个运算则应当返回这个值,它不应该在布尔值上下文中求值。
|
NotImplemented
|
除了各种数据类型,Python解释器还内建了很多其他类型,包括可调用类型:用户定义函数、实例方法、生成器函数、协程函数、异步生成器函数、内建函数、内建方法、类、类方法;模块,定制类,类实例,I/O对象(也叫做文件对象),和暴露给用户的一些内部类型:代码对象、框架对象、溯回对象、切片对象、静态方法对象、类方法对象。
Python的函数支持闭包[156],及其他头等函数特征[x],并支持限制最大深度的递归[y], 它不支持函数重载。Python的函数作为头等对象,具有和普通对象平等的地位。Python官方实现不提供尾调用优化或头等续体,吉多·范罗苏姆曾声称他不会对其加以支持[157],有第三方库支持弹跳床[158]。
在Python中,函数调用的实际参数与函数定义的形式参数之间的结合,所传递的是“对象引用”,函数在被调用之时,所给予的实际参数被介入到一个局部符号表中,实际参数使用传值调用来传递,而这个值总是对象引用,并非这个对象的值[159]。如果形式参数绑定到一个可变对象,则通过形式参数对此对象内容的修改,在函数外也是可见的。如果形式参数绑定到一个不可变对象,则通过形式参数不能修改此对象内容,但可以把形式参数重新绑定到其它对象上,这并不影响函数外的对象的值。[z]
Python在函数定义时,可以在形式参数序列中,以形式参数=值的样式指定形式参数缺省值。在函数调用时可以省略有缺省值的形式参数,这时这个缺省值就被代入到它的位置中。在这个函数定义被执行之时,从左至右的求值作为形式参数的缺省值的这些表达式。这意味着这种表达式在这个函数被定义之后只被求值一次,而每次函数调用之时都使用相同的“预先计算”的值。[aa]
Python在函数调用中,可以给予位置实际参数和关键字实际参数。实际参数可以如同C语言那样,按照位置与函数定义的形式参数匹配;也可以采用关键字实际参数,即形式参数=值样式的实际参数。Python在函数定义中,可以使用不对应实际参数的特殊形式参数/和*,将形式参数序列分为三部份:唯位置形式参数、可位置可关键字形式参数和唯关键字形式参数。如果一个形式参数有缺省值,则在其后直到*之前的所有形式参数也都必须有缺省值。[ab]
在函数定义中的位置形式参数序列和关键字形式参数序列,可以分别在其末尾有*args或**kwargs这样的加了前缀*或**的形式参数,它们捕获在函数调用时提供的,超出形式参数序列规定而无所对应的多个实际参数;在形式参数args前加*号,则args是元组类型,它捕获可变数目的位置实际参数;在形式参数kwargs前加**号,则kwargs是字典类型,它捕获可变数目的关键字实际参数。[ac]
在函数调用的实际参数序列中,关键字实际参数必须出现在位置实际参数之后。如果要传递给一个函数的一些位置实际参数,已经在一个序列类型如列表或元组的对象中,则可以在函数调用中给它前缀*来进行可迭代解包;如果要传递的一些关键字实际参数已经在字典对象中,则可以给它加**号来进行字典解包。
在函数定义头部之后可以插入“文档字符串”,用作函数的使用帮助,它可以使用内置函数help()打印出来。自从Python 3.0,函数定义可以对形式参数与返回值增加类型标注[160]。自从Python 3.5,开始支持类型提示[148]。
Python的修饰器(decorator)可用来修改任何可调用Python对象,其用法是将已定义的对象比如函数、方法或类定义传递给修饰器,再将它所返回的修改后的对象绑定到原来对象的名字。修饰器可用于元编程,其用途至少包括:建立类方法或静态方法,设置先决条件和后置条件、实现多方法、记忆化[161]。
Python使用@作为关键字形成修饰符,它是用来应用修饰器的语法糖。[ad]
通过在毗连的行上放置多个修饰符,多个修饰器可以链接起来应用。[ae]
Python支持大多数面向对象编程技术。在Python中所有东西都是对象,包括数、函数、类和模块。它允许多态性,不限定于在类层级之内子类型方式,而是采用了鸭子类型方式[5],就是说针对变量的方法调用和特性(attribute)访问,不事先限制这个的变量的类型,它可被绑定到任何对象。Python的类继承支持多重继承,这可以用来实现混入。Python支持元类[162],还支持抽象基类[163],自从Python 3.6,提供了定制化类创建的简单机制[164]。
对象的方法,是附属于这个对象的类的函数。对于正常的方法和函数,语法实例.方法(实际参数),是类.方法(实例, 实际参数)的语法糖。Python不提供其他一些面向对象编程语言比如C++和Java中的隐式的this关键字[165],Python的对象方法沿袭自Modula-3,使用显式的第一个形式参数来访问实例特性,习惯上将其命名为self。[af]
Python支持一些名字以__开始和结束的特殊方法,它们用于实现实现多种特殊功能[80],尤其是实例初始化,在一个类中定义__init__(),它在实例创建后返回给调用者之前被调用,所给予的实际参数就是传递给对象构造器表达式的那些实际参数。某些特殊方法可以实现运算符重载,比如在一个类中定义__add__(),将允许在这个类的实例上使用+算符。
在Python中,对象的特殊特性__dict__,是存储其所有(可写)特性的字典[166]。在一个类中的类变量__slots__,可以被赋值为变量名字序列,它为所声明的这些变量在类实例对象中保留空间,并阻止其自动建立__dict__[167]。[ag]
在Python中,定义了一个或多个特殊方法__get__()、__set__()、__delete__()的类,可以用作描述器(descriptor)[168]。一个类的类成员若是另一个描述器类的实例,则它被称为这个类的属性(property),使用与特性(attribute)访问相同的语法,访问这个类的实例对象中的属性。[ah]
在Python中,不强制采用访问子与变异子方法,来访问对象的数据成员。Python使用名字修饰,有限的支持私有变量[106]。Python的property内建函数和@property修饰符,将一个类中特殊定义的访问某个特性的那些方法,包装成的这个类的一个属性[169]。[ai]
Python允许通过使用@classmethod和@staticmethod修饰符,来分别建立类方法和静态方法[62]。在方法调用之时,类方法接收这个类的作为其隐式的第一个实际参数,而静态方法不接收隐式的第一个实际参数。[aj]
Python不提供隐式的super关键字而是提供了super()内建函数,在一个类的方法中调用此函数返回一个代理(proxy)对象,它为了在类层级内这个类所有基类中查找实现了特定方法的基类,确定了优先次序即方法决定次序(MRO),次序居前的基类优先于位居其后的它的父辈类或平辈类[170]。当一个子类的方法覆盖了其超类方法的时候,可通过调用super().方法,将这个方法调用委托给与子类的self.方法同名的超类方法。[ak]
Python拥有一个强大的标准库[171]。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直譯器[172]。Python属于动态语言,其官方实现CPython将Python程序编译成中间形式的字节码[173],并接着在它的虚拟机上执行[174],运行速度缓慢于C/C++所编译出的机器码和在HotSpot JVM上运行的java字节码[175]。
async/await关键字,以及后来版本的一些选定特征;它提供了实现Python标准库模块功能子集的内建模块,和特定于微控制器的一些模块。CircuitPython是Adafruit开发的MicroPython分叉。wheel形式的纯Python包,并且已经移植了很多具有C语言扩展的包。libpython库,能完成嵌入所有模块的程序编译、扩展模块及包编译和独立模态程序发布。其他实现举例:Jython,它是用Java实现的Python 2.7。IronPython,它是建造在DLR之上的Python 2.7和Python 3.4实现。Stackless Python,它是实现微线程的CPython 3.8分叉。Pyston,它是具有JIT等性能优化的CPython 3.8.12的分叉[192]。Pyjion,将Python代码编译成本机CIL的CPython 3.10的JIT扩展[193]。Cinder,它是Meta孵化器发布的具有包括JIT等很多优化的CPython 3.10分叉[194]。Grumpy,它是Python 2.7到Go的转译器和运行时系统[195]。py2many,起步于转译至Julia的PyJL的将Python转译成多种语言的转译器[196]。
很多并非集成开发环境软件的文本编辑器,也对Python有不同程度的支持,并且加上专门为Python设计的编辑器插件也会有很高的可用性。
适用于Python的集成开发环境(IDE)软件,除了标准二进制发布包所附的IDLE之外,还有许多其他选择。其中有些软件设计有语法着色、语法检查、运行调试、自动补全、智能感知等便利功能。由于Python的跨平台出身,这些软件往往也具备各种操作系统的版本或一定的移植性。

Python社群提供了大量的功能覆盖众多领域的第三方模組,其使用方式与标准库类似。第三方模块可以使用Python/Cython或者C语言编写。软件工具比如SWIG,通过定义接口文件或规定文件的方式,可以将C/C++编写的程序库包装为Python模块。Python解释器本身也可以被集成到其它需要腳本語言的程式内。
Python包索引是公开的软件包在线仓库。pip是官网推荐的以安全方式安装Python应用及其依赖软件包的最流行工具[197]。要安装在整个操作系统范围内共享的Python包,现在需要通过操作系统的软件包管理系统。要将特定于应用的依赖包隔离于共享的Python安装,可以使用标准库的venv[198]或第三方工具virtualenv[199]创建虚拟环境;第三方工具pipenv,能自动为用户项目建立和管理虚拟环境,并在安装/卸装软件包的时候,向此项目的Pipfile文件增加/移除这个软件包[200]。
Python标准库對於各种網路協定的支援很完善,因此適用於編寫伺服器軟體、網路爬蟲等Web開發。Python定義了WSGI標準應用接口,来協調HTTP伺服器與基於Python的Web程式之間的溝通。比如,通過mod_wsgi模組,Apache HTTP Server可以運行用Python編寫的Web程式。
用Python编写的一些Web框架,有助於輕鬆地開發和管理複雜的Web程式。重要的第三方网络编程库和Web框架有:
asyncio的HTTP客户端和服务器二者[202]。asyncio事件循环的快速的、直截了当的替代者[203],它用Cython实现并在底层使用了libuv。Python本身包含了Tkinter库,它是Python的业界标准GUI并被集成进入了IDLE。Tkinter基于了Tcl命令工具,能够支持简单的GUI开发。但是为了让所开发的软件运行速度更快,并与用户的桌面环境更契合,人们一般会选择采用第三方GUI库或框架。主要的第三方GUI库有:
重要的数据科学用第三方软件库有:
基础性的机器学习软件库及框架有:
在很多作業系統裡,Python是標準的系统元件,它被列入了ISO/IEC 23360-1-4:2021 Linux标准规范(LSB)之语言规定[259]。大多數Linux發行版和macOS都集成了Python,可以在终端模拟器或虚拟控制台下直接執行Python。第三方工具pipx,可以将Python应用安装于隔离的环境中并在其中运行它[260]。
雖然Python可被粗略地分類為腳本語言,Python的支持者較喜歡稱它為一種高階動態語言,常像“胶水”一样被用来连接软件组件,已经显著的区别于Unix shell、Windows PowerShell这样的语言。基于Python的xonsh,是跨平台的、青睐Unix的shell语言和命令行界面[261]。
一些Linux發行版,使用Python語言編寫安裝器,比如Ubuntu的Ubiquity和Fedora的Anaconda;或使用它編寫軟件包管理系统,比如Gentoo的Portage。下面举例使用Python编写或将它作为嵌入式脚本的一些应用程序:
经由Python开发了众多的人工智能模型和作为其支撑的软件库:
自从2003年,Python始终排行于TIOBE编程社区索引前十最流行编程语言,在2021年10月它首次达到了第一名最流行语言(居于C和Java之前),并被选为2007年、2010年、2018年、2020年、2021年和2024年的年度编程语言[43]。它有如下著名的社群:
Python的设计和哲学已经影响了很多其他编程语言:
在Python基础上开发的编程语言有:
def is_even(a: int) -> bool:
"""确定数a是否是偶数."""
if a % 2 == 0:
print('偶数!')
return True
print('奇数!')
return False
# 参数比后续部份多一层缩进
def long_function_name(
var_one, var_two, var_three,
var_four):
# 可选的圆括号内后续行多一层缩进
if (this_is_first_thing
and that_is_second_thing):
do_something()
# 可选的圆括号内后续行不额外缩进
elif (this_is_third_thing and
that_is_fourth_thing):
do_something_different()
# 参数相对行首缩进一层
spam = long_function_name(
arg_one, arg_two,
arg_three, arg_four)
# 参数按开括号界定垂直对齐
eggs = long_function_name(arg_one, arg_two,
arg_three, arg_four)
# 可选的闭括号位置
my_list = [
1, 2, 3,
4, 5, 6,
]
# 可选的闭括号位置
my_set = {
1, 2, 3,
4, 5, 6,
}
>>> a = [1, 2, 3]
>>> i, j, k = a
>>> print(i, j, k)
1 2 3
采用了并行赋值的斐波那契数列函数示例:
def fib(n): # 写出从第0项到第n项的Fibonacci系列
a, b, i = 0, 1, 0
while i <= n:
print(a, end=' ')
a, b, i = b, a+b, i+1
print()
from itertools import count
def generate_primes(stop_at=0):
if stop_at != 1:
primes = [2]
yield 2
for n in count(3, 2):
if 0 < stop_at < n:
return # 引发StopIteration例外
composite = False
for p in primes:
if not n % p:
composite = True
break
elif p ** 2 > n:
break
if not composite:
primes.append(n)
yield n
上述函数的隐式迭代用例:
for i in generate_primes(): # 迭代于100以内所有素数上
if i > 100:
break
print(i)
在生成器表达式中使用上述函数,定义了一个惰性的、巨大而并非无限的搜集的示例:
from itertools import islice
primes_under_million = (i for i in generate_primes() if i < 1000000)
two_thousandth_prime = islice(primes_under_million, 1999, 2000)
print(next(two_thousandth_prime))
def produce(n):
try:
for item in range(n):
print(f'producing item {item} ->')
yield item
except GeneratorExit:
return
def consume():
item = None
try:
while True:
item = yield item
print(f'consuming item {item} <-')
except GeneratorExit:
return
def main():
r = []
t1 = produce(10)
t2 = consume()
try:
next(t2)
while True:
p = next(t1)
r += [t2.send(p)]
except StopIteration:
t2.close()
print(f'result items: {r}')
main()
class语句的类继承列表给出基础类列表,没有继承列表的类,缺省继承基础类object。类的套件接着在新的执行框架(frame)中执行,它使用新建的局部名字空间和原来的全局名字空间。当这个类套件完成执行之时,丢弃它的执行框架并保存它的局部名字空间。一个类对象接着被创建,其基础类采用继承列表,其特性字典采用保存的局部名字空间。类名字接着在原来的局部名字空间中,被绑定到这个类对象。
def语句的执行,在当前局部名字空间中,将函数名字绑定到一个函数对象(对函数的可执行代码的包装器)。这个函数对象包含到当前全局名字空间的引用,作为调用这个函数时使用的全局名字空间。
import asyncio
import random
async def produce(queue, n):
for item in range(n):
# 生产一个项目,使用sleep模拟I/O操作
print(f'producing item {item} ->')
await asyncio.sleep(random.random())
# 将项目放入队列
await queue.put(item)
# 指示生产完毕
await queue.put(None)
async def consume(queue):
while True:
# 等待来自生产者的项目
item = await queue.get()
if item is None:
break
# 消费这个项目,使用sleep模拟I/O操作
print(f'consuming item {item} <-')
await asyncio.sleep(random.random())
async def main():
queue = asyncio.Queue()
task1 = asyncio.create_task(produce(queue, 10))
task2 = asyncio.create_task(consume(queue))
await task1
await task2
asyncio.run(main())
f = None
try:
f = open("aFileName", mode="w")
f.write(could_make_error()) # 不存在could_make_error()则产生错误
except IOError as error:
print(error)
print("不能打开文件")
except: # 捕获所有例外
print("未预期的错误")
else: # 在没有出现例外时执行
print("文件写入完全成功")
finally: # 清除行动,总是执行
if f:
f.close()
with将文件作为资源来管理的示例:
from contextlib import contextmanager
@contextmanager
def opened(filename, mode="r"):
try:
f = open(filename, mode)
except IOError as error:
print(error)
yield None
else:
try:
yield f
finally:
f.close()
with opened("aFileName", mode="w") as f:
try:
f.write(could_make_error()) # 不存在could_make_error()则产生错误
except AttributeError:
print("不能打开文件")
except: # 捕获所有例外
print("未预期的错误")
else: # 在没有出现例外时执行
print("文件写入完全成功")
vars()函数,返回一个模块、类、实例或任何具有字典特性__dict__的对象的字典特性。内建globals()函数,返回实现当前模块的名字空间的一个字典。内建locals()函数,更新并返回表示当前局部符号表的一个字典。在函数块中而非类块中调用locals()之时,它返回自由变量。在模块层级上,locals()和globals()返回同一个字典。内建dir()函数,在无参数时,返回在当前局部作用域内的名字列表;在有一个参数时,尝试返回这个对象的有效特性的列表。[121]
for语句头部中和各种as关键字之后的标识符目标(target),as关键字出现在import语句、with语句、except子句、except*子句和结构式模式匹配的as模式之中。
sys(各种系统服务)、builtins(内建函数、例外和None)和__main__之外都未被初始化。__main__用来为完整程序的执行提供局部和全局名字。当解释器被调用在交互模态下的时候,它一次一个的读取并执行语句;初始环境同于完整程序,每个语句都在__main__的名字空间中执行。__main__是顶层代码运行所在的环境。从命令行使用-m参数,作为顶层脚本运行的模块(作为模块__main__)是块。此时__name__变量被设置为"__main__",籍此可在这个模块中增加直接运行时候执行的代码[116][122]。
>>> def spam():
... print(a)
...
>>> a = 10
>>> spam()
10
>>> def spam():
... a = 100
... print(a)
...
>>> spam()
100
>>> a
10
>>> def spam():
... a *= 10
... print(a)
...
>>> spam()
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "<stdin>", line 2, in spam
UnboundLocalError: cannot access local variable 'a' where it is not associated with a value
>>> def spam():
... def eggs():
... nonlocal a
... a *= 10
... print(a)
... a = 10
... eggs()
...
>>> spam()
100
>>> def spam():
... def eggs():
... nonlocal a
... a *= 10
... print(a)
... global a
... eggs()
...
File "<stdin>", line 3
SyntaxError: no binding for nonlocal 'a' found
>>> def spam():
... global a
... a *= 10
... print(a)
...
>>> a = 10
>>> spam()
100
>>> a
100
>>> def spam():
... def eggs():
... print(a)
... global a
... eggs()
...
>>> a = 10
>>> spam()
10
>>> def spam():
... def eggs():
... a *= 10
... print(a)
... global a
... eggs()
...
>>> spam()
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "<stdin>", line 6, in spam
File "<stdin>", line 3, in eggs
UnboundLocalError: cannot access local variable 'a' where it is not associated with a value
a_tuple = 1, 2, 3, 'four'
通过列表展示建立列表示例:
a_list = [1, 2, 3, 'a dog']
通过字典展示建立字典示例:
a_dictionary = {'key 1': 'value 1', 2: 3, 4: []}
通过集合展示建立集合示例:
some_set = {0, (), False}
>>> [x + 3 for x in range(4)]
[3, 4, 5, 6]
使用列表推导式可以优雅的将快速排序算法表达为:
def qsort(L):
if L == []:
return []
pivot = L[0]
return (qsort([x for x in L[1:] if x < pivot])
+ [pivot]
+ qsort([x for x in L[1:] if x >= pivot]))
生成器表达式示例:
>>> sum(x * x for x in range(10))
285
>>> dict((n, n*n) for n in range(5))
{0: 0, 1: 1, 2: 4, 3: 9, 4: 16}
>>> set(n*n for n in range(5))
{0, 1, 4, 9, 16}
字典推导式示例:
>>> {x: x + 3 for x in range(4)}
{0: 3, 1: 4, 2: 5, 3: 6}
集合推导式示例:
>>> {x + 3 for x in range(4)}
{3, 4, 5, 6}
>>> a = [1, 2, 3]; b = [4, 5]
>>> c = [*a, b]
>>> c
[1, 2, 3, [4, 5]]
>>> d = {*a, *b}
>>> d
{1, 2, 3, 4, 5}
>>> e = (*a, *b)
>>> e
(1, 2, 3, 4, 5)
>>> f = {'as':1, 'bs':2 }; g = {'cs':3, 'ds':4}
>>> h = {**f, **g}
>>> h
{'as': 1, 'bs': 2, 'cs': 3, 'ds': 4}
>>> nums = [0, 1, 2, 3, 4, 5, 6]
>>> nums[2:5] #从下标2的元素剪切直到下标5之前的元素
[2, 3, 4]
>>> nums[1:] #从下标1的元素剪切直到末位元素
[1, 2, 3, 4, 5, 6]
>>> nums[:-3] #从首位元素剪切直到倒数第3个元素之前的元素
[0, 1, 2, 3]
>>> nums[:] #复制所有元素
[0, 1, 2, 3, 4, 5, 6]
>>> nums[::-1] #反转所有元素
[6, 5, 4, 3, 2, 1, 0]
>>> nums[1:5:2] #从下标1的元素剪切直到下标5之前的元素且步长为2
[1, 3]
lambda表达式示例:
>>> from functools import reduce
>>> reduce(lambda x, y: x+y, [1, 2, 3, 4, 5])
15
>>> fac = lambda n: (1 if n<2 else n*fac(n-1))
>>> fac(5)
120
>>> [*map(fac, [1, 2, 3, 4, 5])]
[1, 2, 6, 24, 120]
lambda表达式、关键字参数中的表达式和推导式中的if表达式之中,以及在assert和with语句之中的时候,必须围绕着圆括号。在它们可以使用的所有其他地方,包括在if和while语句之中,都不要求圆括号[132]。
r = object
c = type
class M(c): pass
class A(metaclass=M): pass
class B(A): pass
b = B()
|
>>> type(b)
<class '__main__.B'>
>>> print(type(B), B.__bases__)
<class '__main__.M'> (<class '__main__.A'>,)
>>> print(type(A), A.__bases__)
<class '__main__.M'> (<class 'object'>,)
>>> print(type(M), M.__bases__)
<class 'type'> (<class 'type'>,)
>>> print(type(c), c.__bases__)
<class 'type'> (<class 'object'>,)
>>> print(type(r), r.__bases__)
<class 'type'> ()
def f(x):
def g(y):
return x + y
return g # 返回一个闭包。
h = lambda x: lambda y: x + y
# 将指定闭包赋值给变量。
a = f(1)
b = h(1)
c = f(2)
# 使用存储在变量中的闭包。
assert a(5) == 6
assert b(5) == 6
assert c(5) == 7
# 使用闭包而不事先把它们绑定到变量。
assert f(1)(5) == 6 # f(1)是个闭包。
assert h(1)(5) == 6 # h(1)是个闭包。
assert f(2)(5) == 7 # f(2)是个闭包。
sys.getrecursionlimit(),获知当前的递归最大深度限制,还可以通过sys.setrecursionlimit()来设置这个限制。例如递归定义的阶乘函数:
def fac(n):
return 1 if n <= 1 else fac(n-1) * n
fac(991)可以递归执行至缺省的最大深度限制1000,CPython的_pyrepl占用了初始的9层。
>>> def spam(a):
... a.append('LovelySpam')
...
>>> def eggs(b):
... b=100 #实际上是重新绑定了另一个整型对象100
...
>>> a=[]
>>> b=10
>>> spam(a)
>>> eggs(b)
>>> print(a)
['LovelySpam']
>>> print(b)
10
>>> def f(a, L=[]):
... L.append(a)
... return L
...
>>> print(f(1))
[1]
>>> print(f(2))
[1, 2]
>>> print(f(0, []))
[0]
>>> print(f(3))
[1, 2, 3]
这通常不是所预期的效果。一种解决办法是使用None作为缺省值,并在函数主体中显式的测试它:
def f(a, L=None):
if L is None:
L = []
L.append(a)
return L
>>> from inspect import getfullargspec
>>> def func(p1, /, p2, p3="x", *, p4): pass
...
>>> getfullargspec(func)
FullArgSpec(args=['p1', 'p2', 'p3'], varargs=None, varkw=None, defaults=('x',), kwonlyargs=['p4'], kwonlydefaults=None, annotations={})
>>> from inspect import getfullargspec
>>> def func(p1, /, p2, *args, p3, **kwargs): pass
...
>>> getfullargspec(func)
FullArgSpec(args=['p1', 'p2'], varargs='args', varkw='kwargs', defaults=None, kwonlyargs=['p3'], kwonlydefaults=None, annotations={})
def viking_chorus(myfunc):
def inner_func(*args, **kwargs):
for i in range(3):
myfunc(*args, **kwargs)
return inner_func
调用修饰器的示例:
@viking_chorus
def menu_item(*args):
print(", ".join(args)+", and spam")
它等价于:
def menu_item(*args):
print(", ".join(args)+", and spam")
menu_item = viking_chorus(menu_item)
viking_chorus修饰后的menu_item将原来定义运行3次:
>>> menu_item("egg","bacon")
egg, bacon, and spam
egg, bacon, and spam
egg, bacon, and spam
favourite_colour接受一个实际参数,并返回一个修饰器:
def favourite_colour(colour):
def decorator(func):
def wrapper(*args, **kwargs):
print(f"My favourite colour is {colour}.")
func(*args, **kwargs)
return wrapper
return decorator
def invincible(func):
def wrapper(*args, **kwargs):
print("I'm invincible!")
func(*args, **kwargs)
return wrapper
使用毗连的修饰符链接修饰器示例:
@invincible
@favourite_colour("blue")
def black_knight():
print("None shall pass.")
它等价于:
black_knight = invincible(favourite_colour("blue")(black_knight))
black_knight()结果为:
>>> black_knight()
I'm invincible!
My favourite colour is blue.
None shall pass.
>>> class Fish(object):
... hungry = True
... def eat(self, food=None):
... if food is not None:
... self.hungry = False
...
... def status(self):
... print("Hungray!" if self.hungry else "Not hungray!")
...
>>> e = Fish()
>>> Fish.hungry = False
>>> e.hungry
False
>>> Fish.hungry = True
>>> e.hungry
True
>>> e.__dict__
{}
>>> status(e)
Hungray!
>>> Fish.status = status
>>> type(Fish.status)
<class 'function'>
>>> type(e.status)
<class 'method'>
>>> e.status()
Hungray!
>>> e.eat("earthworm")
>>> e.__dict__
{'hungry': False}
>>> e.status()
Not hungray!
>>> Fish.hungry
True
__init__和类变量__slots__(槽)示例:
>>> class Bird(object):
... __slots__ = ['hungry']
... def __init__(self, *args, **kwargs):
... self.hungry = True
... def eat(self, food=None):
... if food is not None:
... self.hungry = False
... def status(self):
... print("Hungray!" if self.hungry else "Not hungray!")
...
>>> Bird.hungry
<member 'hungry' of 'Bird' objects>
>>> type(Bird.hungry)
<class 'member_descriptor'>
>>> f = Bird()
>>> f.status()
Hungray!
>>> f.eat("mealworm")
>>> f.status()
Not hungray!
>>> assert '__dict__' not in dir(Bird)
>>> class RevealAccess():
... """正常的设置和返回值的数据描述器,
... 它还打印记录这次访问的一个消息。
... """
... def __init__(self, initval=None, name='var'):
... self.val = initval
... self.name = name
... def __get__(self, obj, objtype):
... print('Retrieving', self.name)
... return self.val
... def __set__(self, obj, val):
... print('Updating', self.name)
... self.val = val
...
>>> class MyClass():
... x = RevealAccess(10, 'var "x"')
... y = 5
...
>>> m = MyClass()
>>> m.x
Retrieving var "x"
10
>>> vars(m)
{}
>>> MyClass.__dict__['x'].val
10
>>> m.x = 20
Updating var "x"
>>> vars(m)
{}
>>> MyClass.__dict__['x'].val
20
>>> m.y
5
>>> vars(m)
{}
>>> m.y = 5
>>> vars(m)
{'y': 5}
property()的例子:
>>> class C():
... def __init__(self, *args, **kwargs):
... self.__x = None
... def getx(self):
... return self.__x
... def setx(self, value):
... self.__x = value
... def delx(self):
... del self.__x
... x = property(getx, setx, delx, "I'm the 'x' property.")
...
>>> c = C()
>>> vars(c)
{'_C__x': None}
>>> {*C.__dict__}
{'__module__', '__firstlineno__', '__init__', 'getx', '__doc__', '__static_attributes__', 'delx', '__dict__', '__weakref__', 'setx', 'x'}
上述代码可以采用修饰符进一步的书写为:
>>> class C():
... def __init__(self, *args, **kwargs):
... self.__x = None
... @property
... def x(self):
... """I'm the 'x' property."""
... return self.__x
... @x.setter
... def x(self, value):
... self.__x = value
... @x.deleter
... def x(self):
... del self.__x
...
>>> c = C()
>>> vars(c)
{'_C__x': None}
>>> {*C.__dict__}
{'__module__', '__firstlineno__', '__init__', '__doc__', '__static_attributes__', '__dict__', '__weakref__', 'x'}
__new__(它是特殊情况而不需要加以修饰)、特殊方法__call__、__len__、__getitem__、__setitem__和弱引用集合示例:
>>> from weakref import WeakSet
... class D():
... __template = {}
... __obj_set = WeakSet()
... def __new__(cls, *args, **kwargs):
... obj = super().__new__(cls)
... cls.__obj_set.add(obj)
... return obj
... @classmethod
... def load(cls, dict):
... cls.__template |= dict
... @classmethod
... def create(cls, *args, **kwargs):
... return cls(cls.__template, *args, **kwargs)
... @classmethod
... def count(cls):
... return len(cls.__obj_set)
... @classmethod
... def contains(cls, obj):
... return obj in cls.__obj_set
... def __init__(self, dict={}, /, *args, **kwargs):
... self.__dict__ |= dict
... self.__dict__ |= kwargs
... def __call__(self, *args, **kwargs):
... self.__dict__ |= kwargs
... return self.__dict__.copy()
... def __len__(self):
... return len(self.__dict__)
... def __getitem__(self, key):
... return self.__dict__[key]
... def __setitem__(self, key, value):
... self.__dict__[key] = value
...
>>> a = {'ak': 1, 'bk': 2, 'ck': 3}
>>> d = D(a, dk=4)
>>> d()
{'ak': 1, 'bk': 2, 'ck': 3, 'dk': 4}
>>> D.load(a)
>>> e = D.create(ck=4)
>>> e()
{'ak': 1, 'bk': 2, 'ck': 4}
>>> f = D(ak=1, bk=2)
>>> f(ck=3)
{'ak': 1, 'bk': 2, 'ck': 3}
>>> f['ak']
1
>>> f['ak'] = 5
>>> f()
{'ak': 5, 'bk': 2, 'ck': 3}
>>> len(f)
3
>>> D.count()
3
>>> del f
>>> D.count()
2
>>> d.__weakref__
<weakref at 0x72652697ede0; to 'D' at 0x72652713b230>
>>> D.contains(d)
True
>>> D.contains(1)
False
__init_subclass__和在子类中用内建函数super()调用超类的实例方法和类方法的例子:
>>> class Thought(object):
... __cls_descr = "Thought类型"
... @classmethod
... def descript(cls):
... return cls.__cls_descr
... def __init_subclass__(cls):
... cls.__cls_descr = "Thought类型的子类型"
... def __init__(self, *args, **kwargs):
... self.idea = "我感觉自己斜停在了平行宇宙里。"
... print(f"我是{type(self).descript()}的新对象!")
... def message(self, *args):
... print("\n".join([self.idea] + [*args]))
...
... class Advice(Thought):
... @classmethod
... def descript(cls):
... return super().descript() + "Advice类型"
... def message(self):
... super().message("警告:日历中的日期比实际显示的更近!")
...
>>> t = Thought()
我是Thought类型的新对象!
>>> t.message()
我感觉自己斜停在了平行宇宙里。
>>> a = Advice()
我是Thought类型的子类型Advice类型的新对象!
>>> a.message()
我感觉自己斜停在了平行宇宙里。
警告:日历中的日期比实际显示的更近!
>>> super(Advice, a).message()
我感觉自己斜停在了平行宇宙里。
>>> Advice.super = super(Advice)
>>> a.super.message()
我感觉自己斜停在了平行宇宙里。
>>> [*super.__dict__]
['__new__', '__repr__', '__getattribute__', '__get__', '__init__', '__thisclass__', '__self__', '__self_class__', '__doc__']
>>> super(Advice).__thisclass__
<class '__main__.Advice'>
>>> assert super(Advice).__self__ is None
>>> assert super(Advice).__self_class__ is None
>>> super(Advice, a).__self__
<__main__.Advice object at 0x754299f19940>
>>> super(Advice, a).__self_class__
<class '__main__.Advice'>
>>> super(Thought, Advice).__thisclass__
<class '__main__.Thought'>
>>> super(Thought, Advice).__self__
<class '__main__.Advice'>
>>> super(Thought, Advice).__self_class__
<class '__main__.Advice'>
String slicing came from Algol-68 and Icon.
even though the design of C is far from ideal, its influence on Python is considerable.
Compared with other programming languages, Python’s class mechanism adds classes with a minimum of new syntax and semantics. It is a mixture of the class mechanisms found in C++ and Modula-3.
replace "CLU" with "Python", "record" with "instance", and "procedure" with "function or method", and you get a pretty accurate description of Python's object model.
The C3 method itself has nothing to do with Python, since it was invented by people working on Dylan and it is described in a paper intended for lispers.
Python is a simple, yet powerful, interpreted programming language that bridges the gap between C and shell programming, and is thus ideally suited for "throw-away programming" and rapid prototyping. Its syntax is put together from constructs borrowed from a variety of other languages; most prominent are influences from ABC, C, Modula-3 and Icon.
The Python interpreter is easily extended with new functions and data types implemented in C. Python is also suitable as an extension language for highly customizable C applications such as editors or window managers.
This module provides regular expression matching operations similar to those found in Perl.
CoffeeScript is a programming language whose syntax is clearly designed to match much of Python (with additional inspirations from Perl, ECMAScript, Ruby, etc.).
Nim's syntax is strongly reminiscent of Python's, as it uses indented code blocks and some of the same syntax (such as the way if/elif/then/else blocks are constructed).
It draws primarily on features from Perl, Smalltalk, Python, Lisp, Dylan, and CLU.
Of course, it also greatly benefited from the experiences hard-won by many other languages in the field, drawing ideas from Objective-C, Rust, Haskell, Ruby, Python, C#, CLU, and far too many others to list.
Python can be seen as a dialect of Lisp with "traditional" syntax (what Lisp people call "infix" or "m-lisp" syntax).
JavaScript, Python and SQL are all highly-desired and admired programming languages
Lambda expressions are particularly useful in combination with map(), filter() and reduce(), described below. Thanks to Amrit Prem for submitting this code (as well as map(), filter(), reduce() and xrange())!
aspectlib is an aspect-oriented programming, monkey-patch and decorators library. It is useful when changing behavior in existing code is desired. It includes tools for debugging and testing: simple mock/record and a complete capture/replay framework.
Python is an interpreted object oriented programming language. This document describes how to write modules in C or C++ to extend the Python interpreter with new modules. Those modules can define new functions but also new object types and their methods. The document also describes how to embed the Python interpreter in another application, for use as an extension language. Finally, it shows how to compile and link extension modules so that they can be loaded dynamically (at run time) into the interpreter, if the underlying operating system supports this feature.
simple_stmts:
| simple_stmt !';' NEWLINE # Not needed, there for speedup
| ';'.simple_stmt+ [';'] NEWLINE
statements: statement+statement: compound_stmt | simple_stmts
……block:
| NEWLINE INDENT statements DEDENT
| simple_stmts
The relational operators group left-to-right, but this fact is not useful;a<b<cis parsed as(a<b)<c, and evaluates to either0or1.
The modulo operator always yields a result with the same sign as its second operand (or zero); …… The integer division and modulo operators are connected by the following identity: x == (x/y)*y + (x%y).
almost all platforms map Python floats to IEEE-754 “double precision”.
the complexity introduced by a solution to a design problem must be somehow proportional to the problem's importance. …… Mathematicians don't mind these -- a proof is a proof is a proof, no matter whether it contains 2 or 2000 steps, or requires an infinite-dimensional space to prove something about integers. …… Features of a programming language, whether syntactic or semantic, are all part of the language's user interface. And a user interface can handle only so much complexity or it becomes unusable. This is also the reason why Python will never have continuations, and even why I'm uninterested in optimizing tail recursion.
Once tail recursion elimination exists, developers will start writing code that depends on it, and their code won't run on implementations that don't provide it …… I don't believe in recursion as the basis of all programming. This is a fundamental belief of certain computer scientists, especially those who love Scheme and like to teach programming by starting with a "cons" cell and recursion.
Pyston was started at Dropbox in 2014 ……. …… In 2017 …… Pyston project was shut down. …… In 2019 the Pyston developers regrouped ……. …… In mid-2021 the Pyston developers joined Anaconda …….
The term broadcasting describes how NumPy treats arrays with different shapes during arithmetic operations. Subject to certain constraints, the smaller array is “broadcast” across the larger array so that they have compatible shapes.
DataFrame is a 2-dimensional labeled data structure with columns of potentially different types. You can think of it like a spreadsheet or SQL table, or a dict of Series objects. It is generally the most commonly used pandas object.
The default installed Python version shall be 2.4.2 or greater.