C++17 class template partial deduction

by

From this excellent trip report by Botond Ballo:

The feature as originally proposed included a provision for partial deduction, where you explicitly specify some of the template arguments, and leave the rest to be deduced, but this was pulled over concerns that it can be very confusing in some cases:

// Would have deduced tuple<int, string, float>,
// but tuple<int> is a well-formed type in and of itself!
tuple<int> t(42, "waldo", 2.0f);

More Related Contents:

  1. Advantages of auto in template parameters in C++17
  2. What are template deduction guides and when should we use them?
  3. constexpr if and static_assert
  4. Deducing first template argument with other template parameters defaulted
  5. Variadic deduction guide not taken by g++, taken by clang++ – who is correct?
  6. Restrict variadic template arguments
  7. Will I be able to declare a constexpr lambda inside a template parameter?
  8. Can I use the result of a C++17 captureless lambda constexpr conversion operator as a function pointer template non-type argument?
  9. Check if a type is passed in variadic template parameter pack
  10. Templated check for the existence of a class member function?
  11. How does `void_t` work
  12. using extern template (C++11)
  13. SFINAE working in return type but not as template parameter
  14. C++ syntax for explicit specialization of a template function in a template class?
  15. Template deduction for function based on its return type?
  16. Can you make custom operators in C++?
  17. Why is std::iterator deprecated?
  18. Do c++ templates make programs slow?
  19. How to make a variadic is_same?
  20. Understanding (simple?) C++ Partial Template Specialization
  21. Does reinterpret_cast lead to undefined behavior?
  22. using SFINAE for template class specialisation
  23. How to prevent non-specialized template instantiation?
  24. Why does the template-id in “A=0” not compile without space because of the greater-or-equal-than operator “>=”?
  25. Specializing a template on a lambda in C++0x
  26. Convert std::variant to another std::variant with super-set of types
  27. Default template argument and partial specialization
  28. friend declaration declares a non-template function [duplicate]
  29. how to do an if else depending type of type in c++ template? [duplicate]
  30. Template specialization based on inherit class

Leave a Comment