20

私はこのような関数テンプレートを持っています：

template <class ...A>
do_something()
{
  // i'd like to do something to each A::var, where var has static storage
}

使えませんBoost.MPL。再帰せずにこれを行う方法を教えていただけますか？

編集：最近（c ++ 17）、私はこのようにします：

template <class ...A>
do_something()
{
  ((std::cout << A::var << std::endl), ...);
};
4

3 に答える 3

17

Xeoが言ったこと。パック拡張のコンテキストを作成するために、何もしない関数の引数リストを使用しました（dummy）：

#include <iostream>
#include <initializer_list>

template<class...A>
void dummy(A&&...)
{
}

template <class ...A>
void do_something()
{
    dummy( (A::var = 1)... ); // set each var to 1

    // alternatively, we can use a lambda:

    [](...){ }((A::var = 1)...);

    // or std::initializer list, with guaranteed left-to-right
    // order of evaluation and associated side effects

    auto list = {(A::var = 1)...};
}

struct S1 { static int var; }; int S1::var = 0;
struct S2 { static int var; }; int S2::var = 0;
struct S3 { static int var; }; int S3::var = 0;

int main()
{
    do_something<S1,S2,S3>();
    std::cout << S1::var << S2::var << S3::var;
}

このプログラムはを印刷し111ます。

于 2013-03-19T14:18:50.790 に答える
6

例として、各A::varを表示するとします。以下のコードが示すように、これを達成するための3つの方法があります。

オプション2に関しては、要素が処理される順序が標準で指定されていないことに注意してください。

#include <iostream>
#include <initializer_list>

template <int i>
struct Int {
    static const int var = i;
};

template <typename T>
void do_something(std::initializer_list<T> list) {
    for (auto i : list)
        std::cout << i << std::endl;
}

template <class... A>
void expand(A&&...) {
}

template <class... A>
void do_something() {

    // 1st option:
    do_something({ A::var... });

    // 2nd option:
    expand((std::cout << A::var << std::endl)...);

    // 3rd option:
    {
        int x[] = { (std::cout << A::var << std::endl, 0)... };
        (void) x;
    }
}

int main() {
    do_something<Int<1>, Int<2>, Int<3>>();
}
于 2013-03-19T14:52:15.277 に答える
1

上記の答えはうまくいきます-ここでは、複雑なユースケースでラムダを使用する方法についてもう少し詳しく説明します。

ラムダ101： [ capture ]（ params ）{ code }（ args to call "in-place" ）;

可変個引数テンプレートを使用してラムダを展開する場合、パラメーターが自明でないタイプの場合、上記のように機能しません
error: cannot pass object of non-trivial type 'Foo' through variadic method; call will abort at runtime。

進む方法は、コードをラムダargsからcode：に移動することです。

template <class ...A>
do_something() {
  Foo foo;
  [&](auto&& ...var){
    (foo.DoSomething(var), ...);
  }(A::var...);
}
于 2021-10-25T18:34:30.007 に答える