Type of code(代码的类型)

计算机的代码根据封装程度的高低可以分为以下几类(从低到高):

Microcode(微码): 微码是一种直接控制CPU的代码, 通过将机器指令与相关的电路实现分离, 使得机器指令可以更自由的进行设计与修改,而不用考虑到实际的电路架构.(传统架构CPU的操作直接写死在电路板上,需要物理改动才能修改).
- 也被称为firmware(固件).
- 通常存放在ROM上,不开放修改.
- 仅适用于其设计的特定硬件.
- 处于软件层面的最底层.
Machine code(机器码): 可以由CPU直接执行的代码.
- 在CISC架构的电脑上会被转化为机器码来执行.
- 在RISC架构的电脑上直接执行.
Object code(目标代码): 一般是机器码,但是只是一部分,需要通过Linker(链接器)来将多个目标代码文件链接成一个完整的可执行程序.(如C语言中对标准库的引用).
Bytecode(字节码): 通常指的是已经经过编译,需要解释器翻译后才能成为机器码的中间代码. 如Java字节码.
- 是为了解释器的高效执行而设计.
- 可跨平台.

Level of Programming Language(编程语言的层级)

编程语言根据对机器语言的抽象(封装)程度可以分为两类:

Low-level programming language(低级编程语言): 不提供或jin仅提供很少的封装,接近机器语言.
- 一般指Machine language(机器语言)和Assembly language(汇编语言).
- 代码通常只能在特定平台上执行.
- 执行效率高.
- 可阅读性差.
- 开发效率低.
High-level programming language(高级编程语言): 高度封装了机器语言, 需要编译器或解释器转化成机器码才能执行. 如: C,C++,Java,Python等.
- 执行效率较低.
- 可读性好.
- 开发效率高.

汇编语言的代码需要由汇编器(assembler)将代码转为机器码才能执行,也可以认为是高级语言.

如下图:

图片来自: Quora: What are the different types of programming languages?

用高级语言编写的程序要么由某种解释器直接执行,要么由编译器(以及汇编程序和链接程序)转换成机器代码, 然后由CPU执行.

下面来介绍编译器和解释器.

编译器是一个将一种编程语言的代码翻译(translate)为另外一种编程语言的代码的计算机程序. 通常指将高级语言的代码翻译为低级语言的代码.

主要目的是将便于人编写,阅读,维护的高级语言的代码翻译为计算机能解读,运行的机器码.

编译器还有以下几类:

一个编译器的工作流程一般会包括以下几个步骤(顺序执行):

如下图:

图片来自: The Thing from another World

解释器是一种直接执行高级语言代码的计算机程序, 而无需将代码编译成机器码.

解释器执行代码的策略一般有以下三种:

与编译器的执行方式的对比如下图:

图片来自: Compiler vs Interpreter: Complete Difference Between Compiler and Interpreter