凭啥Java的运行环境称虚拟机，Python的只能称解释器

版权声明： 本文由 一只博客 发表于 bloghome博客

文章连接： https://www.bloghome.com.cn/user/cnn237111

看到Stackoverflow上有个问题在讨论Java和Python的对比，其中就有人问答为啥Java的运行环境被称之为JVM，而Python的只能叫作Interpreter。

这个问题估计想过的人很少，先找维基百科看一下虚拟机的定义。

虚拟机的定义有2个，一种是相似Vmware的系统虚拟机，另外一种是虚拟机称之为程序虚拟机，诸如JVM，CLR就是最多见到的虚拟机。

程序虚拟机也称做托管运行时环境，运行这个虚拟机时，就比如普通的OS中的一个进程。当这个进程启动时，虚拟机启动，当进程销毁时，虚拟机销毁。使用虚拟机的目的就是提供一个和平台无关的编程环境。

JVM中的执行引擎只能处理编译后的Java字节码，字节码处理引擎其实包含一个字节码解释器和一个JIT编译器（和.net的CLR中JIT差异很大），解释器逐条的执行字节码指令，速度稍慢。JIT编译器则会将热点代码编译缓存起来，所以执行速度加快。

解释器的概念比较简单，它能够将代码翻译，并运行，不须要通过编译，JVM中的解释器正式这样的，JVM中解释的就是字节码。解释器运行程序的方法有3种：

1. 直接运行高级编程语言（如Shell内置的解释器）

2. 转换高级编程语言码到一些有效率的字节码（Bytecode），并运行这些字节码

3. 以解释器包含的编译器对高级语言编译，并指示处理器运行编译后的程序（例如：JIT）

其中Python的解释器就是属于第二种，Python代码在首次运行时，它会将Python代码编译成字节码，若是能够的话，它会将这个字节码保存到.pyc文件中，这样下次启动的时候就不会再编译这些代码而是直接解释运行字节码。事实上，这种机制正在模糊解释器和编译器之间的界限，或者说是模糊了解释型语言和编译型语言的界限。

经过JVM和解释器的概念澄清，彷佛仍是不明白为啥JVM就被称为虚拟机，JVM中有运行的是字节码，它可能直接被解释执行，也可能被再次编译成目标语言，Python中的解释器也会先预编译Python代码为字节码，再解释执行。那么到底有啥区别？

不少人参与了讨论，分别从不一样的角度去阐述区别。

有人认为虚拟机是和语言无关的，JVM为例，除了Java以外，Scala，Clojure，甚至Python借助于Jython工具，也能够运行在JVM上，而没据说什么语言能有Python解释器解释执行，除了Python。

也有人从语言的类型上，Java为静态类型的语言，而Python为动态语言。这使得Java字节码既能够被解释执行也能够被编译成机器指令再执行。而Python则复杂多了，它虽然让程序员能够不去关注变量的类型，但解释器不得不去推断数据类型，这必定程度上影响性能。

还有观点认为解释器是一个历史遗留术语，现代语言中虚拟机和解释器的分界已经很模糊甚至不存在。

事实上，笔者在《Learning Python》一书中，看到把做者把Python的解释器称为PVM，基于这个事实来说，本人更认同的是解释器和虚拟机的区别正在愈来愈小，已是我中有你，你中有个人地步。独立的分割来看，可能还能区分这几步是解释器行为，这几步是虚拟机的行为，可是做为一个总体来看，二者的区别确实没那么明显。