是否可以在模板化函数签名中使用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. 
} 

或者，您可以将该实例与参数一起传递，或者执行其他操作。我认为这只是一个概念验证，而在真实的代码中则是另一回事。