相关疑难解决方法(0)

我正在尝试存储std::tuple不同数量的值,这些值稍后将用作调用与存储类型匹配的函数指针的参数.

我创建了一个简化的示例,显示了我正在努力解决的问题:

#include <iostream>
#include <tuple>

void f(int a, double b, void* c) {
  std::cout << a << ":" << b << ":" << c << std::endl;
}

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

  void delayed_dispatch() {
     // How can I "unpack" params to call func?
     func(std::get<0>(params), std::get<1>(params), std::get<2>(params));
     // But I *really* don't want to write 20 versions of dispatch so I'd rather 
     // write something like:
     func(params...); // Not legal
  }
}; …

我有一个问题涉及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使用可变参数模板定义可能会解决前一个问题,但后者呢？)

谢谢!