Python编程语言参考手册_Python 语言参考手册

1. 概述

本手册仅描述 编程语言，不宜当作教程。

我力求确保内容的准确性，然而，为了便于理解，我倾向于采用日常用语来表述。尽管如此，仅限于语法和词汇层面的正式定义则被用于分析。这样做或许会让文档对大众更加友好，但同时也可能引入一些误解。所以，假如你来自火星并试图根据这份文档进行重写，你或许需要自行推断，最终得到的可能是一个与原意大相径庭的语言版本。另一方面，若你正运用该语言并希望掌握其特定领域的详尽规范，这些规则或许便藏于此处。若你对该语言的正式定义有所渴求，或许可以亲自撰写一份——或者创造一台复制装置吧。

在语言参考文档中加入过多的具体实施细节存在风险——因为具体实施可能会发生变化，而针对同一语言的其他实现可能会采用不同的方法。另一方面，存在一种广泛应用的实现（尽管其他一些实现的追随者也在增多），其中的某些特殊细节有时也值得提及，尤其是当这些细节的实施方式带来了额外的限制时。所以，你会在阅读过程中频繁遇到一些简短的“注释说明”。

每种实现都配备了若干内置及标准化的组件，相关资料可在索引中查阅。部分内置组件亦将在此进行介绍，尤其是那些与语言描述存在显著关联的。

1.1. 其他实现

尽管官方版本获得了广泛的认可和喜爱，然而，对于某些特定领域的用户而言，其他版本反而更具吸引力。

知名的实现包括:

这是最早被引入并持续得到维护的实现版本，采用C语言进行编写。通常情况下，新的语言特性会首先在此得到添加。

采用 Java 编程语言所编写的程序。这一程序既可充当 Java 应用中的脚本语言，亦可用于开发依赖 Java 类库的应用程序。如需获取更多详细信息，请访问指定网站。

for .NET

此实现本质上采用了另一种实现方式，然而它是一款.NET框架下的托管应用程序，并且支持.NET类库的集成。这项技术的开发者是Brian Lloyd。如需获取更多信息，请访问.NET官方主页。

另一个.NET版本并非简单的实现，它是一个能够生成IL代码的完整版本，并且能够将代码直接编译成.NET程序集。这一版本的开发者正是当初的创始人Jim。如需获取更多信息，请访问相关网站。

PyPy

这是一个纯语言编写的实现版本。它具备了一些其他实现所不具备的先进功能，比如非栈式操作和实时编译器等。项目旨在通过允许用户轻松修改解释器（由于它也是用该语言编写的）来激发对语言本身的探索。有关更详细的信息，请访问 PyPy 项目的主页。

这些实现可能与参考文档手册中的描述存在某些不一致，或者包含了超出标准文档范畴的特定内容。建议查阅相应的专门文档，以明确当前使用实现中需要了解的相关信息。

1.2. 标注

句法和词法分析的过程采用了经过优化的Naur形式（BNF）语法进行标注。具体来说，它将遵循以下定义的样式：

name      ::= lc_letter (lc_letter | "_")*
lc_letter ::= "a"..."z"

本行阐述的是，name 的定义由 name 后面可能出现的零个或多个字符和下划线组成，而该字符则是从 'a' 到 'z' 的任意单个字母。实际上，在本文档中，我们始终依据这一规则来界定词法和语法规则的名称。

每项规则以名称开头，即该规则所界定的名称，后跟 ::= 符号。竖线 | 用于区分可选择的选项，它是此标注中连接度最小的符号。星号 * 表明前述项可以出现零次或多次，同样，加号 + 表示至少出现一次或多次，而括号 () 内的内容表示这部分内容是可选的。操作符“与”和“或”的关联性最为紧密，圆括号被用来进行分组操作。字符串的具体内容需用引号括起。空格仅用于区分各个字符。每条规则通常占据一行，当存在多个可供选择的规则时，这些规则可能会通过竖线分隔，分布在多行中。

在词法定义方面，除了前述示例所示，还额外引入了两项规定：一是通过三个点号分隔的字符字面值来表示特定（闭）区间内的任意一个ASCII字符；二是用尖括号括起的内容，这属于对定义符号的非正式解释，它可以在需要时用来阐述“控制字符”的含义。

尽管标注方法基本一致，但词法和句法在定义上却有着显著的不同：词法定义针对的是输入源中单个字符的界定，而句法定义则针对由词法分析得出的符号序列。接下来的章节，即“词法分析”部分，所涉及的所有BNF都是词法定义；而后续章节则主要运用句法定义。