Default template arguments for function templates

by

It makes sense to give default template arguments. For example you could create a sort function:

template<typename Iterator, 
         typename Comp = std::less<
            typename std::iterator_traits<Iterator>::value_type> >
void sort(Iterator beg, Iterator end, Comp c = Comp()) {
  ...
}

C++0x introduces them to C++. See this defect report by Bjarne Stroustrup: Default Template Arguments for Function Templates and what he says

The prohibition of default template arguments for function templates is a misbegotten remnant of the time where freestanding functions were treated as second class citizens and required all template arguments to be deduced from the function arguments rather than specified.

The restriction seriously cramps programming style by unnecessarily making freestanding functions different from member functions, thus making it harder to write STL-style code.

More Related Contents:

  1. C++11 does not deduce type when std::function or lambda functions are involved
  2. Why can’t the template argument be deduced when it is used as template parameter to another template?
  3. Why can’t I use float value as a template parameter?
  4. Explicit specialization in non-namespace scope [duplicate]
  5. Explicit template instantiation – when is it used?
  6. Accessing inherited variable from templated parent class [duplicate]
  7. SFINAE to check for inherited member functions
  8. Passing a variable as a template argument
  9. C++17 class template partial deduction
  10. How can I declare a member vector of the same class?
  11. How does the standard library implement std::swap?
  12. check if member exists using enable_if
  13. Inheritance and templates in C++ – why are inherited members invisible?
  14. Template specialization of a single method from a templated class
  15. Template class with template container
  16. Expansion with variadic templates [duplicate]
  17. Why can’t templates be within extern “C” blocks?
  18. Get index of a tuple element’s type?
  19. Best introduction to C++ template metaprogramming? [closed]
  20. Reason for using non-type template parameter instead of regular parameter?
  21. Template default arguments
  22. 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?
  23. compile time loops
  24. Class template for numeric types
  25. C++ class with template member variable
  26. C++ Template Metaprogramming – Is it possible to output the generated code?
  27. templated typedef?
  28. Templates: template function not playing well with class’s template member function [duplicate]
  29. Concatenate compile-time strings in a template at compile time?
  30. using extern template (C++11) to avoid instantiation

Leave a Comment