一文搞懂语言的静态类型动态类型、强类型弱类型、编译型解释型

Weber77

已于 2023-03-29 19:26:12 修改

阅读量1.3k

点赞数 6

分类专栏： Go随笔 Java八股文刷题心得文章标签： golang java 开发语言后端 python

于 2023-03-27 10:52:25 首次发布

本文链接： https://blog.csdn.net/ANobility/article/details/129789086

版权

刷题心得同时被 3 个专栏收录

23 篇文章 0 订阅

订阅专栏

Go随笔

13 篇文章 0 订阅

订阅专栏

Java八股文

13 篇文章 0 订阅

订阅专栏

首先我们先从我们一个经常使用的语言入手，来探讨语言的各种分类。

比如说我最近在学习的golang，官方对他的定义是

Go is statically typed, explicit and modeled after the C programming language.

对explicit的解释如下

Explicit language is language that is fully and clearly expressed or formulated,

leaving nothing implied or ambiguous

我们可以知道go是一个静态显式的语言，而显式则意味着该语言的定义和表达是清楚明了的，我们在这里可以简单的理解为go定义的任何单元都需要有明确的类型，可以简单的理解为对静态类型的解释。

同时我们又知道我们在编写go语言程序时，代码会保存在xxxx.go文件下，我们执行go bulid xxxx.go，生成当前操作系统下可执行文件，在执行可执行文件；以上的步骤等同于go run xxxx.go。所以go是一种编译型语言。

Golang是一种静态强类型，编译型语言

我们在举一个Java的例子，官方给出的解释是Java是一种静态强类型语言，但是在编译型还是解释型语言上大家产生了分歧，我们首先回顾Java代码完成到执行这段时间发生了什么

在这里插入图片描述

首先xxx.java会被javac编译器编译成xxx.class的字节码文件，之后字节码文件会被JVM根据操作系统的不同解释成操作系统可以理解的机器码并运行出结果。

根据以上我们可以看出并不能单纯的把Java定义为编译型语言或解释型语言，现在大部分人认为Java是一种半编译半解释型语言，由于编译型和解释型的分类并不能很好的对语言分类，所以现在这种语言分类以及逐渐退出历史舞台。

Java是一种静态强类型，半编译型半解释型语言

编译型语言和解释型语言

通过高级语言编写的源码，我们能够轻松理解，但对于计算机来说，它只认识二进制指令，源码就是天书，根本无法识别。源码要想执行，必须先转换成二进制指令。

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

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

简单地理解，编译器和解释器其实就是一个“翻译工具”，对源代码进行“翻译”是一个很复杂的过程，大致包括词法分析、语法分析、语义分析、性能优化、生成可执行文件等五个步骤。

编译型语言和解释型语言的执行流程如下所示：

编译型语言

对于编译型语言，开发完成以后需要将所有的源代码都转换成可执行程序，比如 Windows 下的.exe文件就是一个可执行程序，它里面包含的就是机器码，只要拥有这个可执行程序，就可以随时运行，不需要再重新编译，也就是“一次编译，无限次运行”。

在运行的时候，我们只需要编译生成的可执行程序，此时就不再需要源代码和编译器，所以编译型语言可以脱离开发环境运行。

编译型语言通常是不能跨平台的，也就是不能在不同的操作系统之间随意切换。

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

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

代表语言：C、C++、Golang、Pascal、swift

解释型语言

对于解释型语言，每次执行程序都需要一边转换一边执行，用到哪些源代码就将哪些源代码转换成机器码，用不到的则不进行任何处理。

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

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

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

代表语言：JavaScript、Python、PHP、Ruby

类型	原理	优点	缺点
编译型语言	通过专门的编译器，将所有源代码一次性转换成特定平台（Windows、Linux、macOS等）的机器码（以可执行文件的形式存在）。	编译一次后，脱离了编译器也能运行，并且运行效率高。	可移植性差，不够灵活。
解释型语言	通过专门的解释器，根据需要可以将部分或全部源代码转换成特定平台（Windos、Linux、macOS等）的机器码。	跨平台性好，通过不同的解释器，将相同的源代码解释成不同平台下的机器码。	一边执行一边转换，效率较低。