"Розпакування" кортежу для виклику відповідного вказівника функції


254

Я намагаюся зберігати 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або альтернативного кращого способу досягнення того ж чистого результату зберігання / переадресації деяких значень та покажчика функції до довільної точки майбутнього?


5
Чому ви не можете просто скористатися auto saved = std::bind(f, a, b, c);... потім пізніше просто зателефонувати saved()?
Чарльз Сальвія

Не завжди мій інтерфейс для управління. Я отримую кортеж за контрактом від когось іншого і хочу зробити з ним справи згодом.
Flexo

Відповіді:


275

Потрібно скласти пакет параметрів чисел і розпакувати їх

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;
};


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

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

4
Нічого собі, я не знав, що оператор розпакування може використовуватися так, це приємно!
Люк Турайль

5
Йоганнес, я розумію, що минуло 2 роки з того моменту, як ви це опублікували, але одне, з чим я борюся, - це struct gensзагальне визначення (те, що успадковується від розширеного виведення сказаного того самого). Я бачу, що це врешті-решт спеціалізується на 0. Якщо настрій вам підходить, і у вас є запасні цикли, якщо ви можете розширити це і як це використовувати для цього, я був би вдячний вам. І я хотів би, щоб я міг проголосувати за це сто разів. Мені було веселіше грати з дотичними з цього коду. Дякую.
WhozCraig

22
@WhozCraig: що робить, це створити тип seq<0, 1, .., N-1>. Як це працює: gens<5>: gens<4, 4>: gens<3, 3, 4>: gens<2, 2, 3, 4> : gens<1, 1, 2, 3, 4> : gens<0, 0, 1, 2, 3, 4>. Останній тип спеціалізується, створюючи seq<0, 1, 2, 3, 4>. Досить розумна хитрість.
mindvirus

2
@NirFriedman: Звичайно, просто замініть неспеціалізовану версію gensна:template <int N, int... S> struct gens { typedef typename gens<N-1, N-1, S...>::type type; };
marton78

11
Варто повторити відповідь і коментарі Вальтера до цього: людям більше не потрібно вигадувати власні колеса. Генерація послідовності була настільки поширеною, що вона була стандартизована в C ++ 14, як std::integer_sequence<T, N>і їх спеціалізація для std::size_t, std::index_sequence<N>- плюс пов'язані з ними допоміжні функції std::make_in(teger|dex)_sequence<>()та std::index_sequence_for<Ts...>(). А в C ++ 17 є багато інших хороших речей, інтегрованих у бібліотеку - зокрема, зокрема, std::applyі std::make_from_tuple, які б обробляли розпакування та виклик бітів
underscore_d

61

Рішення C ++ 17 просто використовувати std::apply:

auto f = [](int a, double b, std::string c) { std::cout<<a<<" "<<b<<" "<<c<< std::endl; };
auto params = std::make_tuple(1,2.0,"Hello");
std::apply(f, params);

Просто відчув, що слід сказати один раз у відповіді в цій темі (після того, як він уже з'явився в одному з коментарів).


Базовий розчин C ++ 14 все ще відсутній у цій темі. EDIT: Ні, це насправді є відповідь Уолтера.

Ця функція задана:

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

Викличте його за допомогою наступного фрагмента:

template<typename Function, typename Tuple, size_t ... I>
auto call(Function f, Tuple t, std::index_sequence<I ...>)
{
     return f(std::get<I>(t) ...);
}

template<typename Function, typename Tuple>
auto call(Function f, Tuple t)
{
    static constexpr auto size = std::tuple_size<Tuple>::value;
    return call(f, t, std::make_index_sequence<size>{});
}

Приклад:

int main()
{
    std::tuple<int, double, int*> t;
    //or std::array<int, 3> t;
    //or std::pair<int, double> t;
    call(f, t);    
}

DEMO


Я не можу змусити цю демонстрацію працювати з розумними покажчиками - що тут не так? http://coliru.stacked-crooked.com/a/8ea8bcc878efc3cb
Xeverous

@Xeverous: ти хочеш отримати щось подібне тут ?
davidhigh

дякую, у мене є 2 питання: 1. Чому я не можу пройти std::make_uniqueбезпосередньо? Чи потрібен конкретний екземпляр функції? 2. Чому , std::move(ts)...якщо ми можемо змінити [](auto... ts)до [](auto&&... ts)?
Xeverous

@Xeverous: 1. не працює з підписами: ваш std::make_uniqueочікує кортеж, а кортеж можна створити з розпакованого кортежу лише за допомогою іншого дзвінка на std::make_tuple. Це те, що я робив у лямбда (хоч це і є надлишком, оскільки ви також можете просто скопіювати кортеж в унікальний покажчик без жодного використання для call).
Давидхіг

1
Тепер це має бути відповідь.
Fureeish

44

Це повна версія рішення Йоганнеса на питання про лісові угоди, сподіваючись, що комусь це може бути корисно. Це було протестовано на знімку g ++ 4,7 на стислі Debian.

###################
johannes.cc
###################
#include <tuple>
#include <iostream>
using std::cout;
using std::endl;

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) ...);
  }
};

