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