Template type deduction in C++ for Class vs Function?

by

In specific cases you could always do like std::make_pair:

template<class T>
make_foo(T val) {
    return foo<T>(val);
}

EDIT: I just found the following in “The C++ Programming Language, Third Edition”, page 335. Bjarne says:

Note that class template arguments are
never deduced. The reason is that the
flexibility provided by several
constructors for a class would make
such deduction impossible in many
cases and obscure in many more.

This is of course very subjective. There’s been some discussion about this in comp.std.c++ and the consensus seems to be that there’s no reason why it couldn’t be supported. Whether it would be a good idea or not is another question…

More Related Contents:

  1. How to create a template function within a class? (C++)
  2. Is it possible to pass a class as an argument of a function in C++
  3. Optimization code for a debug function (c++11 with templates) [closed]
  4. Questions regarding constructors
  5. Splitting templated C++ classes into .hpp/.cpp files–is it possible?
  6. How to convert a lambda to an std::function using templates
  7. How do you pass a member function pointer?
  8. templates: parent class member variables not visible in inherited class
  9. using std::is_same, why my function still can’t work for 2 types
  10. How to cin values into a vector
  11. Do class functions/variables have to be declared before being used?
  12. Why use a const member function?
  13. C++ inherit from multiple base classes with the same virtual function name
  14. c++ –
  15. Class template with template class friend, what’s really going on here?
  16. C++ class with template member variable
  17. is it possible to make function that will accept multiple data types for given argument?
  18. Why the initializer of std::function has to be CopyConstructible?
  19. Why do two functions have the same address?
  20. Pointing to a function that is a class member – GLFW setKeycallback
  21. Switch passed type from template
  22. Explicit specialization in non-namespace scope does not compile in GCC
  23. Is it possible to avoid repeating the class name in the implementation file?
  24. Different ways of initializing an object in c++
  25. Do c++ templates make programs slow?
  26. How to make a variadic is_same?
  27. Understanding (simple?) C++ Partial Template Specialization
  28. Does reinterpret_cast lead to undefined behavior?
  29. Class inherited from class without default constructor
  30. Compile-time constant id

Leave a Comment