C++三則 如無必要 勿增虛函數(shù)
虛函數(shù)的作用是實現(xiàn)動態(tài)聯(lián)編，也就是在程序的運行階段動態(tài)地選擇合適的成員函數(shù)，在定義了虛函數(shù)后，可以在基類的派生類中對虛函數(shù)重新定義，在派生類中重新定義的函數(shù)應(yīng)與虛函數(shù)具有相同的形參個數(shù)和形參類型。
一、如無必要，勿增虛函數(shù)
比如我們有以下關(guān)于球的類層次設(shè)計 ,其中需要判斷某種球是否是可以踢的(kickable):
- class Ball
- {
- public:
- virtual bool IsKickable() = 0;
- };
- class Football
- {
- public:
- virtual bool IsKickable() {return true;}
- };
- class Basketball
- {
- public:
- virtual bool IsKickable() {return false;}
- };
乍一看覺得挺合理的，但仔細(xì)想想，其實IsKickable是某種球的本質(zhì)靜態(tài)屬性，用一個虛函數(shù)來表示這種信息，是一種浪費，更加合理的方式應(yīng)該是用一個數(shù)據(jù)成員和一個普通成員函數(shù)：
- class Ball
- {
- public:
- bool IsKickable(){return m_bIsKickable;}
- protected:
- bool m_bIsKickable;
- };
- class Football
- {
- public:
- Football():bIsKickable(true){}
- };
- class Basketball
- {
- public:
- Basketball():bIsKickable(false){}
- };
類似這樣的設(shè)計我碰到過至少兩次，一次是被review，一次是review，結(jié)果都是改成了第二種我們認(rèn)為比較合理的方式。
二、不要用 "||" 做復(fù)雜的邏輯判斷
"||"是"或運算"符號，當(dāng)你確實將其作為或運算時，的確很簡單明了。但是有人發(fā)明了一種比較tricky的方法來使用它。
舉個例子，我們的程序可能有三種狀態(tài)：A, B，或者C，現(xiàn)在有一個變量bOk，如果程序當(dāng)前狀態(tài)為C的話，bOk必須為true，如何來assert？一般比較直觀的做法是：
- if(IsC()) assert(bOk);
但是有人覺得有個if判斷比較麻煩，于是發(fā)明了：
- assert(IsA() || IsB() || bOk);
邏輯理解為：如果不是A也不是B，那么bOk必須為true。雖然代碼簡化成只有單個語句，但是，這對理解卻帶來了挑戰(zhàn)。
我們一般不推薦用這種不直觀的方式來做判斷。
三、純虛函數(shù)與默認(rèn)實現(xiàn)
有一個基類，我們期望它是一個抽象類，但同時我們又期望其虛函數(shù)都有默認(rèn)實現(xiàn)。這其實一個語法層面的問題：我們是可以把一個虛函數(shù)設(shè)為純虛的同時提供默認(rèn)實現(xiàn)的。（但一開始以為不行，想去把構(gòu)造函數(shù)設(shè)為pretected來達(dá)到類似的效果，但這樣從概念上來講就不是很合理了）
對于這種情況，我想也沒必要把所有函數(shù)設(shè)為純虛，找一個典型，如把析構(gòu)函數(shù)設(shè)為純虛并提供默認(rèn)實現(xiàn)：
- class Base
- {
- public:
- virtual ~Base() = 0;
- };
- Base::~Base() {printf("~Base()\n");}
- class Derive: public Base
- {
- public:
- virtual ~Derive(){printf("~Derive()\n");}
- }
這樣，基類就已經(jīng)是一個抽象類了，應(yīng)該是一個可以接受的方案。
【編輯推薦】
