帶參數的C++模板策略

Question

我對此很陌生。我創建與策略類說：

template <typename T, 
      typename P1 = Policy1<T>, 
      typename P2 = Policy2<T> > 

{ 
    ... 
} 

我有是一些政策有參數，當他們編譯時它是確定

template <typename T, 
      typename P1 = Policy1<T, size_t N>, 
      typename P2 = Policy2<T> > 

但問題的時候都運行我不確定提供策略類對象的最佳方式是什麼......或者這不再是策略模式？

Answer 1

您可以爲看到添加以下

Ooor爲標準庫做你能做的政策:) 編輯工廠：

#include <string> 

struct DummyPolicy { }; 

template <typename> 
struct Policy1 { Policy1(int, std::string) { } }; 

template <typename T, 
      typename P1 = Policy1<T> > 
struct X 
{ 
    X(P1 p1 = {}) : _policy1(std::move(p1)) { } 

    private: 
    P1 _policy1; 
}; 

而且使用它

int main() 
{ 
    X<int, DummyPolicy> no_questions_asked; 
    X<int> use_params({42, "hello world"}); 
} 

明顯地用C++ 03或顯式構造函數拼出來：

 X<int> use_params(Policy1<int>(42, "hello world")); 

看到它Live on Coliru

---

更新：工廠

這裏有一個更新顯示治廠方針：

#include <string> 

namespace details 
{ 
    template <typename PolicyImpl> 
     struct PolicyFactory 
     { 
      static PolicyImpl Create() { 
       return {}; 
      } 
     }; 
} 

template <typename> 
struct Policy2 { Policy2(double) { } }; 

template <typename T, 
      typename P1 = Policy2<T> > 
struct X 
{ 
    X()  : _policy1(details::PolicyFactory<P1>::Create()) {} 
    X(P1 p1) : _policy1(std::move(p1)) { } 

    private: 
    P1 _policy1; 
}; 

///// supply a factor, possibly local to a TU: 

namespace details 
{ 
    template <typename T> 
     struct PolicyFactory<Policy2<T> > { 
      static Policy2<T> Create() { 
       return Policy2<T>(3.14); 
      } 
     }; 
} 

int main() 
{ 
    // with a factory: 
    X<std::string, Policy2<std::string> > no_params_because_of_factory; 
} 

看到它Live on Coliru *

注意

• 我更喜歡構造函數傳遞的方式
• 工廠在技術上是一個特質類

Answer 2

模板中的策略用於在編譯時自定義類，而不是在運行時（策略設置實例的類型，並且不能在運行時使用C++來確定類型）。

並行運行時通常被稱爲「依賴注入」，你通過傳遞已經構造的對象到該實例將委派操作做了例子。