C++编译器无法捕捉到的8种错误实例分析(4)

当switch表达式计算出的结果同case的标签值相同时，执行序列将从满足的第一个case语句处执行。执行序列将继续下去，直到要么到达switch语句块的末尾，或者遇到return、goto或break语句。其他的标签都将忽略掉！

考虑下如上的代码，如果nValue为1时会发生什么。case 1满足，所以eColor被设为Color::BLUE。继续处理下一个语句，这又将eColor设为Color::PURPLE。下一个语句又将它设为了Color::GREEN。最终，在default中将其设为了Color::RED。实际上，不管nValue的值是多少，上述代码片段都将把eColor设为Color::RED！

正确的方法是按照如下方式书写：

switch (nValue)
{
  case 1: eColor = Color::BLUE; break;
  case 2: eColor = Color::PURPLE; break;
  case 3: eColor = Color::GREEN; break;
  default: eColor = Color::RED; break;
}

break语句终止了case语句的执行，因此eColor的值将保持为程序员所期望的那样。尽管这是非常基础的switch/case逻辑，但很容易因为漏掉一个break语句而造成不可避免的“瀑布式”执行流。

8）在构造函数中调用虚函数

考虑如下的程序：

class Base
{
private:
  int m_nID;
public:
  Base()
  {
    m_nID = ClassID();
  }
 
  // ClassID 返回一个class相关的ID号
  virtual int ClassID() { return 1;}
 
  int GetID() { return m_nID; }
};
 
class Derived: public Base
{
public:
  Derived()
  {
  }
 
  virtual int ClassID() { return 2;}
};
 
int main()
{
  Derived cDerived;
  cout << cDerived.GetID(); // 打印出1，不是2！
  return 0;
}

在这个程序中，程序员在基类的构造函数中调用了虚函数，期望它能被决议为派生类的Derived::ClassID()。但实际上不会这样——程序的结果是打印出1而不是2。当从基类继承的派生类被实例化时，基类对象先于派生类对象被构造出来。这么做是因为派生类的成员可能会对已经初始化过的基类成员有依赖关系。结果就是当基类的构造函数被执行时，此时派生类对象根本就还没有构造出来！所以，此时任何对虚函数的调用都只会决议为基类的成员函数，而不是派生类。

根据这个例子，当cDerived的基类部分被构造时，其派生类的那一部分还不存在。因此，对函数ClassID的调用将决议为Base::ClassID()（不是Derived::ClassID()）,这个函数将m_nID设为1。一旦cDerived的派生类部分也构造好时，在cDerived这个对象上，任何对ClassID()的调用都将如预期的那样决议为Derived::ClassID()。

注意到其他的编程语言如C#和Java会将虚函数调用决议为继承层次最深的那个class上，就算派生类还没有被初始化也是这样！C++的做法与这不同，这是为了程序员的安全而考虑的。这并不是说一种方式就一定好过另一种，这里仅仅是为了表示不同的编程语言在同一问题上可能有不同的表现行为。

结论：

个人认为以新手程序员可能遇到的基础问题入手会比较合适。无论一个程序员的经验水平如何，错误都是不可避免的，不管是因为知识上的匮乏、输入错误或者只是一般的粗心大意。意识到其中最有可能造成麻烦的问题，这可以帮助减少它们出来捣乱的可能性。虽然对于经验和知识并没有什么替代品，良好的单元测试可以帮我们在将这些bug深埋于我们的代码中之前将它们捕获。

相信本文所述对大家的C++程序设计有一定的学习借鉴价值。