How can I expand call to variadic template base classes?

by

Sure. You need a context that permits pack expansion – a simple one is a braced initializer list, which also has the benefit of guaranteeing left-to-right evaluation:

using expander = int[];
(void) expander { 0, ((void) As::id(), 0)... };

  • ... expands a pattern to its left; in this case the pattern is the expression ((void) As::id(), 0).

  • The , in the expression is the comma operator, which evaluates the first operand, discards the result, then evaluates the second operand, and returns the result.

  • The (void) cast on As::id() exists to guard against overloaded operator,, and can be omitted if you are sure that none of the As::id() calls will return something that overloads the comma operator.
  • 0 on the right hand side of the comma operator is because expander is an array of ints, so the whole expression (which is used to initialize an element of the array) must evaluate to an int.
  • The first 0 ensures that we don’t attempt to create an illegal 0-sized array when As is an empty pack.

Demo.

In C++17 (if we are lucky), the entire body of C::id can be replaced with a binary fold expression: (A::id(), ... , (void) As::id()); Demo.

More Related Contents:

  1. Variadic template pack expansion
  2. C++11: I can go from multiple args to tuple, but can I go from tuple to multiple args? [duplicate]
  3. Calling a function for each variadic template argument and an array
  4. Is it possible to “store” a template parameter pack without expanding it?
  5. Parameter pack must be at the end of the parameter list… When and why?
  6. How to reverse the order of arguments of a variadic template function?
  7. What does this variadic template code do?
  8. Expansion with variadic templates [duplicate]
  9. C++ parameter pack, constrained to have instances of a single type?
  10. Variadic templates
  11. What is the easiest way to print a variadic parameter pack using std::ostream?
  12. Variadic function template with pack expansion not in last parameter
  13. How to make a variadic is_same?
  14. C++11 is_same type trait for templates
  15. Is there a way to write make_unique() in VS2012?
  16. How to combine std::bind(), variadic templates, and perfect forwarding?
  17. How to call a function on all variadic template args?
  18. How to initialize std::array elegantly if T is not default constructible?
  19. Why should I avoid std::enable_if in function signatures
  20. Template tuple – calling a function on each element
  21. Is it possible to determine if a type is a scoped enumeration type?
  22. How can I iterate over a packed variadic template argument list?
  23. Template Metaprogramming – Difference Between Using Enum Hack and Static Const
  24. how to avoid undefined execution order for the constructors when using std::make_tuple
  25. Dependent name resolution & namespace std / Standard Library
  26. templated typedef?
  27. std::enable_if : parameter vs template parameter
  28. calculating factorial using template meta-programming
  29. Concatenate compile-time strings in a template at compile time?
  30. using extern template (C++11) to avoid instantiation

Leave a Comment