解释型语言和编译型语言的不同以及Python如何运行

计划写关于Python中如何实现属性管理、函数(或类方法)管理、类管理的几篇成系列的文章。

而这篇文章写在这个系列之前，希望对后面几篇文章的理解有所帮助。

老实说，我也是在网上搜索了一些资料才写的这篇文章，如果有的地方写的不够好，请指正...

何为编译？

生成目标文件。

且目标文件是针对特定的 CPU 体系的(注意，开头用了"且"字)。

为ARM生成的目标文件，不能被用于MIPS的CPU，也不能用于x86的CPU。反过来说也是成立的。

也就是说这段代码在生成目标文件的过错中就已经被翻译成了目标CPU指令，所以如果这个程序需要在另外一种CPU上面运行，这个代码就必须重新翻译。

而上述这个翻译过程叫做编译。

何为解释？

对于各种非编译型语言(例如python/java)来说，可能不存在某种翻译成中间文件的过错，可能存在某种编译成中间文件的过程

如果存在翻译过错，那么他们翻译生成的通常是一种『平台无关』的中间代码，这种代码一般不是针对特定的CPU平台，他们是在运行过程中才被翻译成目标CPU指令的，因而在ARM CPU上能执行，换到MIPS也能执行，换到x86也能执行，不需要重新对源代码进行翻译。

而由于这些中间代码并不是能在CPU上直接运行，所以需要某种中介(叫做虚拟机)在执行时负责把代码翻译成CPU能执行的指令。

区别

编译型语言生成的文件已经针对某个特定的CPU生成了最终文件，所以在下载的时候针对不同的CPU下载不同的文件，这就是为什么在网上下载某个文件时，Windows系统用户下载Windows的下载包(因为Windows是操作x86系列CPU的)，而Android手机(因为Android是操作ARM系列CPU的)需要下载Android类型的下载包。

针对解释型语言，因为你的中间文件并不是针对某个CPU的，所以如果某人在网上共享了一个Python源代码或者中间代码(字节码)，那么不管你运行什么操作系统，下载的文件是一样的。而如果你原来没有下载虚拟机的话，可能你需要下载一个虚拟机才能够运行这个下载的文件。

你可能会说，我只要装了Python，就可以运行下载下来的Python文件了呀，这是因为你下载的Python运行包中已经包含了一个虚拟机。

简单总结：

1，编译型语言在编译过程中生成目标平台的指令，解释型语言在运行过程中才生成目标平台的指令。

2，虚拟机的任务是在运行过程中将中间代码翻译成目标平台的指令。

优缺点

解释语言需要考虑不同平台的共性。比如A平台支持加法和乘法，而B平台仅支持加法。为了执行9乘9这个操作同时还要保证它在A和B两个平台上都能运行，必须将9乘9翻译成A.B两平台都支持的加法，即9个9相加。所以势必会影响效率。

解释语言具有跨平台的优点，只要在平台上装了针对于该平台的虚拟机，那么一次编写，N次运行，所以生产效率高。

当代码发生更改时，解释语言由于时解释一句执行一句，效率不会发生更改。但是编译语言需要重新编译，效率会受到影响。

对解释型语言来说，代码的错误检查发生在执行时。

Python的运作模式

讲了这么多，下面的部分是才是真正对我们编写代码有实际影响的。

python运行时分为下面的四步：

词法分析

句法分析

编译

解释

词法分析的工作就是将输入的原始代码分解为一些符号token(包括标示符，关键字，数字, 操作符等)。这个过程中是不会报任何错的。

句法分析程序再接收这些符号，并用一种结构来展现它们之间的关系(在这种情况下使用的抽象语法树)。此时如果出现句法错误，会有提示。

我们常说，Python运行时不会执行函数，所以也不会报函数中的错误。

其实是说的片面的，请看下面的代码，我在函数f中写了一個语法错误，Python会报错。

L=[1,2,3]

def f():

L1=[for i in L]

执行结果如下：

File "hh.py", line 4

L1=[for i in L]

^

SyntaxError: invalid syntax

在句法分析后Python接收这棵抽象语法树，并将它转化为一个(或多个)代码对象。此时会出现我们说的中间码，或者说字节码。

>>> def f(x=1,y=2):

... a='a'

... b='b'

... return x+y

...

>>> f.__code__

", line 1>

>>> dir(f.__code__)

