编译型语言与解释型语言的区别

计算机高级语言按程序的执行方式可以分为：编译性和解释性两种

编译型语言

编译性的语言指使用专门的编译器、针对特定平台（操作系统）将某种高级语言源代码一次性“翻译”成该平台硬件执行的机器码（包括机器指令和操作数），并包装成该平台所能识别的可执行性程序的格式，这个转换过程称为编译（Compile）。编译生成的可执行程序可以以脱离开发环境，在特定的平台上独立运行。

有些程序在编译结束之后，还可能需要对其他编译好的目标代码进行链接，即组装两个以上的目标代码模块生成最终的可执行程序，通过这种方式实现低层次的代码复用。

因为编译型语言是一次性的编译成机器码，所以可以脱离开发环境独立运行，而且通常运行效率较高；但因为编译性语言的程序被编译成特定平台上的机器码，因此编译生成的可执行程序通常无法移植到其他平台上运行；如果需要移植，则必须将源代码复制到特定的平台上，针对特定的平台进行修改，至少也需要采用特定平台上的编译器重新编译。
比如我们现在的C、C++、Objective-C、Pasca等高级语言都属于编译型语言。

---

解释型语言

解释型语言是指使用专门的解释器对源程序进行逐行解释成特定平台的机器码并立即执行的语言。解释型语言通常不会进行整体的编译和链接处理，解释型语言相当于把编译型语言中的编译和解释过程混合在一起同时完成。

可以这样认为：每次执行解释型语言的程序都需要进行一次编译，因此解释型语言的程序运行效率通常较低，而且它不能脱离解释器独立运行。

但解释性语言有一个优势：跨平台比较容易，只需提供特定平台的解释器即可，每个特定平台上的解释器负责将源程序解释成特定平台的机器指令即可。解释性语言可以方便的实现源程序的移植，但这是以牺牲程序执行效率为代价的。

比如我们现在的Java、Ruby、Python等高级语言都属于解释型语言。