小编fac*_*tum的帖子

我有一个问题涉及C++中模板类的函数模板参数.

我想定义一个Foo采用单个模板参数的模板类Fun

   template <typename Fun>
   struct Foo {
      ...
   };

这样的功能就像

   void bar(std::string a, float b, char c)
   {
      ...
   }

然后Foo<bar>::args_t将相当于一个typedef

   std::tuple<std::string, float, char>

这可能吗？(std::tuple这里的用法仅仅是为了具体.更一般地说,我想知道是否可以对功能模板参数的参数进行模式匹配.)

重点是避免必须以Foo类似的方式定义

   template Foo<typename A, typename B, typename C, typename D,
      D (*Fun)(A a, B b, C c)>
   struct Foo {
      typedef std::tuple<A,B,C>  args_t;
   };

这需要提交到固定数量的函数参数,并要求函数的参数和返回类型作为模板参数显式提供.(Foo使用可变参数模板定义可能会解决前一个问题,但后者呢？)

谢谢!

这是“解包”元组以调用匹配的函数指针的后续问题，它询问如何std::tuple以通用方式将 a 中的值作为参数提供给函数。给出的解决方案如下：

template<int ...>
struct seq { };

template<int N, int ...S>
struct gens : gens<N-1, N-1, S...> { };

template<int ...S>
struct gens<0, S...>
{
   typedef seq<S...> type;
};

double foo(int x, float y, double z)
{
   return x + y + z;
}

template <typename... Args>
struct save_it_for_later
{
   std::tuple<Args...> params;
   double (*func)(Args...);

   double delayed_dispatch()
   {
    return callFunc(typename gens<sizeof...(Args)>::type());
   }

   template<int ...S>
   double callFunc(seq<S...>)
   {
    return func(std::get<S>(params) ...);
   }
};

int main(void)
{
   std::tuple<int, …