《Modern C++ Design》Policies 和Policy Classes

policy

所謂policy，其實就是一個類或者類模板的介面，它由內部類型定義（inner type definition），成員函數，成員變數組成。

它類似於設計模式中的Strategy.

這裡先介紹一下Strategy:

結構
意圖	定義一系列的演算法,把它們一個個封裝起來, 並且使它們可相互替換。本模式使得演算法可獨立於使用它的客戶而變化。
適用性	許多相關的類僅僅是行為有異。“策略”提供了一種用多個行為中的一個行為來配置一個類的方法。 需要使用一個演算法的不同變體。例如，你可能會定義一些反映不同的空間/時間權衡的演算法。當這些變體實現為一個演算法的類層次時[ H O 8 7 ] ,可以使用原則模式。 演算法使用客戶不應該知道的資料。可使用原則模式以避免暴露複雜的、與演算法相關的資料結構。 一個類定義了多種行為, 並且這些行為在這個類的操作中以多個條件陳述式的形式出現。將相關的條件分支移入它們各自的S t r a t e g y 類中以代替這些條件陳述式。

 

下面舉個例子，定義一個policy來產生實體：Creatorpolicy是個帶有類型T的類模板，它提供一個Create的介面函數，此函數不接受參數，返回一個指向T的指標。每當Create被調用就返回一個指標。

下面是三個具體的實體。

template <class T>
struct OpNewCreator
{
      static T* Create()
     {
           return new T;
      }
};

template <class T>
struct MallocCreator
{
      static T* Create()
     {
            void* buf = std::malloc(sizeof(T));
            if (!buf) return 0;
            return new(buf) T;
      }
};

template <class T>
struct PrototypeCreator
{
       PrototypeCreator(T* pObj = 0): pPrototype_(pObj){}
       T* Create()
       {
              return pPrototype_ ? pPrototype_->Clone() : 0;
       }
       T* GetPrototype() { return pPrototype_; }
        void SetPrototype(T* pObj) { pPrototype_ = pObj; }
private:
        T* pPrototype_;
};

這三個具體的實體就叫做policy classes或許有點不恰當，因為他們也帶有模板。

 

policies介面和普通的類介面的區別在於它比較鬆散，沒有類介面那樣嚴格的限制，比如Create函數，我可以不必是virtual的，也可以不返回指標T，只需要必須定義Create就可以了。

前三個執行個體它們全都定義Create()並帶有必要的傳回型別，所以它們都符合Creator policy。

 

現在設計一個使用Creatorpolicy的類，它用繼承或複合的方式使用前面的第一個執行個體。

template <class CreationPolicy>
class WidgetManager : public CreationPolicy
{ ... };

 

如果這個類使用了一個或多個policies,我們稱其為host或host classes,WidgetManager便是採用一個policies的host class. host 負責把polices提供的結構和行為組合成一個更複雜的結構和行為

 

當用戶端將WidgetManager template具體化時，必須傳進一個它所期望的policy
typedef WidgetManager< OpNewCreator<Widget> > MyWidgetMgr;

當MyWidgetMgr實體需要產生一個Widget實體時，它便調用它的policy子實體OpNewCreator<Widget>所提供的Create().選擇建置原則(Create policy)是WidgetManage使用者自由。通過這樣的設計，WidgetManager使用者便可自動裝配他所要的功能。

 

《Modern C++ Design》Policies 和Policy Classes