如何使用模板別名刪除一個不必要的參數

Question

我有這樣的模板類：

template<typename T, T F(const std::string&)> 
struct Builder 
{ 
    T operator()(const std::string& s) const { return F(s); } 
    typedef T type; 
}; 

，因爲我需要一個類持有的函數，該函數返回（因爲我需要它的引用）的值。

正如你所看到的，我有兩個模板參數，但實際上第一個是多餘的。有可能以某種方式刪除它嗎？模板別名？東西比宏

Answer 1

返回類型的第二個模板參數的T較好必須是其第一次使用前，無論如何定義（如C++的規則規定，任何單位只能在其聲明後使用），並且只有這樣才能聲明是使用前面的類型模板參數（如你所做的那樣），所以你不能省略第一個參數。