récursive variadic template pour imprimer le contenu d'un paramètre pack

Comment est-il possible de créer un circuit variadic template pour imprimer le contenu d'un paramater pack?
Je suis en train d'essayer avec cela, mais il ne parvient pas à compiler:

template <typename First, typename ...Args>
std::string type_name () {
    return std::string(typeid(First).name()) + " " + type_name<Args...>();
}
std::string type_name () {
    return "";
}

Comment puis-je mettre fin à la récursivité?

InformationsquelleAutor Gabor Marton | 2011-08-19
  1. 38

    Vous avez besoin pour l'utilisation partielle de la spécialisation à la fin de la récursivité, mais puisque vous ne pouvez pas partiellement spécialiser libre les fonctions en C++, vous devez créer une classe d'implémentation d'une fonction membre statique.

    template <typename... Args>
struct Impl;

template <typename First, typename... Args>
struct Impl<First, Args...>
{
  static std::string name()
  {
    return std::string(typeid(First).name()) + " " + Impl<Args...>::name();
  }
};

template <>
struct Impl<>
{
  static std::string name()
  {
    return "";
  }
};

template <typename... Args>
std::string type_name()
{
    return Impl<Args...>::name();
}

int main()
{
  std::cout << type_name<int, bool, char, double>() << std::endl; //"i b c d"
  return 0;
}

    Que la première déclaration de Impl est juste une solution de contournement pour un défaut dans g++ 4.6 (et ci-dessous). Il ne sera pas nécessaire une fois qu'il met en œuvre variadic templates correctement.

    Check it out dans l'action au ideone.com

    • La solution de contournement lien que vous citez est mort. Pouvez-vous expliquer la bonne façon de le faire sans une poussette g++?
    • Cette solution de contournement est également nécessaire pour Clang sur Mac
    • Bien que cette réponse est correcte, il est obsolète. Une approche plus simple possible, voir les autres réponses.
    InformationsquelleAutor Peter Alexander
  2. 39

    Il y a en fait un moyen très élégant à la fin de la récursivité:

    template <typename Last>
std::string type_name () {
    return std::string(typeid(Last).name());
}

template <typename First, typename Second, typename ...Rest>
std::string type_name () {
    return std::string(typeid(First).name()) + " " + type_name<Second, Rest...>();
}

    J'ai d'abord essayé template <typename Last> et template <typename First, typename ...Rest> mais qui a été jugée ambiguë (le Reste peut être égal à zéro les éléments). Cette question m'a montré la solution définitive: Erreur de Compilation sur Récursive Variadic Template de Fonction

    Note, pour éviter un peu de la duplication de code, vous pouvez aussi faire:

    template <typename Last>
std::string type_name () {
    return std::string(typeid(Last).name());
}

template <typename First, typename Second, typename ...Rest>
std::string type_name () {
    return type_name<First>() + " " + type_name<Second, Rest...>();
}
    • Ce doit être la accepté de répondre.
    • Notez que cela ne fonctionne pas si le paramètre pack est vide, mais sinon, une très belle solution.
    • il suffit d'ajouter un 3ème surcharge pour le vide (si vous en voulez un)
    InformationsquelleAutor Aberrant
  3. 13

    Comme une alternative à la non-existant partielle de la spécialisation des fonctions, vous pouvez utiliser la surcharge sur un typifier classe:

    #include <string>
#include <iostream>
#include <typeinfo>

template <unsigned int N> struct NumberToType { };

template <typename T>
std::string my_type_name(NumberToType<0> = NumberToType<0>())
{
  return std::string(typeid(T).name());
}

template <typename T, typename ...Args>
std::string my_type_name(NumberToType<sizeof...(Args)> = NumberToType<sizeof...(Args)>())
{
  return std::string(typeid(T).name()) + " " + my_type_name<Args...>(NumberToType<sizeof...(Args)-1>());
}

int main()
{
  std::cout << my_type_name<int, double, char>() << std::endl;
}
    InformationsquelleAutor Kerrek SB
  4. 4

    Comme alternative, vous pouvez décompresser le paramètre pack en place, comme dans l'exemple suivant:

    #include<string>
#include<iostream>
#include<typeinfo>

template <typename T, typename ...Args>
std::string type_name () {
    std::string str = typeid(T).name();
    int arr[] = { 0, (str += std::string{" "} + typeid(Args).name(), 0)... };
    (void)arr;
    return str;
}

int main() {
    auto str = type_name<int, double, char>();
    std::cout << str << std::endl;
}

    La récursivité n'est pas nécessaire en fait de le faire.

    • erreur de compilation à cause constexpr déclaration de fonction (VS2015 mise à Jour 3). Toutes les compiler, si elle sera supprimée
    • je compile avec /std:c++latest , c'est à dire prend en charge C++17. Les erreurs sont: Error C3250 'str': declaration is not allowed in 'constexpr' function body et Error C3250 'arr': declaration is not allowed in 'constexpr' function body
    • Code mis à jour. Je vous remercie.
    InformationsquelleAutor skypjack