cpython是什么?pypy是什么?python和这两个东西有什么关系

请分析下,cpython是什么?pypy是什么?python和这两个东西有什么关系
最新回答
别闹~

2025-06-27 12:38:21

p >本文旨在介绍Python的主流实现CPython是如何执行源代码的。我们将以当前主分支的CPython 3.13版本为例,解释从源代码到执行的全过程。

p > Python语言内嵌有一个编译器。首先,需要对源代码进行词法分析,将字符串转化为一个个单词,以便进一步处理。这一过程主要发生在`Parser/tokenizer.c`文件中,由手工编写实现。

p > 完成词法分析后,接下来是语法分析阶段。通过这一阶段,CPython真正理解了代码的结构。自Python 3.10版本起,CPython采用了一种新的PEG解析器。

p > PEG,全称Parser Expression Generator,理念是通过描述你设计的语法,生成相应的解析代码。在CPython项目中,`Grammar/python.gram`文件描述了Python语法,通过`Tools/peg_generator/pegen/`生成器转换为解析代码,位于`Parser/parser.c`。我有幸参与过`Grammar/python.gram`的修改,无需修改语法即可保持其稳定。

p > PEG语法广泛应用于多种场景,因为它允许自定义描述语法,同时生成器也可以自定义。在CPython中,`Tools/peg_generator/pegen/metagrammar.gram`描述了元语法,可以用来生成不同语言的解析代码,并在多种语言中实现。

p > 语法分析后,结果是抽象语法树(AST),声明在`Include/internal/pycore_ast.h`,并由`ast`模块对外提供接口。

p > 有了AST,下一步是将其转换为字节码。CPython的核心是解释执行,执行的内容即为字节码。这些字节码保存在`__pycache__/*.pyc`文件中,每个小版本的字节码都可能发生变化,用户不应假设兼容性。我们可以通过`dis`模块查看编译后的结果。

p > 字节码生成过程涉及符号查找、指令优化等多个步骤,尤其是在Python 3.11的性能优化中,有一部分就是在字节码层面进行的改进。这部分主代码位于`Python/compile.c`。

p > 字节码生成的输入是AST,输出为Python字节码。整个转换过程由`_PyParser_ASTFromFile`函数串联起来。

p > 完成字节码生成后,下一步是执行字节码。这通常是一个大的循环过程,主要在`_PyEval_EvalFrameDefault`中实现,包含了大量的`switch case`结构。

p > `Python/generated_cases.c.h`文件包含了几乎所有的字节码实现,并且通过`Python/bytecodes.c`生成。CPython执行的核心通常称为CPython VM(虚拟机)。

p > 在真正执行之前,还需要内置对象的支持。基本的内置对象如`str`、`list`和`dict`在Python中至关重要。这些对象的C实现构成了CPython VM的重要部分,位于`Objects`目录下,并编译在VM程序中。

p > Python内置了许多基本库,它们的代码通常位于`Lib`目录下。同时,CPython VM提供了丰富的C API,允许用户编写C扩展,并方便地在C扩展和Python VM之间传递对象。

p > 为了提供基本功能,CPython必须使用一些操作系统提供的原生C函数,因此内置了许多C扩展。例如,`os`模块的C实现位于`Modules`目录下,这些模块通过CPython VM动态加载。

p > Python最初的定位是胶水语言,大量C扩展极大地丰富了CPython的生态系统,同时也是其他Python实现如PyPy等的限制。

p > 最后,将所有这些组件组织起来的代码位于`Python/pythonrun.c`中,经过这一系列步骤后,代码终于可以执行了。