四合院开局四八，八岁带妹逃荒 第607章 逻辑的岔路！魔鬼的诞生！

“完成了？”

黄建功又惊又喜。最快更新小说就来Www.BiquGe77.NeT

这才一周时间，“华夏”语言的规范就出来了？

钱学敏他们，是什么效率！

“快！拿来我看看！”

黄建功迫不及待地从联络员手中，接过了那份厚厚的，还散发着油墨香气的《华夏语言第一版设计规范》。

实验室里，所有的专家，也都好奇地围了过来。

他们也想看看，自己未来要“翻译”的，究竟是一门怎样的“神谕语言”。

黄建功翻开了第一页。

“华夏语言设计总则：以人为本，大道至简，优雅清晰……”

看到这十二个字，黄建功赞许地点了点头。

没错，这完全符合老师的点化。

他继续往下看。

“第一章：数据类型。本语言定义四种基本数据类型：整数（integer）、浮点数（float）、字符串（string）、布尔（boolean）……”

“嗯，不错，严谨！”黄建功抚了抚眼镜。

“第二章：循环结构。本语言推荐使用for循环与while循环，不推荐使用goto语句，以保证代码的结构化与可读性……”

“好！有远见！”黄建功的脸上，露出了笑容。

他仿佛已经看到，未来用“华夏”语言写出来的程序，会是何等的赏心悦目。

然而，当他翻到第三章，“运算符与表达式”时，他的眉头，微微皱了起来。

“第三点一节：自增与自减运算符。为简化代码，本语言引入++与--运算符。a++等价于a = a + 1，a--等价于a = a - 1……”

“嗯？”黄建功发出了一声轻咦。

a++？

这个设计，确实很简洁。

但是，对于编译器来说，这意味着，要增加一个全新的，对++这个双字符运算符的，特殊识别逻辑。

他隐隐感觉，事情好像没有那么简单。

他压下心中的一丝疑虑，继续往下看。

“第三点二节：复合赋值运算符。本语言引入+=、-=、*=、/=等复合赋值运算符。a += 10等价于a = a + 10……”

黄建功的眉头，皱得更深了。

又是一堆，新的双字符运算符。

这会大大增加他们“词法分析器”的复杂程度。

钱老他们，为了追求所谓的“简洁”，是不是有点……走得太远了？

但真正让他感到不安的，是接下来的一个章节。

“第四章：语句结构。第四点三节：表达式语句。本语言允许将一个独立的表达式，作为一个完整的语句。例如，a + b;本身就是一句合法的语句，尽管它可能没有实际意义……”

“什么？！”

黄建功失声叫了出来。

一个独立的表达式，也能算一个语句？

那a + b;和a = a + b;，编译器该如何区分？

这……这不是在给编译器，制造混乱吗？

“黄老，怎么了？”旁边的人，好奇地问道。

黄建功没有回答，他的脸色，变得无比凝重。

他有种非常不好的预感。

他翻到了最后一章，附录。

“附录a：关于if语句的说明。本语言的if语句，可以省略then关键字。例如，if a ＞ b print "a更大"是合法的。”

“附录b：关于函数调用的说明。本语言的函数调用，可以省略括号。例如，print "你好"等价于print("你好")。”

“附录c……”

黄建功越看，手心越是冰冷。

他终于明白，问题出在哪里了。

钱学敏他们，这群搞理论的，为了追求所谓的“人性化”和“灵活性”，在语言里，加入了太多太多，模棱两可的，有歧义的语法！

在人看来，print "你好"和print("你好")，意思是一样的。

if a ＞ b print "a更大"和if a ＞ b then print "a更大"，意思也是一样的。

人类的大脑，可以很轻松地，根据上下文，理解其中的含义。

但是，机器不行！

机器是死板的！

它的“语法分析器”，在解析if a ＞ b print "a更大"这句代码时，会遇到一个致命的问题。

当它读到if a ＞ b之后，它期望下一个读到的，是一个明确的then关键字。

但是，它读到的，却是一个print。

这个时候，它就“懵”了。

它不知道，这个print，是属于if语句的一部分呢，还是一个新的，独立的语句的开始？

这就是“语法歧义”！

一个，足以让整个编译过程，彻底崩溃的，致命的妖怪！

“完了……”

黄建功的手，开始颤抖。

那份设计规范，在他手里，不再是智慧的结晶，而像一个潘多拉的魔盒。

钱学敏他们，出于好心，为了让语言变得更“自由”，更“简单”。

却在无意中，释放出了一个，名为“歧义”的，逻辑上的妖怪！

他们亲手，为自己，也为编译器组，挖了一个，深不见底的巨坑！

“黄老？黄老！您没事吧？”

周围的专家，看到黄建功脸色惨白，额头冒汗，都吓了一跳。

“快！快去把钱老请过来！”黄建功的声音，嘶哑而急促，“出大事了！”

他知道，这门“华夏”语言，从它诞生的那一刻起。

就已经走上了一条，逻辑的岔路。

而这条路的尽头，不是通往神国的天梯。

是一个，由他们自己创造出来的，万劫不复的，逻辑深渊！

半小时后。

“编译器”攻关组的会议室，气氛紧张到了冰点。

