混合命令模式，工廠模式和模板都在一起...

Question

我已經問過a similar question here，但是我沒有真正得到我想要的答案，因爲我的問題制定得不好，而且例子很糟糕。所以我再給它一次，希望有更好的解釋和更好的代碼。

代碼波紋管已被剝離出不必要的細節，但它的工作原理。 事情是我想使用模板參數扣除，如果可能的話，以簡化模板函數調用。

我有一個創建命令的工廠。要創建一個命令，我用這樣一個呼叫：

mCommandFactory.createCommand< 
         DoSomeStuff, 
         ParameterType1, 
         ParameterType2, 
         ParameterType3, 
         ParameterType4 
         > 
         (std:string("some description"), 
         parameter1, 
         parameter2, 
         parameter3, 
         parameter4); 

正如你可能已經猜到了，參數1類型ParameterType1，等等......。

現在，如果我們看一下命令的定義 - DoSomeStuff-本身：

class DoSomeStuff : public UndoableCommand< ParameterType1 , ParameterType2, ParameterType3 , ParameterType4 > 
    { 
    public: 
     DoSomeStuff(... /* arguments which are needed for precessing the command and undoing it*/); 
     ~DoSomeStuff() throw(); 
     void executeImpl(); 
     void undoImpl(); 

    protected: 
       ... /* members which are needed for precessing the command and undoing it*/ 
    }; 

正如你所看到的，ParameterTypeN信息已經DoSomeStuff的聲明中。

我想知道是否有可能以某種方式通過更簡單的東西來代替上述createCommand電話：

mCommandFactory.createCommand<DoSomeStuff> 
         (std:string("some description"), 
         parameter1, 
         parameter2, 
         parameter3, 
         parameter4); 

這裏是的CommandFactory代碼：

class CommandFactory 
    { 
    private: 
      // some stuff used to initialize objects created by this factory 

    public: 
     CommandFactory(...) : ... /* members initialization */ 

     { 
     } 


     template <class CommandType, typename P1, typename P2, typename P3, typename P4> 
     void createCommand(juce::String& description,P1 p1, P2 p2, P3 p3, P4 p4) 
     { 
      Undoable* cmdPtr = new CommandType(p1, p2, p3, p4); 
      ... 
      // init cmdPtr 

      (*cmdPtr)();    
     } 

基本點是移動CommandFactory內部的複雜性，以保持「客戶端代碼」（對createCommand的調用）儘可能簡單和簡短。

任何想法？

Answer 1

不知道我是否正確地理解了這個問題，但這應該起作用。

template<typename ParameterType1 , typename ParameterType2, typename ParameterType3 , typename ParameterType4> 
class UndoableCommand 
{ 
public: 
    UndoableCommand(ParameterType1 p1, ParameterType2 p2, ParameterType3 p3, ParameterType4 p4) 
    {} 
}; 

class DoSomeStuff : public UndoableCommand< int ,double, std::string , int> 
{ 
public: 
    DoSomeStuff(int p1, double p2, std::string p3, int p4) 
     :UndoableCommand(p1,p2,p3,p4) 
    {} 
}; 

class CommandFactory 
{ 
public: 
    CommandFactory() 
    {} 

    template <class CommandType, typename P1, typename P2, typename P3, typename P4> 
    void createCommand(std::string& description,P1 p1, P2 p2, P3 p3, P4 p4) 
    { 
     UndoableCommand<P1,P2,P3,P4> * cmdPtr = new CommandType(p1, p2, p3, p4); 

    } 
}; 

用作此類

CommandFactory fact; 
fact.createCommand<DoSomeStuff>(std::string("description"),1,2.0,std::string("3"),4); 

Answer 2

是的，你可以用簡單的東西代替它。你有沒有考慮過std::bind？

一旦您使用將其更改爲使用<function>，您的DoSomeStuff類將只是一個結構，其中包含一對std::function s。

Answer 3

您可以將參數類型的typedefs設置爲Commandtype類，從而解析createCommand函數內部的參數類型，而不顯式地將它們作爲模板參數進行添加。 要做到這一點，您可以將模板參數的typedefs傳遞給該類中的UndoableCommand。

Answer 4

你並不需要一些特殊的東西，你的方法mCommandFactory.createCommand<DoSomeStuff>(...);應當制定。編譯器會自動從函數調用表達式中減去給定參數的類型，並正確實例化createCommand<>模板。