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


255

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

Ответы:


62

Решение 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 все еще отсутствует в этой теме. РЕДАКТИРОВАТЬ: Нет, это на самом деле там в ответе Уолтера.

Эта функция дается:

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: ты хочешь получить что-то подобное здесь ?
Дэвид Хай

спасибо, у меня есть 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

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
Йоханнес, я понимаю, что прошло уже более двух лет с тех пор, как вы опубликовали это, но я борюсь с одной проблемой - это 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

44

Это полная компилируемая версия решения Йоханнеса по вопросу awoodland, в надежде, что оно кому-нибудь пригодится. Это было протестировано с моментальным снимком g ++ 4.7 в Debian squeeze.

###################
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 Я думаю, они не нужны. Я забыл, почему я добавил их; Прошло почти три года. Но я полагаю, чтобы показать, что создание экземпляров работает.
Фахим Митха

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. Хаотический зоопарк integer_sequenceи index_sequenceвспомогательные типы в C ++ 14 объясняются здесь: en.cppreference.com/w/cpp/utility/integer_sequence Обратите внимание на заметное отсутствие std::make_index_sequence(Args...), поэтому Уолтер был вынужден использовать более синтаксический синтаксис std::index_sequence_for<Args...>{}.
Quuxplusone

3
И, очевидно, проголосовал за C ++ 17 с 3/2016 как std :: apply (func, tup): en.cppreference.com/w/cpp/utility/apply
ddevienne

18

Это немного сложно достичь (хотя это возможно). Я советую вам использовать библиотеку, где это уже реализовано, а именно Boost.Fusion ( функция invoke ). В качестве бонуса 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когда ваш компилятор обновится, а bob станет вашим дядей.


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это не тип. Но исправлено в любом случае.
Якк - Адам Невраумонт

@ Якк Нет, это так sizeof...(Types). Мне нравится ваше решение без typename.
Бастельн

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. Несколько лет назад, когда я посмотрел, что делает повышение с шаблонами под капотом, я очень расстроился. Я согласен, что разработка хороших шаблонов значительно сложнее, чем их использование.
Шварт

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