本文讲述了编程语言的发展历程，从早期的机器语言和汇编语言，到高级语言的出现。重点介绍了编译器和解释器如何将高级语言转化为机器可执行的代码，以及汇编器和链接器在其中的作用。同时，文章通过阶乘计算的递归例子，解释了函数调用在计算机内存中的执行方式，提到了尾递归优化的概念。
我是编程语言翻译家族的一员， 我们这个家族最重要的工作就是将一个语言描述的源程序翻译成另外一种语言描述的目标程序, 听起来有些抽象， 通俗一点就是把你们码农写的源码变成可以执行的程序。
我们这个家族可以说是伴随这计算机的发展而不断发展壮大的， 现在已经成为计算机软件系统不可缺少的一部分， 如果回顾一下发家史， 还是挺有趣的。
1 机器语言
我听说计算机刚发明那会儿， 人们就是拨弄各种开关、操作各种电缆把程序给“输入”到计算机中去。
这所谓的程序， 可真的是0110000111这样的二进制， 我真是佩服这些程序的设计者和操作员们， 太不可思议了。
这种原始的方式也决定了难于诞生超大型程序， 因为太复杂了，远远能过人脑能思考的极限。
后来人们做了点改进， 把程序打到穿孔纸带上， 让机器直接读穿孔纸带， 这下子就好多了， 终于不用拨弄开关了。
但程序的本质还是没有变化， 依然是在使用二进制来编程。
如果这个样子一直持续下去， 估计这个世界上的程序员会少的可怜： 编程的门槛太高了。
比如说你的脑子里得记住这样的指令：
0000 表示从内存中往CPU寄存器装载数据
0001 表示把CPU寄存器的值写入内存
0010 表示把两个寄存器的值相加
你还得记住每个寄存器的二进制表示：
1000 表示寄存器A
1001 表示寄存器B
综合起来就像这样：
0000 1000 000000000001 它的意思是说， 把编号为1的内存中的值装载到寄存器A当中
0010 1000 1001 的意思是把寄存器A和寄存器B的值加起来，放到寄存器A中。
整天生活在这样的世界里， 满脑子都是0和1， 要是我估计就抑郁了。
当时的程序员像熊猫一样稀少， 不， 肯定比熊猫更少， 他们都要二进制写程序， 对我们翻译家族没有任何的需求。
2 汇编语言
既然二进制这么难记， 人们很快就想到： 能不能给这些指令起个好听的名称呢？
0000 ： LOAD
0001 : STORE
0010 : ADD
寄存器也是一样的：
1000 : AX
1001 : BX
这下读来容易多了：
ADD AX BX
人们给这些帮助记忆的助记符起了个名字： 汇编语言。
但是计算机是无法执行汇编语言的， 因为计算机这个笨家伙只认二进制， 所以还得翻译一下才行。
于是我们家族的一个重要成员： 汇编器 隆重登场了， 他专门负责汇编语言写的程序翻译为机器语言， 这个翻译的过程比较简单，几乎就是一一对应的关系。
汇编语言解放了人们的部分脑力， 可以把更多的精力集中在程序逻辑上了。 越来越多的人学会了使用汇编来编程， 写出了很多伟大的软件。
汇编的优点是贴近机器， 运行效率极高， 但是缺点也是太贴近机器， 直接操作内存和CPU寄存器， 不能结构化编程， 每次函数调用还得把手动把栈帧给管理好， 这对于一般的程序员来讲太难了！
我的祖先们把穿孔纸带和汇编语言都称为低级语言， 把这个时代称为机器语言编程时代。
生活在这个时代的祖先们是很幸福的， 因为翻译工作十分简单。
但是用汇编写程序的人还是太少， 找我们做翻译的也很少， 翻译家族也只是温饱而已。
3 高级语言
人类的欲望是无止境的， 他们一直在探索用一种更高级的语言来写程序的可能性， 这种高级语言应该面向人类编写和阅读， 而不是面向机器去执行。
人类想要的高级语言是这样的：
声明各种类型的变量来表示数据，而不是用寄存器。 例如 :
int value = 100
能使用复杂的表达式来告诉电脑自己的意图：
salary = 1000 + salary * 12
可以用各种控制语句来控制流程：
if .. else , while(....) ....
还可以定义函数来封装、复用一段业务逻辑：
int get_primes(int max) {.....}
但是高级语言和低级语言之间存在着巨大的鸿沟， 怎么把高级语言翻译成可以执行的机器语言是个非常难的问题！
人类在黑暗中摸索了很久，这才迎来一丝光明， 1957年，第一个高级语言的编译器才在IBM704的机器上运行成功。 更重要的是乔姆斯基对自然语言结构的研究， 把语言文法做了分类，有了0型文法，1型文法， 2型文法，3型文法， 这一下子给我们的翻译工作奠定了理论基础。
由于翻译的复杂性， 除了汇编器之外， 很多新成员加入进来， 我们的家族迅速发展壮大， 甚至形成了一个专门翻译的流水线， 这个流水线的家族成员分工合作， 把高级语言翻译成低级语言。
我主要做的工作就是第一步词法分析， 大家经常给我开玩笑说： 你这是大刀向源程序头上砍去。
这其实挺形象的，比如高级语言的源程序是这样：
total = 1000 + salary * 12
我拿着“大刀”， 唰唰唰把他们砍成一个个的片段， 每个片段叫做Token。
1. 标识符 total
2. 赋值符号 =
3. 数字 1000
4. 加号 +
5. 标识符 salary
6. 乘号 *
7. 数字12
程序中的空格就被我无情的删除了， 我还会建立一个符号表让后面的人去使用：
接下来我二叔就会接管， 他非常厉害， 会做语法分析，据说他用了一个叫什么上下文无关语法的理论， 竟然能把我生成的Token 按照语法规则组建成一棵树
然后三舅就做语法分析， 他会看看这些标志符的类型，作用域是不是正确，运算是否合法， 取值范围有没有问题等等。
我大舅的工作最重要， 把中间代码生成， 代码优化，以及最后的代码生成都给承包了。
比如大舅根据语法树生成的中间代码如下：
temp1 = id2 * 12
temp2 = 1000 + temp1
id1 = temp2
(注意：id2 就是salary, id1 就是 total)
然后他再优化一下：
temp1 = id2 * 12
id1 = 1000 + temp1
然后翻译成汇编：
MOV id2 AX
MUL 12 AX
ADD 1000 AX
MOV AX id1
已经非常接近运行了！
但是等等， 这id1 (total), id2 (salary) 只是两个符号， 计算机根本不知道是什么东西， 计算机只关心内存和寄存器， 所以还得给这两个家伙分配空间， 得到他们的地址。
如果这两个变量是在别的文件中定义的， 还需要做一件特别的事情： 链接！
通过链接的方式，把变量的真正地址获取到， 然后修改上面的id1, id2, 这样才能形成一个可以执行的程序。
在翻译的过程中，如果有任何步骤出了错误， 我们就会通知程序员， 告诉他哪个地方写错了， 改正后重新再来。
这就是我们家族的工作， 非常重要，没有我们的翻译工作， 人类就无法使用高级语言来编程， 像C, C++,Pascal, C#, Java 这样影响力巨大的语言就不会出现， 现在的软件编程行业也不会这么兴旺发达。
我们家族和操作系统、数据库、网络协议栈等软件一起，成为了计算机世界底层的基础软件。
其实我们都明白，现在所谓的高级语言一点也不高级，只有经过训练的专业人士才能使用 ， 也许在未来会出现完全用自然语言来写程序， 到那个时候我们家族会是什么样子？ 估计只有上天才知道了。
张大胖学递归
原创： 刘欣 码农翻身 2016-11-14
张大胖上数据结构课， 老师讲汉诺塔问题， 使用了递归算法。
张大胖第一次接触递归， 一头雾水，想破了脑袋也没搞明白这递归是怎么回事， 他 一直很纳闷， 这么复杂的问题， 怎么可能就那么两三行代码就解决了？ 这怎么可能？
后来经好基友Bill指点， 总算明白一点， 但总是觉得还有点疑虑，不太敢确信自己是不是真的搞明白了。
Bill说： “给你来个简单点儿的例子，计算n的阶乘， 这个描述起来更直接”
Bill一边说，一遍写下了下面的代码：
“看看， 是不是特别简单， 所谓递归，就是一个函数调用了自己而已！”
“一个调用自己的函数， 这听起来就有点匪夷所思了” 张大胖感慨到。
“其实没那么复杂， 你就假想着调用了另外一个函数， 只不过这个函数的代码和上一个一模一样而已。”
“我们人不会这么做事情， 但是这是个程序， 它在机器层面到底是怎么执行的？ ” 张大胖问道。
Bill 说 “ 我给你画个图， 一个程序在内存中逻辑上看起来像这个样子”
“就拿我们的阶乘函数来说吧， 编译后会被放到代码段， 注意， 只有一套代码放在代码段。 ”
张大胖说： “只有一套代码， 那怎么实现自己调用自己的所谓递归啊？ ”
Bill说：“注意看堆栈中的栈帧啊， 每个栈帧就代表了被调用中的一个函数， 这些函数栈帧以先进后出的方式排列起来，就形成了一个栈， 拿放大镜栈帧放大来看就是这样：”
(码农翻身注： 返回值有时候用寄存器传递， 这里是为了展示阶乘的例子，特意把返回值画上了)
"如果我们忽略到其他内容， 只关注输入参数和返回值的话， 我们的阶乘函数factorial(4)会是这样" Bill接着又画了起来。
(码农翻身注： 栈顶在下边)
张大胖说：“明白了， 原来计算机是这么处理函数调用的啊，在计算factorial(4)的时候， 方法是4 *factorial(3) ， 现在4的值有了， 但是factorial(3) 的值还不知道是多少， 所以就需要形成新的栈帧来计算， 而factorial(3) 需要 factorial(2)， factorial(2) 需要 factorial(1)， 如果循环， 不， 是递归下去， 到最后才能得到 factorial(1) = 1， 然后每个栈帧逐次出栈， 就能计算出最终的factorial(4)了”
(点击看大图)
"注意， 每个递归函数必须得有个终止条件， 要不然就会发生无限递归了， 永远都出不来了。"
张大胖又问 ：”这个堆栈容量也是有限的吧， 如果n的值太大了， 是不是有可能爆掉？“
“是啊，每个栈帧都需要占用空间， 维护这些栈也挺费劲， 递归层次太深就会出问题。 ”
“那怎么办？ 这种函数的调用关系，好像只能这样了。 ”
“这是由我们的算法决定的， factorial(n) = n * factorial(n-1 ) , 所以之前的图中每个栈帧都需要记录下当前的n 的值， 还要记录下一个函数栈帧的返回值， 然后才能运算出当前栈帧的结果。 也就是说使用多个栈帧是不可避免的。 不过我们改下递归算法就有救了”
"这个方法看起来有点古怪啊， 还多传递了一个参数过来"
Bill说： ”不仅仅多了一个参数， 注意函数的最后一个语句， 就不是 n * factorial(n-1) 了， 而是直接调用factorial(....) 这个函数本身， 这就带来了巨大的好处。 ”
张大胖说：“不懂”
“你看看这个新算法的计算过程：”
“当你执行到factorial(1, 24)的时候， 还需要退回到factorial(2, xxx)这个函数吗？”
张大胖说：“看来不需要， 直接就可以返回结果了。”
“这就是妙处所在了， 计算机发现这种情况， 只用一个栈帧就可以搞定这些计算， 无论你的n 有多大。”
大胖感慨到： “果然是， 同一个栈帧，完全可以在递归中被复用啊， n 无论多大都不怕了。 ”
“这种方式就是我们常说的 尾递归了， 当递归调用是函数体中最后执行的语句并且它的返回值不属于表达式一部分时， 这个递归就是尾递归。
现代的编译器就会发现这个特点， 生成优化的代码， 复用栈帧。 第一个算法中因为有个n * factorial(n-1) , 虽然也是递归， 但是递归的结果处于一个表达式中， 还要做计算， 所以就没法复用栈帧了， 只能一层一层的调用下去。 ”
“看来理解了计算机机器层面的东西才能更好的理解啊”
“没错， 计算机的基础非常重要。”
(完)
3256
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
