Я намагаюся зберігати 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()
?