Specifying one type for all arguments passed to variadic function or variadic template function w/out using array, vector, structs, etc?

by

You can just accept the arguments by the variadic template and let typechecking check the validity later on when they are converted.

You can check convertibility on the function interface level though, to make use of overload resolution for rejecting outright wrong arguments for example, by using SFINAE

template<typename R, typename...> struct fst { typedef R type; };

template<typename ...Args>
typename fst<void, 
  typename enable_if<
    is_convertible<Args, ToType>::value
  >::type...
>::type 
f(Args...);

For your use-case if you know the steps to go from an std::array<> to your dragon_list_t then you have already solved it though according to the first option above (“convert-later”):

template<typename ...Items>
dragon_list_t make_dragon_list(Items... maidens) {
    std::array<Maiden, sizeof...(Items)> arr = {{ maidens ... }};
    // here be dragons
}

If you combine this with the above is_convertible approach you have a reject-early template that also does overload resolution on arguments and rejects them if not applicable.

More Related Contents:

  1. trailing return type using decltype with a variadic template function
  2. How to reverse the order of arguments of a variadic template function?
  3. using extern template (C++11)
  4. SFINAE working in return type but not as template parameter
  5. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  6. Alias template specialisation
  7. Matching alias template as template argument
  8. What do compilers do with compile-time branching?
  9. How do compilers treat variable length arrays
  10. Doing a static_assert that a template type is another template
  11. void_t “can implement concepts”?
  12. How can I output the value of an enum class in C++11
  13. How Does std::enable_if work?
  14. Forwarding all constructors in C++0x
  15. Lambda expressions as class template parameters
  16. Using export keyword with templates
  17. C++11: Number of Variadic Template Function Parameters?
  18. How to make a variadic is_same?
  19. std::remove_const with const references
  20. Passing a lambda into a function template
  21. templated typedef?
  22. std::enable_if : parameter vs template parameter
  23. std::is_base_of for template classes
  24. Why does overload of template and non-template function with the “same signature” call the non-template function?
  25. Is there a way to write make_unique() in VS2012?
  26. How to combine std::bind(), variadic templates, and perfect forwarding?
  27. Lambdas and std::function
  28. Concatenate compile-time strings in a template at compile time?
  29. using extern template (C++11) to avoid instantiation
  30. Using ‘void’ template arguments in C++

Leave a Comment