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

或者，您可以将实例与参数一起传递，或执行其他操作。 我认为这只是一个概念证明，而在实际代码中将是其他事情。