编译型语言、解释型语言、静态语言、动态语言的概念与区别

小灰灰 2022-03-15 13:16 369阅读 0赞

## 前言 ##

最近在看Java源码解析的相关文章，其中有提到静态语言和动态语言，对这些概念有些生涩，被弄的云里雾里，在此做一个总结。

## 1.编译型语言和解释行语言 ##

### 1.1编译型语言 ###

需通过编译器（compiler）将源代码编译成机器码，之后才能执行的语言。一般需经过编译（compile）、链接（linker）这两个步骤。编译是把源代码编译成机器码，链接是把各个模块的机器码和依赖库串连起来生成可执行文件。

**优点**：编译器一般会有预编译的过程对代码进行优化。因为编译只做一次，运行时不需要编译，所以编译型语言的程序执行效率高。可以脱离语言环境独立运行。

**缺点**：编译之后如果需要修改就需要整个模块重新编译。编译的时候根据对应的运行环境生成机器码，不同的操作系统之间移植就会有问题，需要根据运行的操作系统环境编译不同的可执行文件。

**例如**：C、C++、Pascal、Object-C以及苹果的语言swift

### 1.2解释型语言 ###

解释性语言的程序不需要编译，相比编译型语言省了道工序，解释性语言在运行程序的时候才逐行翻译。

**优点**：有良好的平台兼容性，在任何环境中都可以运行，前提是安装了解释器（虚拟机）。灵活，修改代码的时候直接修改就可以，可以快速部署，不用停机维护。

**缺点**：每次运行的时候都要解释一遍，性能上不如编译型语言。

**例如**：JavaScript、Python、PHP、Perl、Ruby、Shell

### 1.3混合型语言 ###

既然编译型和解释型各有缺点就会有人想到把两种类型整合起来，取其精华去其糟粕。就出现了半编译型语言。比如C\#,C\#在编译的时候不是直接编译成机器码而是中间码，.NET平台提供了中间语言运行库运行中间码，中间语言运行库类似于Java虚拟机。.net在编译成IL代码后，保存在dll中，首次运行时由JIT在编译成机器码缓存在内存中，下次直接执行。

**例如**：java程序首先通过编译器编译成class文件，如果在windows平台上运行，则通过windows平台上的java虚拟机（VM）进行解释。如果运行在linux平台上，则通过linux平台上的java虚拟机进行解释执行。所以说能跨平台，前提是平台上必须要有相匹配的java虚拟机。如果没有java虚拟机，则不能进行跨平台。经过编译和解释两个步骤。

### [1.4.PS][] ###

有一部分人认为解释型语言都是动态语言，这个观点是错的！Java是解释型语言但是不是动态语言，Java不能在运行的时候改变自己结构。反之成立吗？动态语言都是解释型语言。也是错的！Object-C是编译型语言，但是他是动态语言。得益于特有的run time机制（准确说run time不是语法特性是运行时环境，这里不展开）OC代码是可以在运行的时候插入、替换方法的。C\#也是动态语言，通过C\#的反射机制可以动态的插入一段代码执行

## 2.静态语言和动态语言 ##

### 2.1.静态语言（强类型语言） ###

静态类型语言与动态类型语言刚好相反，它的数据类型是在编译其间检查的，也就是说在写程序时要声明所有变量的数据类型。

**优点**：首先是在编译时就能发现类型不匹配的错误，编译器可以帮助我们提前避免程序在运行期间有可能发生的一些错误。其次，如果在程序中明确规定了数据类型，编译器还可以针对这些信息对程序进行一些优化工作，提高程序执行速度。

**缺点**：首先是迫使程序员依照强契约来编写程序，为每个变量规定数据类型，归根结底只是辅助我们编写可靠性高程序的一种手段，而不是编写程序的目的，毕竟大部分人编写程序的目的是为了完成需求交付生产。其次，类型的声明也会增加更多的代码，在程序编写过程中，这些细节会让程序员的精力从思考业务逻辑上分散开来。

**例如**：C、C++、Java

### 2.2.动态语言（弱类型语言） ###

动态类型语言是指在运行期间才去做数据类型检查的语言，也就是说，在用动态类型的语言编程时，永远也不用给任何变量指定数据类型，该语言会在你第一次赋值给变量时，在内部将数据类型记录下来。

**优点**：编写的代码数量更少，看起来更加简洁，可以把精力更多地放在业务逻辑上。虽然不区分类型在某些情况下会让程序变得难以理解，但整体而言，代码量越少，越专注于逻辑表达，对阅读程序越有帮助。

**缺点**：无法保证变量的类型，从而在程序的运行期有可能发生跟类型相关的错误。

**例如**：JavaScript、Python、PHP、Perl、Ruby、Shell

### [2.4.PS][] ###

有一部分人认为解释型语言都是动态类型语言，编译型语言都是静态类型语言。这个也是错的。swift是编译型语言但是它也是动态类型语言。C\#和Java是解释型语言也是静态类型语言。

## 参考博文 ##

[https://www.jianshu.com/p/355494d8bd08][https_www.jianshu.com_p_355494d8bd08];

[http://www.cnblogs.com/zy1987/p/3784753.html?utm\_source=tuicool&utm\_medium=referral][http_www.cnblogs.com_zy1987_p_3784753.html_utm_source_tuicool_utm_medium_referral]

https://www.cnblogs.com/raind/p/8551791.html

[1.4.PS]: http://1.4.PS
[2.4.PS]: http://2.4.PS
[https_www.jianshu.com_p_355494d8bd08]: https://www.jianshu.com/p/355494d8bd08
[http_www.cnblogs.com_zy1987_p_3784753.html_utm_source_tuicool_utm_medium_referral]: http://www.cnblogs.com/zy1987/p/3784753.html?utm_source=tuicool&utm_medium=referral