大师也犯低级错误－－《CODE COMPLETE (Second Edition)》中的2处代码错误

    最近比较闲，就看了那本放在书架上很久的“砖头”著作－－经典的《CODE COMPLETE (Second Edition)》。当然是中文版的，这种大块头的书看英文版是非常累的。
    看到第18章表驱动法Table-Driven-Methods时，感觉这种方法非常好，而我以前也从来没用过这种方法。于是就多看了两眼，没想到就是这多看的两眼，竟然让我在在C++示例代码中发现了大师级作者Steve McConnell犯的2个低级错误！
    在18.2直接访问表Direct Access Tables的例子：灵活的消息格式Flexible-Message-Format Example小节中，有下面这几段代码：

//  第1段（P420）
enum  FieldType {
   FieldType_FloatingPoint,
   FieldType_Integer,
   FieldType_String,
   FieldType_TimeOfDay,
   FieldType_Boolean,
   FieldType_BitField,
   FieldType_Last  =  FieldType_BitField
};
 
//  第2段（P422）
AbstractField *  field[ Field_Last ];

//  第3段（P422）
field[ FieldType_FloatingPoint ]  =   new  FloatingPointField();
field[ FieldType_Integer ]  =   new  IntegerField();
field[ FieldType_String ]  =   new  StringField();
field[ FieldType_TimeOfDay ]  =   new  TimeOfDayField();
field[ FieldType_Boolean ]  =   new  BooleanField();
field[ FieldType_BitField ]  =   new  BitFieldField();

//  第4段（P423）
fieldIdx  =   1 ;
while  ( ( fieldIdx  <=  numFieldsInMessages )  &&  ( fieldStatus  ==  OK ) ) {
   fieldType  =  fieldDescription[ fieldIdx ].FieldType;
   fieldname  =  fieldDescription[ fieldIdx ].FieldName;
   field[ fieldType ].ReadAndPrint( fileName, fileStatus );
}

    我们先来看第1段代码。在C++中，枚举类型的值在默认情况下是从0开始的。所以，代码中的FieldType_FloatingPoint值为0，而FieldType_BitField的值为5。那么FieldType_Last的值也是5。
    再看第2段代码。这样的话，从上面的分析可以得出，第2段代码跟下面的代码是等价的：

AbstractField *  field[  5  ];

    这样的话，第3段代码就会错误！因为，在第3段代码中，向一个只有5个元素空间的数组中放置了6个元素（错误1）。这是明显的下标越界。一个非常低级的错误！
    其实，要想改正这个错误是非常简单的，只要把第1段代码改成下面的样子就行了：

enum  FieldType {
   FieldType_FloatingPoint,
   FieldType_Integer,
   FieldType_String,
   FieldType_TimeOfDay,
   FieldType_Boolean,
   FieldType_BitField,
   FieldType_Last
};

    我们再来看第4段代码。这段代码里面的错误就更加低级了。数组field中存放的都是指向对象的指针，而通过指针访问成员函数的话应该是用“->”而不是“.”（错误2），这是任何一个学过C++的人都知道的。可是我们的大师就犯了这么一个低级错误！正确的代码应该是：

fieldIdx  =   1 ;
while  ( ( fieldIdx  <=  numFieldsInMessages )  &&  ( fieldStatus  ==  OK ) ) {
   fieldType  =  fieldDescription[ fieldIdx ].FieldType;
   fieldname  =  fieldDescription[ fieldIdx ].FieldName;
   field[ fieldType ] -> ReadAndPrint( fileName, fileStatus );
}

    由此可见，就算像Steve McConnell这样的大师级人物也会犯这种非常低级的错误的。
    不过，瑕不掩玉。这一章讲的表驱动法还是非常有用的，而且书中的例子也很好的说明了表驱动法在面向对象设计中优点。另外，总体来看，这也是一本好书。作者把在编程时应该注意的方方面面都进行了叙述，确实是一本很好的软件构建方面的指导书。

    （这里我想多说两句题外话－－为什么这么简单的低级错误，译者却没有发现呢？我想可能是对权威的过度迷信吧。也许译者在翻译这本大部头的时候，根本没有去看书中所附的代码。大师也是人，当然也会犯错误。就像编写软件一样，肯定会有bug的，更何况这是一本关于软件构建的书，出现错误也在所难免。在这点上，我觉得内地的译者们应该向台湾的候捷学习。看他翻译的《Inside The C++ Ojecet Model》（深度探索C++对象模型）一书就知道了。他把在翻译时发现的所有错误都列了出来，并且在书中出现错误的地方改正过来，并加以注释。）

    后记：
    我用我蹩脚的英文给Steve McConnell写了封EMail，告诉他书中的这两个错误。没想到，他很快就给我回复了，下面是他回信的截图： 

2007年8月10日更新：

    brucesea在看了这篇文章后在评论里指出了代码中的第3个错误。根据上下文来看，第2段代码中Field_Last应该是FieldType_Last。