Joli imprimé std :: tuple

Question

C'est une suite à ma question précédente sur l' impression des conteneurs STL, pour lequel nous avons réussi à développer un très élégant et entièrement de solution générale.

---

Dans cette prochaine étape, je voudrais inclure d'impression pour std::tuple<Args...>, à l'aide de variadic templates (si ce n'est strictement C++11). Pour std::pair<S,T>, je dis simplement

std::ostream & operator<<(std::ostream & o, const std::pair<S,T> & p)
{
  return o << "(" << p.first << ", " << p.second << ")";
}

Qu'est-ce que l'analogue de la construction pour l'impression d'un tuple?

J'ai essayé différents bits de l'argument de modèle de pile déballage, en passant indices autour et à l'aide de SFINAE à découvrir quand je suis au dernier élément, mais sans succès. Je ne devrais pas vous importuner avec mon code cassé; la description du problème, je l'espère, straight-forward assez. Essentiellement, je tiens a le comportement suivant:

auto a = std::make_tuple(5, "Hello", -0.1);
std::cout << a << std::endl; // prints: (5, "Hello", -0.1)

Les points Bonus pour le même niveau de généralité (char/wchar_t, paire de délimiteurs) comme la question précédente!

Answer 1

Oui, les indices ~

 namespace aux{
template<std::size_t...> struct seq{};

template<std::size_t N, std::size_t... Is>
struct gen_seq : gen_seq<N-1, N-1, Is...>{};

template<std::size_t... Is>
struct gen_seq<0, Is...> : seq<Is...>{};

template<class Ch, class Tr, class Tuple, std::size_t... Is>
void print_tuple(std::basic_ostream<Ch,Tr>& os, Tuple const& t, seq<Is...>){
  using swallow = int[];
  (void)swallow{0, (void(os << (Is == 0? "" : ", ") << std::get<Is>(t)), 0)...};
}
} // aux::

template<class Ch, class Tr, class... Args>
auto operator<<(std::basic_ostream<Ch, Tr>& os, std::tuple<Args...> const& t)
    -> std::basic_ostream<Ch, Tr>&
{
  os << "(";
  aux::print_tuple(os, t, aux::gen_seq<sizeof...(Args)>());
  return os << ")";
}
 

Exemple en direct sur Ideone.

---

Pour le délimiteur, ajoutez simplement ces spécialisations partielles:

 // Delimiters for tuple
template<class... Args>
struct delimiters<std::tuple<Args...>, char> {
  static const delimiters_values<char> values;
};

template<class... Args>
const delimiters_values<char> delimiters<std::tuple<Args...>, char>::values = { "(", ", ", ")" };

template<class... Args>
struct delimiters<std::tuple<Args...>, wchar_t> {
  static const delimiters_values<wchar_t> values;
};

template<class... Args>
const delimiters_values<wchar_t> delimiters<std::tuple<Args...>, wchar_t>::values = { L"(", L", ", L")" };
 

et changez les operator<< et print_tuple conséquence:

 template<class Ch, class Tr, class... Args>
auto operator<<(std::basic_ostream<Ch, Tr>& os, std::tuple<Args...> const& t)
    -> std::basic_ostream<Ch, Tr>&
{
  typedef std::tuple<Args...> tuple_t;
  if(delimiters<tuple_t, Ch>::values.prefix != 0)
    os << delimiters<tuple_t,char>::values.prefix;

  print_tuple(os, t, aux::gen_seq<sizeof...(Args)>());

  if(delimiters<tuple_t, Ch>::values.postfix != 0)
    os << delimiters<tuple_t,char>::values.postfix;
}
 

Et

 template<class Ch, class Tr, class Tuple, std::size_t... Is>
void print_tuple(std::basic_ostream<Ch, Tr>& os, Tuple const& t, seq<Is...>){
  using swallow = int[];
  char const* delim = delimiters<Tuple, Ch>::values.delimiter;
  if(!delim) delim = "";
  (void)swallow{0, (void(os << (Is == 0? "" : delim) << std::get<Is>(t)), 0)...};
}
 

Answer 2

J'ai eu ce travail d'amende dans le C++11 (gcc 4.7). Il y a je suis sûr que certains pièges, je n'ai pas envisagé, mais je pense que le code est facile à lire et à et pas compliqué. La seule chose qui peut être étrange est la "garde" struct tuple_printer que de nous assurer de mettre fin lorsque le dernier élément est atteint. Autre chose étrange, peut-être sizeof...(Types) qui retourne le nombre de types de Types de type de pack. Il est utilisé pour déterminer l'indice du dernier élément (taille...(Types) - 1).

template<typename Type, unsigned N, unsigned Last>
struct tuple_printer {

    static void print(std::ostream& out, const Type& value) {
        out << std::get<N>(value) << ", ";
        tuple_printer<Type, N + 1, Last>::print(out, value);
    }
};

template<typename Type, unsigned N>
struct tuple_printer<Type, N, N> {

    static void print(std::ostream& out, const Type& value) {
        out << std::get<N>(value);
    }

};

template<typename... Types>
std::ostream& operator<<(std::ostream& out, const std::tuple<Types...>& value) {
    out << "(";
    tuple_printer<std::tuple<Types...>, 0, sizeof...(Types) - 1>::print(out, value);
    out << ")";
    return out;
}

Answer 3

et voici une autre implémentation:

https://github.com/galaxyeye/atlas/blob/master/atlas/io/tuple.h

avec le code de test:

https://github.com/galaxyeye/atlas/blob/master/libs/serialization/test/tuple.cpp

prendre plaisir :)