Python程序如何运行？解释器、源码与字节码是什么？

面试官问：“运行一个Python程序时，解释器会怎样处理源码？字节码和.pyc文件又是什么？”

很多录友会回答“Python逐行读取源码、逐行执行”。这个说法容易让人误以为解释器每执行一行就重新理解一次文字。要讲清这道题，关键是分开编译、执行和缓存三个环节。下文以Python 3的CPython实现为例。

简要回答

源码是我们写的Python代码，通常保存在.py文件中。解释器是运行Python代码的程序；常见的CPython在执行源码前，会先解析语法并编译出包含字节码的代码对象，再由它的虚拟机执行这些指令。因此，“Python是解释型语言”不等于“完全没有编译步骤”。

字节码是供CPython执行的中间指令，不是CPU直接执行的机器码。导入模块时，CPython通常会把可复用的字节码缓存为__pycache__目录下的.pyc文件；.pyc是缓存，不是运行Python程序的前提。直接运行一个.py脚本，通常不会为这个主脚本生成.pyc文件。

详细回答

从源码到执行，经历了什么？

执行python hello.py时，可以把CPython的主要过程理解为：

源码（.py） → 解析语法 → 编译为代码对象（含字节码） → CPython虚拟机执行

图中的主线是一次执行必须经历的编译和运行过程。下方的.pyc分支只在导入模块且允许写缓存时可能出现；新进程再次导入该模块，如果缓存有效，可以加载代码对象，跳过相应的源码编译步骤，但虚拟机仍要执行模块代码。

源码是输入。它可以来自.py文件，也可以来自交互式输入或python -c传入的字符串，所以“源码”不等于“必须有一个.py文件”。

编译会检查语法并生成代码对象。代码对象保存了字节码以及执行所需的其他信息。存在语法错误时，程序在这一环节就会报SyntaxError，还没有执行到出错代码所在的逻辑。

执行发生在虚拟机中。CPython读取代码对象里的指令，完成运算、函数调用等操作。执行时仍可能出现ZeroDivisionError这类运行时异常；语法检查通过，不代表程序一定能正常运行。

可以用标准库dis观察当前CPython生成的指令：

import dis

code = compile("print(1 + 2)", "<demo>", "exec")
print(type(code).__name__)  # code
dis.dis(code)               # 显示当前CPython版本的字节码指令
exec(code)                  # 3

compile()只生成代码对象，dis.dis()查看其中的字节码，真正执行并打印3的是exec(code)。不同CPython版本的指令名称和排列可能变化，面试时不需要背某个版本的指令表。

.pyc和字节码是什么关系？

字节码是指令，.pyc是保存编译结果的一种缓存文件。 两者不能画等号：CPython即使没有写出.pyc，也可以在内存里生成代码对象并执行其字节码。

常见场景是导入模块。CPython首次导入模块时可以编译模块源码，并在允许写入缓存的情况下，把结果放到__pycache__中。新进程再次导入该模块时，若缓存有效，就可以复用它，省去相应的源码编译工作；模块中的代码仍需要执行，.pyc不会把程序的运行结果存起来。同一进程内重复导入，则通常直接复用sys.modules中的模块对象。

一个常见误区是：“删掉.pyc，Python程序就运行不了。”只要源码还在，CPython通常可以重新编译。反过来，.pyc也不是通用的机器码文件，不能当成跨实现、跨版本都能运行的可执行文件。

这里描述的是CPython的实现路径。Python语言本身没有要求所有解释器使用同样的字节码格式，也没有要求一定生成.pyc。

知识拓展

面试官可能追问：

Q1：Python到底是编译型语言还是解释型语言？

这两个标签概括不了完整执行过程。以CPython为例，源码先编译成字节码，再由虚拟机执行。回答具体过程，比只选一个标签更准确。

Q2：有了.pyc，第二次运行就一定更快吗？

不一定。有效缓存主要省掉对应模块的源码编译工作，模块代码仍要执行；程序耗时如果主要在计算、文件读写或网络请求上，这部分收益可能很小。

Q3：为什么直接运行脚本后找不到同名.pyc？

CPython通常不会为直接运行的主脚本自动写.pyc缓存。__pycache__里常见的是被导入模块的缓存；找不到.pyc不能说明程序没有经过编译。

Q4：字节码可以在所有Python版本上通用吗？

不能这样假设。CPython的字节码和缓存格式会随版本变化，其他Python实现也可能采用不同的执行方式。部署或共享代码时，应以目标环境实际使用的解释器为准。