钱学敏和几位“神谕语言”设计组的核心成员，匆匆赶到。

他们看到黄建功和一众编译器专家，个个脸色铁青，都感到有些莫名其妙。

“老黄，怎么了？火急火燎地把我们叫过来？”钱学敏笑着问道，脸上还带着一丝创造出完美作品的得意，“是不是被我们的设计，给惊艳到了？”

黄建功没有说话。

他只是拿起一支粉笔，走到黑板前，写下了一行，他们规范里定义的，“合法”代码。

if a ＞ b if c ＞ d print "1" else print "2"

写完，他转过身，用一种极其压抑的目光，看着钱学敏。

“钱老，请问，这行代码，是什么意思？”

钱学敏看了一眼，不假思索地回答：“很简单啊。如果a大于b，那么，就再判断c是不是大于d。如果c也大于d，就打印‘1’。否则，就打印‘2’。”

“是吗？”

黄建功的嘴角，扯出一个比哭还难看的笑容。

“那为什么，不能是这样理解呢？”

“如果a大于b，那么，就执行后面的if c ＞ d print "1"这个判断。”

“但是，如果a不大于b，那么，就执行else print "2"。”

他用粉笔，重重地在else这个词上，画了一个圈。

“请问，这个else，它到底是跟第一个if配对的，还是跟第二个if配对的？”

钱学敏脸上的笑容，瞬间凝固了。

他张了张嘴，想反驳。

可他发现，自己竟然，无从反驳。

从人类的阅读习惯来说，else通常是和最近的那个if配对。

但是，从语法的可能性上来说，它跟第一个if配对，也完全说得通！

一句话，两种截然不同的解释！

这就是，赤裸裸的，无法回避的“歧义”！

“这……这……”

钱学敏的额头，也开始冒汗了。

他和其他几位语言组的专家，面面相觑，都从对方的眼中，看到了震惊和慌乱。

他们之前，光顾着追求语言的“灵活性”，完全没有考虑到，这种嵌套结构下，会产生如此致命的问题！

“这只是其中一个问题！”

黄建功的声音，变得严厉起来。

他擦掉黑板上的代码，又写下了另一行。

a = b + c * d;

“这句，很简单，先算乘法，再算加法，对吧？这是我们小学就学过的‘运算符优先级’。”

“但是！”

他话锋一转，又写了一行。

a = b + c++;

“这句呢？钱老，您告诉我，是先算b+c，再让c自增1？还是先让c自增1，再算b加上那个新的c？”

钱学敏，彻底说不出话了。

他发现，他们引以为傲的，那个简洁的++运算符，在这里，也成了一个“歧义”的源头！

“还有这个！”

黄建功几乎是在咆哮了。

print a b c;

“你们说，为了方便，函数调用可以省略括号！”

“那这句话，编译器怎么知道，你是想调用一个，名为print，参数是a、b、c的函数？还是想调用一个，名为print，参数是a的函数，然后，b和c是另外两个独立的变量？”

一个个尖锐的问题，像一把把锋利的刀子，狠狠地扎在钱学敏和所有语言组专家的心上。

他们设计的那些，所谓的“优雅”、“简洁”的语法糖。

在编译器那冰冷、严苛的逻辑面前，全都变成了一个个，可笑的，致命的毒药！

“我们是在造‘通天塔’！不是在盖狗窝！”

黄建功将手中的粉笔，重重地摔在地上，粉笔断成了两截。

“通天塔的每一块砖，都必须是标准的！尺寸、角度，不能有丝毫的偏差！”

“而你们！给我们的，是什么？！”

“是一堆，奇形怪状，棱角不明的石头！”

“你们让我们，怎么用这些石头，去建造一座，能够通往神国的，伟大的巴别塔？！”

“用这些石头盖起来的，只会是一座，随时都会崩塌的，危楼！”

巴别塔……

这个词，让钱学敏的身体，剧烈地一颤。

他想起了那个古老的传说。

人类妄图建造通天高塔，最终，因为语言的混乱，而分崩离析，功败垂成。

而现在……

他们，正在重蹈覆辙！

他们创造的“华夏”语言，非但没有成为沟通的桥梁，反而，成了混乱的源头！

“老黄……我……我们……”

钱学敏的嘴唇，一片煞白。

他想道歉，想解释，说他们只是想让语言更友好，更方便。

可是在这铁一般的事实面前，任何的解释，都显得那么苍白无力。

他们，错了。

从一开始，就错了。

他们误解了老师“大道至简”的真正含义。

真正的“简”，不是形式上的，让人类写起来简单。

而是逻辑上的，让机器理解起来，没有歧义！

是规则的清晰！是秩序的井然！

而他们，却把“自由”，当成了“简单”。

最终，亲手，为这座通天塔，制造了第一道，也是最致命的一道裂痕。

“巴别塔”的裂痕，一旦出现，就再也无法弥合。

两个原本亲密无间的攻关小组，第一次，产生了巨大的隔阂。

“编译器”攻关组的专家们，怨声载道。

“这活儿没法干了！语言组那帮人，根本不知道我们在做什么！”

“他们设计的每一条‘方便’的语法，都是给我们增加一倍的工作量！”

“什么++，什么省略括号，这都是异端！是魔鬼的设计！”