#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wunused-parameter"
#pragma GCC diagnostic ignored "-Wunused-variable"
#pragma GCC diagnostic ignored "-Wunused-but-set-variable"
int main(void)
{
  gens<10> g;
  gens<10>::type s;
  std::tuple<int, float, double> t = std::make_tuple(1, 1.2, 5);
  save_it_for_later<int,float, double> saved = {t, foo};
  cout << saved.delayed_dispatch() << endl;
}
#pragma GCC diagnostic pop

Можна використовувати наступний файл SConstruct

#####################
SConstruct
#####################
#!/usr/bin/python

env = Environment(CXX="g++-4.7", CXXFLAGS="-Wall -Werror -g -O3 -std=c++11")
env.Program(target="johannes", source=["johannes.cc"])

На моїй машині це дає

g++-4.7 -o johannes.o -c -Wall -Werror -g -O3 -std=c++11 johannes.cc
g++-4.7 -o johannes johannes.o

Для чого потрібні змінні s та g?
шош

@shoosh Я думаю, вони не потрібні. Я забуваю, чому я додав ці; минуло майже три роки. Але я думаю, щоб показати, що інстанція працює.
Faheem Mitha

42

Ось рішення C ++ 14.

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

  template<std::size_t ...I>
  void call_func(std::index_sequence<I...>)
  { func(std::get<I>(params)...); }
  void delayed_dispatch()
  { call_func(std::index_sequence_for<Args...>{}); }
};

Для цього ще потрібна одна помічна функція ( call_func). Оскільки це загальна ідіома, можливо, стандарт повинен підтримувати її безпосередньо, як std::callпри можливій реалізації

// helper class
template<typename R, template<typename...> class Params, typename... Args, std::size_t... I>
R call_helper(std::function<R(Args...)> const&func, Params<Args...> const&params, std::index_sequence<I...>)
{ return func(std::get<I>(params)...); }

// "return func(params...)"
template<typename R, template<typename...> class Params, typename... Args>
R call(std::function<R(Args...)> const&func, Params<Args...> const&params)
{ return call_helper(func,params,std::index_sequence_for<Args...>{}); }

Тоді наша відстрочена відправка стає

template <typename ...Args>
struct save_it_for_later
{
  std::tuple<Args...> params;
  std::function<void(Args...)> func;
  void delayed_dispatch()
  { std::call(func,params); }
};

8
Запропоновано (запропоновано) впровадження std::call. Хаотичний зоопарк C і+ 14 integer_sequenceта index_sequenceтипи помічників пояснюються тут: en.cppreference.com/w/cpp/utility/integer_sequence Помітьте помітну відсутність std::make_index_sequence(Args...), через що Уолтера змусили в синтаксисі незграбності std::index_sequence_for<Args...>{}.
Квомплусон

3
І, мабуть, проголосував за C ++ 17 з 3/2016 як std :: apply (func, tup): en.cppreference.com/w/cpp/utility/apply
ddevienne

18

Це трохи складно досягти (хоча це можливо). Раджу використовувати бібліотеку, де це вже реалізовано, а саме Boost.Fusion ( функція виклику ). Як бонус, Boost Fusion також працює з компіляторами C ++ 03.


7

рішення. По-перше, кілька корисних котлів:

template<std::size_t...Is>
auto index_over(std::index_sequence<Is...>){
  return [](auto&&f)->decltype(auto){
    return decltype(f)(f)( std::integral_constant<std::size_t, Is>{}... );
  };
}
template<std::size_t N>
auto index_upto(std::integral_constant<std::size_t, N> ={}){
  return index_over( std::make_index_sequence<N>{} );
}

Вони дозволяють вам називати лямбда з низкою цілих чисел часу компіляції.

void delayed_dispatch() {
  auto indexer = index_upto<sizeof...(Args)>();
  indexer([&](auto...Is){
    func(std::get<Is>(params)...);
  });
}

і ми зробили.

index_uptoі index_overдозволяти вам працювати з пакетами параметрів, не створюючи нових зовнішніх перевантажень.

Звичайно, в ви просто

void delayed_dispatch() {
  std::apply( func, params );
}

Тепер, якщо нам це подобається, в ми можемо написати:

namespace notstd {
  template<class T>
  constexpr auto tuple_size_v = std::tuple_size<T>::value;
  template<class F, class Tuple>
  decltype(auto) apply( F&& f, Tuple&& tup ) {
    auto indexer = index_upto<
      tuple_size_v<std::remove_reference_t<Tuple>>
    >();
    return indexer(
      [&](auto...Is)->decltype(auto) {
        return std::forward<F>(f)(
          std::get<Is>(std::forward<Tuple>(tup))...
        );
      }
    );
  }
}

порівняно легко і отримати очищувач синтаксис готовий до відправлення.

void delayed_dispatch() {
  notstd::apply( func, params );
}

просто замінити notstdз , stdколи ваші оновлення компілятора і боб ваш дядько.


std::apply<- музика до моїх вух
Flexo

