276

さまざまな数の値を保存しようとして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または可変個引数テンプレートに関連する問題については、すべての型を 1 つずつ再帰的に評価するような別のテンプレートを作成template <typename Head, typename ...Tail>しますが、関数呼び出しをディスパッチするためにそれを行う方法がわかりません。

これの本当の動機はもう少し複雑で、とにかくほとんどがただの学習演習です。別のインターフェイスから契約によってタプルを渡されたので、変更することはできませんが、それを関数呼び出しにアンパックしたいという願望は私のものであると想定できます。これstd::bindは、根本的な問題を回避する安価な方法として使用することを除外します.

を使用して呼び出しをディスパッチするクリーンな方法std::tuple、または任意の将来のポイントまでいくつかの値と関数ポインターを保存/転送するという同じ最終結果を達成する別のより良い方法は何ですか?

4

8 に答える 8

282

数値のパラメーター パックを作成し、それらを展開する必要があります。

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) ...);
  }
// ...
于 2011-10-22T10:52:09.640 に答える
45

これはawoodland の質問に対するJohannes の解決策の完全なコンパイル可能なバージョンであり、誰かにとって役立つことを願っています。これは、Debian スクイーズで g++ 4.7 のスナップショットを使用してテストされました。

###################
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
于 2012-02-15T05:55:43.123 に答える
18

これを達成するのは少し複雑です (可能ではありますが)。これが既に実装されているライブラリ、つまりBoost.Fusion ( invoke関数) を使用することをお勧めします。おまけとして、Boost Fusion は C++03 コンパイラでも動作します。

于 2011-10-22T10:44:49.803 に答える
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 つの引数を取得し、それをパラメーター パックに入れます。2 番目のオーバーロードは、一致するパラメーター パックを受け取り、実際の呼び出しを行います。最初のオーバーロードは、2 番目のオーバーロードが実行可能な唯一のケースで無効になります。

于 2011-10-22T13:55:26.790 に答える
2

C++ 14 std::index_sequence (およびテンプレート パラメーター RetT としての関数の戻り値の型) を使用した Johannes からのソリューションの私のバリエーション:

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;
}
于 2015-09-23T10:43:25.197 に答える