什么是C++程序的NVI機制

這篇文章主要介紹“什么是C++程序的NVI機制”，在日常操作中，相信很多人在什么是C++程序的NVI機制問題上存在疑惑，小編查閱了各式資料，整理出簡單好用的操作方法，希望對大家解答”什么是C++程序的NVI機制”的疑惑有所幫助！接下來，請跟著小編一起來學習吧！

在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，一般一個公有非虛函數調用一個私有虛函數。

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

到此，關于“什么是C++程序的NVI機制”的學習就結束了，希望能夠解決大家的疑惑。理論與實踐的搭配能更好的幫助大家學習，快去試試吧！若想繼續學習更多相關知識，請繼續關注億速云網站，小編會繼續努力為大家帶來更多實用的文章！