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

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

编译型语言
编译型语言是指使用专门的编译器，针对特定的平台（操作系统）将某种高级语言源代码一次性“翻译”成可被该平台硬件执行的机器码（包括机器指令和操作数），并包装成该平台所能识别的可执行性程序的格式，这个转换过程称为编译（Compile）。编译生成的可执行性程序可以脱离开发环境，在特定的平台上独立运行。
有些程序编译结束之后，还可能需要对其他编译好的目标代码进行链接，即组装两个以上的目标代码模块生成最终的可执行性程序，通过这种方式实现低层次的代码复用。
因为编译型语言是一次性地编译成机器码，所以可以脱离开发环境独立运行，而且通常运行效率较高；但是因为编译型语言的程序被编译成特定平台上的机器码，因此编译生成的可执行性程序通常无法移植到其他平台上运行；如果需要一直，则必须将源码复制到特定平台上，针对特定平台进行修改，至少也需要采用特定平台上的编译器重新编译。
现有 C、C++，Objective-C，Swift，Kotlin 等高级语言都属于编译型语言。

解释型语言
解释型语言是指使用专门的解释器对源程序逐行解释成特定平台的机器码并立即执行的语言。解释型语言通常不会进行整体性的编译和链接处理，解释型语言相当于把编译型语言中的编译和解释过程混合到一起同时完成。
可以认为：每次执行解释型语言的程序都需要进行一次编译，因此解释型语言的程序运行效率通常较低，而且不能脱离解释器独立运行。但解释型语言有一个优势：跨平台比较容易，只需提供特定平台的解释器即可，每个特定平台上的解释器负责将源程序解释成特定平台的机器指令即可。解释型语言可以方便的实现源程序级的移植，但这是以牺牲程序执行效率为代价的。
现有 JavaScript、Ruby、Python 等语言都属于解释型语言。

特殊的高级语言
除此之外，还有一种伪编译型语言，如 Visual Basic，它属于半编译型语言，并不是真正的编译型语言。它首先被编译成 P-代码，并将解释引擎封装在可执行性程序内，当运行程序时，P-代码会被解析成真正的二进制代码。表面上看起来，Visual Basic 可以编译生成可执行的 EXE 文件，而且这个 EXE 文件也可以脱离开发环境，在特定平台上运行，非常像编译型语言。实际上，在这个 EXE 文件中，既有程序的启动代码，也有链接解释程序的代码，而这部分代码负责启动 Visual Basic 解释程序，在对 Visual Basic 代码进行解释并执行。
同时 Java 也是一种比较特殊的语言，由 Java 语言编写的程序需要经过编译步骤，但这个编译步骤并不会生成特定的平台代码，而是生成一种与平台无关的字节码（也就是*.class 文件）。当然，这种字节码不是可执行的，必须使用 Java 解释器来解释执行。因此可以认为：Java 语言既是编译型语言，也是解释型语言。或者说，Java 既不是纯粹的编译型语言，也不是纯粹的解释型语言。Java 程序的执行过程必须经过先编译，后解释这两个步骤。

在知乎上面看到一个比较神的解释，当然并是不很完全正确，不合理的地方也稍微说一说，第一个是编译型的东西只能够编译一次，要是改了就得重新编译，相当于把菜全给扔了，并不能重复吃。第二个是解释型语言中的解释器是与平台无关的，在这里比喻就有些欠妥。但是这个方法还是能够帮助理解的，所以笔者也就贴在这里了。