recursive variadic template to print out the contents of a parameter pack

by

There’s actually a very elegant way to end the recursion:

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...>();
}

I initially tried template <typename Last> and template <typename First, typename ...Rest> but that was considered ambiguous (Rest can be zero elements). This question then showed me the definitive solution: Compilation Error on Recursive Variadic Template Function

Note, to avoid a bit of code duplication, you could also do:

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...>();
}

More Related Contents:

  1. Determining complexity for recursive functions (Big O notation)
  2. Tower of Hanoi: Recursive Algorithm
  3. What is recursion and when should I use it?
  4. “application: not a procedure” in binary arithmetic procedures
  5. Pretty-print std::tuple
  6. How to call a function on all variadic template args?
  7. How do I get the argument types of a function pointer in a variadic template class?
  8. count the number of calls of a clause
  9. Calling a function for each variadic template argument and an array
  10. Check at Compile-Time if Template Argument is void
  11. How to store variadic template arguments?
  12. How to make generic computations over heterogeneous argument packs of a variadic template function?
  13. Is it possible to “store” a template parameter pack without expanding it?
  14. How to create the Cartesian product of a type list?
  15. Parameter pack must be at the end of the parameter list… When and why?
  16. Can someone please explain the “indices trick”?
  17. Expansion with variadic templates [duplicate]
  18. C++ parameter pack, constrained to have instances of a single type?
  19. Variadic templates
  20. What is the easiest way to print a variadic parameter pack using std::ostream?
  21. Check traits for all variadic template arguments
  22. How can I iterate over a packed variadic template argument list?
  23. Examples of Recursive functions [closed]
  24. Variadic function template with pack expansion not in last parameter
  25. How can I expand call to variadic template base classes?
  26. how to avoid undefined execution order for the constructors when using std::make_tuple
  27. Is there a way to write make_unique() in VS2012?
  28. template parameter packs access Nth type and Nth element
  29. Which recursive functions cannot be rewritten using loops? [duplicate]
  30. using declaration in variadic template

Leave a Comment