Comment passer d'un tuple à un tuple de références aux éléments du tuple ?

Question

J'ai un tuple C++11, et je voudrais obtenir un tuple de std::reference_wrapper aux mêmes éléments du tuple. Existe-t-il un moyen simple de le faire ?

Gracias

Answer 1

La mise en correspondance d'un tuple est facile étant donné un paquet d'indices par exemple :

#include <tuple>
#include <functional>
#include <iostream>

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

// The above are taken from https://stackoverflow.com/q/7858817

En utilisant les indices, nous pourrions appliquer std::ref à chaque élément du tuple en utilisant std::get :

template <int... s, typename Tuple>
auto ref_tuple_impl(Seq<s...> seq, Tuple& tup)
-> std::tuple<
    std::reference_wrapper<
        typename std::tuple_element<s, Tuple>::type
    >...
>
{
    return std::make_tuple(std::ref(std::get<s>(tup))...);
}

template <typename Tuple>
auto ref_tuple(Tuple& tup)
    -> decltype( ref_tuple_impl(typename Gens<std::tuple_size<Tuple>::value>::Type>(), tup) )
{
    return ref_tuple_impl(typename Gens<std::tuple_size<tuple>::value>::Type(), tup);
}

Démonstration d'utilisation :

int main() {
    auto t = std::make_tuple(1, 4.5, "66");
    auto rt = ref_tuple(t);

    std::get<0>(rt).get() = 123;
    std::get<1>(rt).get() = 5.67;
    std::get<2>(rt).get() = "34";

    std::cout << std::get<0>(t) << std::endl;
    std::cout << std::get<1>(t) << std::endl;
    std::cout << std::get<2>(t) << std::endl;
}