是否可以在模板化函數簽名中使用typedef？

Question

有沒有辦法使用typedef作爲模板函數的參數？或者一種將類型定義爲參數的方法？

比方說，我想給一個函數指針傳遞給這個函數：

template<typename C, typename ...Args> 
void test(typedef void (C::*functor)(Args... args) functor f) 
{ 
    f(args...); 
} 

Answer 1

不，您不能在參數中創建typedef。如果你的目標是避免重複在函數體參數的類型，你可以使用decltype：

template<typename C, typename ...Args> 
void test(void (C::*f)(Args...)) 
{ 
    typedef decltype(f) functor; 
} 

Answer 2

號

但是，爲什麼甚至想，當你可以這樣寫：

template<typename C, typename ...Args> 
void test(void (C::*f)(Args...), Args... args) 
{ 
    C c; //f is a member function, so need an instance of class 
    (c.*f)(args...); //call the function using the instance. 
} 

或者，您可以將該實例與參數一起傳遞，或者執行其他操作。我認爲這只是一個概念驗證，而在真實的代碼中則是另一回事。