在C++的程序設計中有一些設計開發的典型機制需要整理討論，在此拋磚引玉，為自己做積累，請高人也多多指教。

1.簡介

在標準C++庫中我們可以看到這樣的一個現象：

6個公有虛函數，并且都是std::exception::what()和其重載。

142個非公有虛函數。

這樣設計的目的何在呢，為什么“多此一舉”的把虛函數設置為非公有呢？

這就是NVI機制要求的：將虛函數聲明為非公有，而將公有函數都聲明為非虛——虛擬和公有選其一。

2.機制分析

程序員常常將基類中的虛函數公有化，來提供一個接口的定義（virtual的功勞）同時提供其實現（具體的一個實現）。

class Base{  
public:  
virtual void Foo(int){  
cout<< "Base's Foo!" << endl;  
};  
}; 

問題就出在“同時”——一個定義了接口的形式，一個定義了默認的一個實現，顯然這樣的設計沒有將接口定義和實現分來。在這個時候，我們可以使用模板方法模式的思想：

class Base{  
public:  
void Foo(){  
DoFoo1();  
DoFoo2();  
}//use DoFooX()  
private:  
virtual void DoFoo1(){  
cout << "Base's DoFoo1" <<endl;  
}  
virtual void DoFoo2(){  
cout << "Base's DoFoo2" <<endl;  
}  
};  
class Derived: public Base{  
private:  
virtual void DoFoo1(){  
cout << "Derived's DoFoo1" << endl;  
};  
}; 

函數Foo定義了接口的形式，而DoFooX()函數則實現了對Foo函數的行為定制，實現了接口定義和實現的分離，我們舉一個例子來說明好處：如果我們希望在Foo中做一下CS（Critical Section）的加鎖解鎖控制：

若我們完成這樣的接口與實現分離，那么我們的實現是在基類的接口處添加所需流程即可，子類不需要修改：

class Base{  
public:  
void Foo(){  
cout << "Locking" << endl;  
DoFoo1();  
DoFoo2();  
cout << "Unlocking" << endl;  
}//use DoFooX()  
private:  
virtual void DoFoo1(){  
cout << "Base's DoFoo1" <<endl;  
}  
virtual void DoFoo2(){  
cout << "Base's DoFoo2" <<endl;  
}  
};  
class Derived: public Base{  
private:  
virtual void DoFoo1(){  
cout << "Derived's DoFoo1" << endl;  
};  
}; 

若不實現接口與實現分離，則從基類到子類都需要修改：

class Base{  
public:  
virtual void Foo(){  
cout << "Locking" << endl;  
cout << "Base's Foo" << endl;  
cout << "Unlocking" << endl;  
}  
};  
class Derived: public Base{  
public:  
virtual void Foo(){  
cout << "Locking" << endl;  
cout << "Derived's Foo" << endl;  
cout << "Unlocking" << endl;  
};  
}; 

注意，當且僅當子類需要調用基類的虛函數時才將虛函數設置為protected（否則沒有權限），并且NVI機制不適用于析構函數，對于析構函數，如果設為公有則應該設置為虛擬（在允許多態刪除的基類中），否則設置為私有或者protected的非虛擬形式（不含多態刪除的基類中）。

帶來的風險：

首先是FBC問題（Fragile Base Class ），下邊是一個例子：

class Set {  
std::set<int> s_;  
public:  
void add (int i) {  
s_.insert (i);  
add_impl (i); // Note virtual call.  
}  
void addAll (int * begin, int * end) {  
s_.insert (begin, end); // --------- (1)  
addAll_impl (begin, end); // Note virtual call.  
}  
private:  
virtual void add_impl (int i) = 0;  
virtual void addAll_impl (int * begin, int * end) = 0;  
};  
class CountingSet : public Set {  
private:  
int count_;  
virtual void add_impl (int i) {  
count_++;  
}  
virtual void addAll_impl (int * begin, int * end) {  
count_ += std::distance(begin,end);  
}  
}; 

如果此時我們在父類中修改了addAll函數，改為將從begin到end的數字都調用一遍add函數，那么，子類的功能就紊亂了——子類計數就會多記錄一倍（因為在子類中，add_impl每次都會計數一個，并且addAll_impl也會整體計數一次）。所以，為了防止出現FBC，一般一個公有非虛函數調用一個私有虛函數。

其次是性能上的考慮，畢竟多了一層函數調用。

3.總結

將NVI機制放在腦子中吧，如果你還是不明白，一個故事化的講述或許更加合適你。

【編輯推薦】

1. VC++獲得當前系統時間的幾種方案
2. 數據庫在C++程序中使用方法
3. C++連接mysql數據庫的兩種方法
4. C++中的指針用法匯集
5. 淺談C/C++中的static和extern關鍵字