Variadic template pack expansion

by

One of the places where a pack expansion can occur is inside a braced-init-list. You can take advantage of this by putting the expansion inside the initializer list of a dummy array:

template<typename... Args>
static void foo2(Args &&... args)
{
    int dummy[] = { 0, ( (void) bar(std::forward<Args>(args)), 0) ... };
}

To explain the content of the initializer in more detail:

{ 0, ( (void) bar(std::forward<Args>(args)), 0) ... };
  |       |       |                        |     |
  |       |       |                        |     --- pack expand the whole thing 
  |       |       |                        |   
  |       |       --perfect forwarding     --- comma operator
  |       |
  |       -- cast to void to ensure that regardless of bar()'s return type
  |          the built-in comma operator is used rather than an overloaded one
  |
  ---ensure that the array has at least one element so that we don't try to make an
     illegal 0-length array when args is empty

Demo.

An important advantage of expanding in {} is that it guarantees left-to-right evaluation.

With C++17 fold expressions, you can just write

((void) bar(std::forward<Args>(args)), ...);

More Related Contents:

  1. C++11: I can go from multiple args to tuple, but can I go from tuple to multiple args? [duplicate]
  2. Calling a function for each variadic template argument and an array
  3. Is it possible to “store” a template parameter pack without expanding it?
  4. Parameter pack must be at the end of the parameter list… When and why?
  5. How to reverse the order of arguments of a variadic template function?
  6. What does this variadic template code do?
  7. Expansion with variadic templates [duplicate]
  8. C++ parameter pack, constrained to have instances of a single type?
  9. Variadic templates
  10. What is the easiest way to print a variadic parameter pack using std::ostream?
  11. Variadic function template with pack expansion not in last parameter
  12. How can I expand call to variadic template base classes?
  13. How to make a variadic is_same?
  14. Is there a way to write make_unique() in VS2012?
  15. How to combine std::bind(), variadic templates, and perfect forwarding?
  16. Check if a class has a member function of a given signature
  17. std::enable_if to conditionally compile a member function
  18. Pretty-print std::tuple
  19. Selecting a member function using different enable_if conditions
  20. When to use std::forward to forward arguments?
  21. check variadic templates parameters for uniqueness
  22. How to make generic computations over heterogeneous argument packs of a variadic template function?
  23. Can someone please explain the “indices trick”?
  24. SFINAE works differently in cases of type and non-type template parameters
  25. Can the point-of-instantiation be delayed until the end of the translation unit?
  26. How to pass a template function in a template argument list
  27. Generating one class member per variadic template argument
  28. Specialized template function with deleted “general” case fails to compile with g++
  29. How does std::forward receive the correct argument?
  30. Why can’t I use alias from a base class in a derived class with templates?

Leave a Comment