精华区文章阅读

发信人: kimsh (Honey Dew melon), 信区: C_and_CPP
标  题: 修练8 年C++面向对象程序设计之体会(3) zz
发信站: BBS 哈工大紫丁香站 (Fri Sep  3 08:29:33 2004)

  sawin

6.1.3 虚函数与多态

除了继承外，C++的另一个优良特性是支持多态，即允许将派生类的对象当作基类的对象使
用。如果A 是基类，B 和C 是A 的派生类，多态函数Test 的参数是A 的指针。那么Test
函数可以引用A、B、C 的对象。示例程序如下:

class A
{
public:
void Func1(void);
};
void Test(A *a)
{
a->Func1();
}
class B : public A
{
…
};
class C : public A
{
…
};
// Example
main()
{
A a;
B b;
C c;
Test(&a);
Test(&b);
Test(&c);
};

以上程序看不出“多态”有什么价值，加上虚函数和抽象基类后，“多态”的威力就显示
出来了。

C++用关键字virtual 来声明一个函数为虚函数，派生类的虚函数将（override）基类对应
的虚函数的功能。示例程序如下：

class A
{
public:
virtual void Func1(void){ cout<< “This is A::Func1 \n”}
};
void Test(A *a)
{
a->Func1();
}
class B : public A
{
public:
virtual void Func1(void){ cout<< “This is B::Func1 \n”}
};
class C : public A
{
public:
virtual void Func1(void){ cout<< “This is C::Func1 \n”}
};
// Example
main()
{
A a;
B b;
C c;
Test(&a); // 输出This is A::Func1
Test(&b); // 输出This is B::Func1
Test(&c); // 输出This is C::Func1
};

如果基类A 定义如下：

class A
{
public:
virtual void Func1(void)=0;
};

那么函数Func1 叫作纯虚函数，含有纯虚函数的类叫作抽象基类。抽象基类只管定义纯虚
函数的形式，具体的功能由派生类实现。

结合“抽象基类”和“多态”有如下突出优点：

（1）应用程序不必为每一个派生类编写功能调用，只需要对抽象基类进行处理即可。这一

招叫“以不变应万变”，可以大大提高程序的可复用性（这是接口设计的复用，而不是代
码实现的复用）。

（2）派生类的功能可以被基类指针引用，这叫向后兼容，可以提高程序的可扩充性和可维
护性。以前写的程序可以被将来写的程序调用不足为奇，但是将来写的程序可以被以前写
的程序调用那可了不起。

6.2 良好的编程风格

内功深厚的武林高手出招往往平淡无奇。同理，编程高手也不会用奇门怪招写程序。良好
的编程风格是产生高质量程序的前提。

6.2.1 命名约定

有不少人编程时用拼音给函数或变量命名，这样做并不能说明你很爱国，却会让用此程序
的人迷糊（很多南方人不懂拼音，我就不懂）。程序中的英文一般不会太复杂，用词要力
求准确。匈牙利命名法是Microsoft 公司倡导的[Maguire 1993]，虽然很烦琐，但用习惯
了也就成了自然。没有人强迫你采用何种命名法，但有一点应该做到：自己的程序命名必
须一致。

以下是我编程时采用的命名约定：

（1）宏定义用大写字母加下划线表示，如MAX_LENGTH；

（2）函数用大写字母开头的单词组合而成，如SetName, GetName ；

（3）指针变量加前缀p，如*pNode ；

（4）BOOL 变量加前缀b，如bFlag ；

（5）int 变量加前缀i，如iWidth ；

（6）float 变量加前缀f，如fWidth ；

（7）double 变量加前缀d，如dWidth ；

（8）字符串变量加前缀str，如strName ；

（9）枚举变量加前缀e，如eDrawMode ；

（10）类的成员变量加前缀m_，如m_strName, m_iWidth ；

对于int, float, double 型的变量，如果变量名的含义十分明显，则不加前缀，避免烦琐
。如用于循环的int 型变量i,j,k ；float 型的三维坐标（x,y,z）等。

6.2.2 使用断言

程序一般分为Debug 版本和Release 版本，Debug 版本用于内部调试，Release 版本发行
给用户使用。断言assert 是仅在Debug 版本起作用的宏，它用于检查“不应该”发生的情
况。以下是一个内存复制程序，在运行过程中，如果assert 的参数为假，那么程序就会中
止（一般地还会出现提示对话，说明在什么地方引发了assert）。

//复制不重叠的内存块
void memcpy(void *pvTo, void *pvFrom, size_t size)
{
void *pbTo = (byte *) pvTo;
void *pbFrom = (byte *) pvFrom;
assert( pvTo != NULL && pvFrom != NULL );
while(size - - > 0 )
*pbTo + + = *pbFrom + + ;
return (pvTo);
}

assert 不是一个仓促拼凑起来的宏，为了不在程序的Debug 版本和Release 版本引起差别
，assert 不应该产生任何副作用。所以assert 不是函数，而是宏。程序员可以把assert
看成一个在任何系统状态下都可以安全使用的无害测试手段。

很少有比跟踪到程序的断言，却不知道该断言的作用更让人沮丧的事了。你化了很多时间
，不是为了排除错误，而只是为了弄清楚这个错误到底是什么。有的时候，程序员偶尔还
会设计出有错误的断言。所以如果搞不清楚断言检查的是什么，就很难判断错误是出现在
程序中，还是出现在断言中。幸运的是这个问题很好解决，只要加上清晰的注释即可。这
本是显而易见的事情，可是很少有程序员这样做。这好比一个人在森林里，看到树上钉着
一块“危险”的大牌子。但危险到底是什么？树要倒？有废井？有野兽？除非告诉人们“
危险”是什么，否则这个警告牌难以起到积极有效的作用。难以理解的断言常常被程序员
忽略，甚至被删除。[Maguire 1993]

以下是使用断言的几个原则：

（1）使用断言捕捉不应该发生的非法情况。不要混淆非法情况与错误情况之间的区别，后
者是必然存在的并且是一定要作出处理的。

（2）使用断言对函数的参数进行确认。

（3）在编写函数时，要进行反复的考查，并且自问：“我打算做哪些假定？”一旦确定了
的
假定，就要使用断言对假定进行检查。

（4）一般教科书都鼓励程序员们进行防错性的程序设计，但要记住这种编程风格会隐瞒错
误。当进行防错性编程时，如果“不可能发生”的事情的确发生了，则要使用断言进行报
警。

--

※ 来源:·哈工大紫丁香 http://bbs.hit.edu.cn·[FROM: 202.102.144.*]

C_and_CPP 版 (精华区)