编译语言和解释器语言

计算机程序，其实就是一组计算机指令的集合，能真正驱动机器运行的是机器指令，但让普通开发者直接编写机器指令是不现实的，因此就出现了计算机高级语言。高级语言允许使用自然语言（通常就是英语）来编程，但高级语言的程序最终必须被翻译成机器指令来执行。
高级语言按照程序的执行方式，可以分为编译型和解释型两种。

1. 编译语言
   编译型语言是指使用专门的编译器，针对特定平台（操作系统）将某种高级语言源代码，一次性“翻译”成可被该平台硬件执行的机器语言（包括机器指令和操作数），并包装成该平台所能识别的可执行程序的格式，这个转换过程称为编译（Compile）。编译生成的可执行程序可以脱离开发环境，在特定的平台上独立运行。
   编译器，可以理解为就是一个比较复杂的计算机程序，它可以接受一个以高级语言编写的程序，并将其翻译成以某个计算机的机器语言表达的等效程序。
   **因为编译型语言是一次性编译成机器语言的，所以可以脱离开发环境独立运行，而且通常运行效率较高。**但因为编译型语言的程序被编译成特定平台上的机器码，因此编译生成的可执行程序通常无法移植到其他平台上运行，如果需要移植，则必须将源代码复制到特定平台上，针对特定平台进行修改，至少需要采用特定平台上的编译器重新编译。
   现有的 C 、C++、Objective-C、Pascal 等高级语言都属于编译型语言。
2. 解释语言
   解释型语言是指使用专门的解释器，将源程序逐行解释成特定平台的机器代码并立即执行的语言。
   解释型语言通常不会进行整体性的编译和链接处理，解释型语言相当于把编译型语言中的编译和解释过程混合到一起同时完成。
   可以这样认为，每次执行解释型语言的程序都需要进行一次编译，因此解释型语言的程序运行效率通常较低，而且不能脱离解释器独立运行。但解释型语言有一个优势，就是跨平台比较容易，只需提供特定平台的解释器即可，每个特定平台上的解释器都负责将源程序解释成特定平台的机器指令。
   也就是说，解释型语言可以方便地实现源程序级的移植，但这是以牺牲程序执行效率为代价的。
3. 解释性语言和编译语言的比较
   
   借助图 1 不难理解，编译型语言和解释型语言的区别在于，编译是对高级语言程序进行一次性翻译，这样的好处是，一旦源程序被彻底翻译，它就可以重复运行，且今后都不再需要编译器和源代码；而如果使用解释器，则高级语言程序每次运行，都需要借助源程序和解释器，其最大的好处就是，程序有很好的可移植性。