«распаковка» кортежа для вызова соответствующего указателя функции

Я пытаюсь сохранить в 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
  }
};

int main() {
  int a=666;
  double b = -1.234;
  void *c = NULL;

  save_it_for_later<int,double,void*> saved = {
                                 std::tuple<int,double,void*>(a,b,c), f};
  saved.delayed_dispatch();
}

Обычно для проблем, связанных с std :: tuple или вариативными шаблонами, я бы написал другой шаблон, например template для рекурсивной оценки всех типов один за другим, но я не вижу способа сделать это для отправки вызова функции.

Настоящая мотивация для этого несколько сложнее, и в любом случае это в основном просто обучающее упражнение. Вы можете предположить, что я передал кортеж по контракту из другого интерфейса, поэтому его нельзя изменить, но мое желание распаковать его в вызов функции принадлежит мне. Это исключает использование std :: bind как дешевого способа обойти основную проблему.

Какой чистый способ диспетчеризации вызова с использованием std :: tuple или альтернативный лучший способ достижения того же чистого результата, заключающийся в сохранении / пересылке некоторых значений и указателя функции до произвольной точки в будущем ?

250
задан Flexo 23 May 2016 в 06:29
поделиться