Variadic function template with pack expansion not in last parameter

by

Because when a function parameter pack is not the last parameter, then the template parameter pack cannot be deduced from it and it will be ignored by template argument deduction.

So the two arguments 0, 0 are compared against , int, yielding a mismatch.

Deduction rules like this need to cover many special cases (like what happens when two parameter packs appear next to each other). Since parameter packs are a new feature in C++11, the authors of the respective proposal drafted the rules conservatively.

Note that a trailing template parameter pack will be empty if it is not otherwise deduced. So when you call the constructor with one argument, things will work (notice the difference of template parameter pack and function parameter pack here. The former is trailing, the latter is not).

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. How can I expand call to variadic template base classes?
  13. How to pass a template function in a template argument list
  14. How to make a variadic is_same?
  15. Is there a way to write make_unique() in VS2012?
  16. How to combine std::bind(), variadic templates, and perfect forwarding?
  17. Optimization code for a debug function (c++11 with templates) [closed]
  18. C++11 does not deduce type when std::function or lambda functions are involved
  19. trailing return type using decltype with a variadic template function
  20. When to use std::forward to forward arguments?
  21. check variadic templates parameters for uniqueness
  22. SFINAE works differently in cases of type and non-type template parameters
  23. Can the point-of-instantiation be delayed until the end of the translation unit?
  24. Default template argument when using std::enable_if as templ. param.: why OK with two template functions that differ only in the enable_if parameter?
  25. Why the initializer of std::function has to be CopyConstructible?
  26. Interfacing C++11 array with Cython
  27. templated typedef?
  28. std::enable_if : parameter vs template parameter
  29. Concatenate compile-time strings in a template at compile time?
  30. using extern template (C++11) to avoid instantiation

Leave a Comment