Я пытаюсь сохранить в 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 <typename Head, typename ...Tail>
для рекурсивной оценки всех типов один за другим, но я не вижу способа сделать это для отправки вызова функции.
Реальная мотивация для этого несколько сложнее, и в любом случае это в основном просто учебное упражнение. Вы можете предположить, что я передал кортеж по контракту из другого интерфейса, поэтому изменить его нельзя, но желание распаковать его в вызов функции мое. Это исключает использование std::bind
в качестве дешевого способа обойти основную проблему.
Каков чистый способ отправки вызова с использованием std::tuple
или альтернативный лучший способ достижения того же чистого результата хранения / пересылки некоторых значений и указателя функции до произвольной точки будущего?
auto saved = std::bind(f, a, b, c);
... а потом просто позвонитьsaved()
?