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

计算机只能识别某些特定的二进制指令，在程序真正运行之前必须将源代码转换成二进制指令，所谓的二进制指令，也就是机器码，是 CPU 能够识别的硬件层面的“代码”。

究竟在什么时候将源代码转换成二进制指令呢？不同的编程语言有不同的规定：

有的编程语言要求必须提前将所有源代码一次性转换成二进制指令，也就是生成一个可执行程序（Windows 下的 .exe），比如C语言、C++、Golang、Pascal（Delphi）、汇编等，这种编程语言称为编译型语言，使用的转换工具称为编译器。
有的编程语言可以一边执行一边转换，需要哪些源代码就转换哪些源代码，不会生成可执行程序，比如 Python、JavaScript、PHP、Shell、MATLAB 等，这种编程语言称为解释型语言，使用的转换工具称为解释器。

简单理解，编译器就是一个“翻译工具”，类似于将中文翻译成英文、将英文翻译成俄文。但是，翻译源代码是一个复杂的过程，大致包括词法分析、语法分析、语义分析、性能优化、生成可执行文件等五个步骤，期间涉及到复杂的算法和硬件架构。解释器与此类似《编译原理》一书有更深的讲解。

Java 和 C# 则是半编译半解释型的语言，源代码需要先转换成一种中间文件（字节码文件），然后再将中间文件拿到虚拟机中执行。跨平台的同时兼顾执行效率。

编译型语言：

1. 可执行程序不能跨平台
2. 源代码不能跨平台

解释型语言：
相比于编译型语言，解释型语言几乎都能跨平台，“一次编写，到处运行”是真实存在的