@Flexo Лише трохи коротший index_uptoта менш гнучкий. ;) Спробуйте зателефонувати funcз аргументами назад index_uptoі std::applyвідповідно. Справді, хто чорт хоче викликати функцію з кортежу назад.
Якк - Адам Невраумон

Незначна точка: std::tuple_size_vце C ++ 17, тому для рішення C ++ 14, яке доведеться замінити наtypename std::tuple_size<foo>::value
basteln

@basteln Я сподіваюся, що valueце не тип. Але виправлено як завгодно.
Якк - Адам Невраумон

@Yakk Ні, так sizeof...(Types). Мені подобається ваше рішення без того typename.
basteln

3

Думаючи про проблему ще на основі наведеної відповіді, я знайшов інший спосіб вирішення цієї ж проблеми:

template <int N, int M, typename D>
struct call_or_recurse;

template <typename ...Types>
struct dispatcher {
  template <typename F, typename ...Args>
  static void impl(F f, const std::tuple<Types...>& params, Args... args) {
     call_or_recurse<sizeof...(Args), sizeof...(Types), dispatcher<Types...> >::call(f, params, args...);
  }
};

template <int N, int M, typename D>
struct call_or_recurse {
  // recurse again
  template <typename F, typename T, typename ...Args>
  static void call(F f, const T& t, Args... args) {
     D::template impl(f, t, std::get<M-(N+1)>(t), args...);
  }
};

template <int N, typename D>
struct call_or_recurse<N,N,D> {
  // do the call
  template <typename F, typename T, typename ...Args>
  static void call(F f, const T&, Args... args) {
     f(args...);
  }
};

Що вимагає змінити реалізацію delayed_dispatch()на:

  void delayed_dispatch() {
     dispatcher<Args...>::impl(func, params);
  }

Це спрацьовує шляхом рекурсивного перетворення std::tupleвласного права в пакет параметрів. call_or_recurseпотрібна як спеціалізація для припинення рекурсії з реальним викликом, який просто розпаковує завершений пакет параметрів.

Я не впевнений, що це в будь-якому випадку є "кращим" рішенням, але це інший спосіб думати і вирішувати це.


Як інше альтернативне рішення, яке ви можете використовувати enable_if, щоб сформувати щось, можливо, простіше, ніж моє попереднє рішення:

#include <iostream>
#include <functional>
#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...);

  template <typename ...Actual>
  typename std::enable_if<sizeof...(Actual) != sizeof...(Args)>::type
  delayed_dispatch(Actual&& ...a) {
    delayed_dispatch(std::forward<Actual>(a)..., std::get<sizeof...(Actual)>(params));
  }

  void delayed_dispatch(Args ...args) {
    func(args...);
  }
};

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();
}

Перше перевантаження просто бере ще один аргумент з кортежу і вкладає його в пакет параметрів. Друга перевантаження приймає відповідний пакет параметрів, а потім здійснює реальний дзвінок, при цьому перша перевантаження вимикається в одному і єдиному випадку, коли друга буде життєздатною.


1
Я працював над чимось жахливо подібним до цього деякий час назад. Якщо я встигну, я ще раз погляну і побачу, як він порівняється з поточними відповідями.
Майкл Прайс

@MichaelPrice - виключно з точки зору навчання, мені було б цікаво побачити будь-які альтернативні рішення, які не зводяться до якогось жахливого хак-ботчінгу покажчика стека (або аналогічно називаючи конкретні хитрощі конвенції).
Flexo

2

Моя варіація рішення від Йоганнеса, використовуючи C ++ 14 std :: index_sequence (і тип повернення функції як параметр шаблону RetT):

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

    save_it_for_later(RetT (*f)(Args...), std::tuple<Args...> par) : func { f }, params { par } {}

    RetT delayed_dispatch()
    {
        return callFunc(std::index_sequence_for<Args...>{});
    }

    template<std::size_t... Is>
    RetT callFunc(std::index_sequence<Is...>)
    {
        return func(std::get<Is>(params) ...);
    }
};

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

int testTuple(void)
{
  std::tuple<int, float, double> t = std::make_tuple(1, 1.2, 5);
  save_it_for_later<double, int, float, double> saved (&foo, t);
  cout << saved.delayed_dispatch() << endl;
  return 0;
}

Всі ці рішення можуть вирішити початкову проблему, але, чесно кажучи, хлопці, хіба цей шаблон не йде в неправильний бік - з точки зору простоти та ремонтопридатності ?
xy

Я думаю, що шаблони стали набагато кращими та зрозумілішими за допомогою C ++ 11 та 14. Кілька років тому, коли я подивився на те, що роблять шаблони із шаблонами під капотом, я по-справжньому зневірився. Я погоджуюся, що розробити хороші шаблони значно складніше, ніж просто використовувати їх.
schwart

1
@xy По-перше, з точки зору складності шаблону, це нічого . По-друге, більшість шаблонів помічників - це початкова інвестиція за тону часу, заощадженого при інстанцізації їх пізніше. І нарешті, що, ви б не мали можливості робити те, що шаблони дозволяють вам робити? Ви можете просто не використовувати його і не залишати невідповідних коментарів, які, здається, піддають поліції інших програмістів.
підкреслюйте_30
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.