['__class__', '__delattr__', '__dir__', '__doc__', '__eq__', '__format__', '__ge__', '__getattribute__', '__gt__', '__hash__', '__init__', '__le__', '__lt__', '__ne__', '__new__', '__reduce__', '__reduce_ex__', '__repr__', '__setattr__', '__sizeof__', '__str__', '__subclasshook__', 'co_argcount', 'co_cellvars', 'co_code', 'co_consts', 'co_filename', 'co_firstlineno', 'co_flags', 'co_freevars', 'co_kwonlyargcount', 'co_lnotab', 'co_name', 'co_names', 'co_nlocals', 'co_stacksize', 'co_varnames']

>>> f.__code__.co_name

'f'

>>> f.__code__.co_nlocals #定义的局部变量个数

4

>>> f.__code__.co_varnames

('x', 'y', 'a', 'b')

>>> f.__code__.co_argcount

2

>>> f.__code__.co_code #字节码

b'd\x01\x00}\x02\x00d\x02\x00}\x03\x00|\x00\x00|\x01\x00\x17S'

如果我们直接运行一个Python文件，那么Python在执行完后就把这个字节码文件删除掉了，因为Python认为复用性不高。

但是如果是一个模块文件，那么Python会存起来，我们来做个实验。

a.py

import b

b.py

def f(a=1):

print(a)

当我们运行只有唯一一条语句的a.py时，Python会创立一个__pycache__的文件夹，其中就包括了b.cpython-34.pyc文件，这个就是b.py的字节码文件，如果用open函数打开来看看，就会看到下面的二进制文件，如果用普通方式打开，那么会提示编码错误。

>>> open('__pycache__/b.cpython-34.pyc','rb').read()

b'\xee\x0c\r\n0%\xd8U\x19\x00\x00\x00\xe3\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x03\x00\x00\x00@\x00\x00\x00s\x13\x00\x00\x00d\x00\x00d\x01\x00d\x02\x00\x84\x01\x00Z\x00\x00d\x03\x00S)\x04\xe9\x01\x00\x00\x00c\x01\x00\x00\x00\x00\x00\x00\x00\x01\x00\x00\x00\x02\x00\x00\x00C\x00\x00\x00s\x0e\x00\x00\x00t\x00\x00|\x00\x00\x83\x01\x00\x01d\x00\x00S)\x01N)\x01\xda\x05print)\x01\xda\x01a\xa9\x00r\x04\x00\x00\x00\xfa\x13/home/aaa/proj/b.py\xda\x01f\x01\x00\x00\x00s\x02\x00\x00\x00\x00\x01r\x06\x00\x00\x00N)\x01r\x06\x00\x00\x00r\x04\x00\x00\x00r\x04\x00\x00\x00r\x04\x00\x00\x00r\x05\x00\x00\x00\xda\x08\x01\x00\x00\x00s\x00\x00\x00\x00'

解释器逐个接收这些代码对象，并执行它们所代表的代码。

题外话

以下题外话摘录于网上，如果有什么地方不对，请指正。

现在关于解释和编译的界限也不是特别清晰了。

Java需要预先把代码编译成虚拟机指令的，然后在运行这些虚拟机指令，有的教科书上会成为混合型或者半编译型。

像Python和lua这样就更不好分了，可以直接解释源代码运行，也可以编译为虚拟机指令然后再运行。

php编译之后的结果可以被Web Server缓存起来，甚至还可以先被翻译为C++，然后再编译。

.NET 的CLR运行时是Windows的组成部分，编译好的.NET 系列语言的代码直接生成可执行文件，然后被“直接”执行，看起来跟C没有什么太大的差别。

JavaScript可以被V8引擎编译为机器码然后执行，如果在node.js下，这个编译结果被缓存起来了，你说这跟编译好再执行的C有什么区别？

编译型语言

1、编辑：用编辑软件(EDIT.EXE或记事本)形成源程序(.ASM),如：LX.ASM;

2、汇编：用汇编程序(MASM.EXE)对源程序进行汇编，形成目标文件(.OBJ)，格式如下：MASM LX.ASM;

3、连接：用连接程序(LINK.EXE)对目标程序进行连接，形成可执行文件(.EXE)，格式如下：LINK LX.OBJ;

4、执行：如果结果在屏幕在显示，则直接执行可执行文件。

5、调试：用调试程序(DEBUG.EXE)对可执行文件进行调试，格式如下：DEBUG LX.EXE

目标代码由机器指令组成，一般不能独立运行，因为源程序中可能使用了某些汇编程序不能解释引用的库函数，而库函数代码又不在源程序中，此时还需要链接程序完成外部引用和目标模块调用的链接任务，最后输出可执行代码

1楼daodaoliang哦。博主内容写的不错，但是有好多错别字，看发音应该是你手误，我这里就提醒一下，内容写的很不错，学习了。