1. ホーム
  2. c++

[解決済み】一致する関数ポインターを呼び出すためにタプルを「解凍」する

2022-04-03 05:34:19

質問

に格納しようとしています。 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 あるいは、将来の任意の時点まで、いくつかの値と関数ポインタを保存/転送するという、同じ結果を得るための別のより良い方法はありますか?

どのように解決するのですか?

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: いや、実はWalterの答えの中にあるのです。

この関数が与えられています。

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