比尔盖茨是这样审查项目的  1

  ——选自《软件随想录：程序员部落酋长Joel谈软件》

 

 

2006年6月16日，星期五

早先，Excel[1]有一种没有名字的很蹩脚的编程语言。我们管它叫做“Excel宏语言”（ExcelMacros）。这是一种功能很弱的编程语言，它没有变量（你不得不将值存在电子表格的单元格中），没有局部变量（local），没有子例程的调用（subroutinecall）；一句话，它的程序几乎无法维护。不过，它也有一些高级语言的特性，比如任意跳转语句Goto，但是label标签实际上是看不到的[2]。

这种语言存在的唯一一点合理性，在于比起Lotus[3]中的宏语言，它看上去很强大。Lotus宏语言编程则仅仅是在单元格中敲入一个长字符串。

1991年6月17日，我进入微软公司的Excel开发小组工作。我的头衔是“程序经理[4]”（Program Manager），安排给我的职责是为Excel宏语言找到一个解决方案。实际上，所谓解决方案就是要让它与Basic[5]编程语言联系起来。

Basic？一点没错！

我花了一些时间，与不同的开发小组进行沟通。那时，Visual Basic 1.0[6]刚刚发布，它真是太酷了。其中包括一个方向错误但还在开发中的项目，代号是MacroMan。另外，还有一种面向对象（Object-Oriented）的Basic也在开发，代号是Silver。Silver开发小组被告知，他们的产品将有一个客户：Excel。Silver的销售经理是Bob Wyman（是的，就是Bob Wyman那个家伙），他只需将他们的技术推销给一个人：就是我。

就像我前面说的，MacroMan的方向错了，开始有人还不信，不过最后它还是停止了开发。Excel开发小组说服Basic开发小组，我们真正需要的是针对Excel开发的某种Visual Basic。我设法在Basic里加上了4样好东西。我让他们加上了变型（Variant），这是一种可以储存任何类型数据的数据类型，否则每次要储存一个单元格中的变量值，你就不得不用switch语句先进行一番判断。我还让他们加上“后期绑定”（late binding），后来它被叫做IDispatch接口，又称COM自动化，因为Silver的原始设计对理解类型系统（type system）的要求很高，而Excel宏语言的各种编程者根本不需要懂这个东西。另外两个我得到的很棒的语法结构是从UNIX的shell语言csh中借鉴的For Each结构，以及从Pascal语言中借鉴的With结构。

然后，我开始坐下来，写Excel Basic的规格说明书。这个文档真是巨大，有几百页。在我的记忆中，写完的时候，长度是500页。（“瀑布开发法[7]”，有人在偷笑了。是的，就是这样，别笑了。）

那个时候，我们有一档子事叫做“BillG审查”。基本上，比尔·盖茨会审查每一个重大的功能。我被通知将规格说明书复印一份，送到他的办公室，准备接受审查。那差不多用掉了整整一包打印纸。

我急忙将规格说明书打印了出来，送到了他的办公室。

那天晚些时候，我有了一点儿空闲时间。于是，我就开始琢磨，Basic的日期和时间函数是否足以完成所有能在Excel中完成的任务。

在大多数现代编程环境中，日期都是以实数形式存储的。实数的整数部分是从过去某个公认的日期至今所经过的天数，这个公认的日期在Excel中叫做“纪元”（epoch）。比如，今天是2006年6月16日，存储的值是38884，而对1900年1月1日来说，存储的值就是1。

我开始看Basic和Excel里的各种日期和时间函数，东试试西试试，结果我注意到VisualBasic的文档有一个问题：Basic的纪元不是1900年1月1日，而是1899年12月31日，但是奇怪的是，当天日期的值在Basic和Excel里居然是相同的。

原因何在？

我找来一位Excel开发人员，他资历很老，应该记得这些事。艾德·弗莱斯[8]看来知道答案。

“哦，”他告诉我，“检查一下1900年2月28日。”

“存储值是59。”我说。

“再去看3月1日。”

“存储值是61！”

“60是哪一天？”艾德问。

“2月29日，1900年是闰年！它能够被4整除！”

“思路正确，不过猜错了。”艾德说，我愣在那里。

噢，可恶。我又想了想。所有能够被100整除的年份中，只有能够被400整除的年份才是闰年。

1900年不是闰年。

“Excel里有bug！”我惊呼。

“嗯，其实不是啦，”艾德说，“我们不得不这样设计，因为我们需要导入Lotus 1-2-3的工作表。”

“你是说，这是Lotus里的bug？”

“对，不过可能这是故意设计的。Lotus占用的内存不能大于640KB。这是很有限的空间。如果忽略1900年，那么就可以根据最右面的两位数字是否为0，判断任意一年是否为闰年。那就简便多了。Lotus的那些家伙可能觉得，过去的所有时间中只有两个月受到影响，不是很重要的事。但是看起来，Basic的那些家伙不想放过这两个月，所以他们将纪元向前推了一天。”

“天啊！”我发出了一声感叹，转而继续研究，为什么一个名为“1904日期系统”[9]（1904 Date System）的选项对话框（options dialog）中有一个复选框（check box）。

第二天就是令人紧张的BillG审查日。

 

【继续】http://blog.csdn.net/turingbooks/archive/2009/12/03/4933293.aspx

 

---

[1]   Excel是微软公司的电子表格软件，第一个版本是在1985年发布的，从1993年第5版起，被并入Microsoft Office软件套装中。

[2]   Goto语句通常和label配套使用，使程序直接跳转到label处。一般认为，这种跳转功能对结构化编程是一种破坏，不提倡使用。作者在这里说：“label实际上是看不到的”，意即Goto语句在“Excel宏语言”中，只能直接跳转到行号，比label还不如。

[3]    这里Lotus指的是电子表格软件Lotus 1-2-3，这是20世纪80年代最流行的电子表格软件。微软开发Excel的直接目的，就是与Lotus1-2-3进行竞争。

[4]    微软的程序经理是个很特殊的职位，选择标准是：技术水平是程序员队伍中的最高级别，能做最多且最难的工作，有人格魅力。比尔·盖茨将程序经理描述为程序员队伍中最聪明的那个家伙。——编者注

[5]    Basic语言是高级编程语言之一，最早是在1964年出现的。它是微软公司起家的编程语言。

[6]    Visual Basic是微软公司基于Basic语言开发的第三代事件驱动的编程语言，主要特点是完全在图形界面上进行编程。VisualBasic 1.0是在1991年5月发布的。

[7]    瀑布开发法（Waterfall），是一种软件开发方式，按照顺序从头到尾一步步完成，就好像垂直的瀑布一样，完成上一个阶段后，再前进到下一个阶段。现在一般认为这种方式已经过时。

[8]    艾德·弗莱斯（Ed Fries），后来转为开发游戏，成为微软游戏部门的副总裁，并且是Xbox的早期主要开发人员之一。他已于2004年1月离开微软。

[9]    1904日期系统是微软公司为了解决1900年闰年问题设计的另一个日期系统。它支持的日期纪元是1904年1月1日。