Why can’t the template argument be deduced when it is used as template parameter to another template?

by

That is non-deducible context. That is why the template argument cannot be deduced by the compiler.

Just imagine if you might have specialized TMap as follows:

template <>
struct TMap<SomeType>
{
    typedef std::map <double, double> Type;
};

How would the compiler deduce the type SomeType, given that TMap<SomeType>::Type is std::map<double, double>? It cannot. It’s not guaranteed that the type which you use in std::map is also the type in TMap. The compiler cannot make this dangerous assumption. There may not any relation between the type arguments, whatsoever.

Also, you might have another specialization of TMap defined as:

template <>
struct TMap<OtherType>
{
    typedef std::map <double, double> Type;
};

This makes the situation even worse. Now you’ve the following:

  • TMap<SomeType>::Type = std::map<double, double>.
  • TMap<OtherType>::Type = std::map<double, double>.

Now ask yourself: given TMap<T>::Type is std::map<double, double>, how would the compiler know whether T is SomeType or OtherType? It cannot even know how many such choices it has, neither can it know the choices themselves…

I’m just asking you for the sake of thought-experiment (assuming it can know the complete set of choices).

More Related Contents:

  1. Why not infer template parameter from constructor?
  2. Specifying one type for all arguments passed to variadic function or variadic template function w/out using array, vector, structs, etc?
  3. Standard Library Containers with additional optional template parameters?
  4. Where and why do I have to put the “template” and “typename” keywords?
  5. Why should the implementation and the declaration of a template class be in the same header file? [duplicate]
  6. What exactly is “broken” with Microsoft Visual C++’s two-phase template instantiation?
  7. Does it make any sense to use inline keyword with templates?
  8. What are template deduction guides and when should we use them?
  9. explicit specialization of template class member function
  10. A better way to avoid public member invisibility and source code bloat/repetition with inherited class templates?
  11. What does template mean?
  12. Why can’t the compiler deduce the template type from default arguments?
  13. How to cin values into a vector
  14. Check if a variable type is iterable?
  15. Can class template constructors have a redundant template parameter list in c++20
  16. Practical Uses for the “Curiously Recurring Template Pattern”
  17. Passing array of structures to function c++
  18. Is there a compiler bug exposed by my implementation of an is_complete type trait?
  19. Template typedefs – What’s your work around?
  20. How to create a template function within a class? (C++)
  21. Deciphering C++ template error messages
  22. Returning a void?
  23. Implicit conversion when overloading operators for template classes
  24. Is casting std::pair const& to std::pair const& safe?
  25. Why do the usual access control checking applies to names used to specify explicit instantiation when accessed through template parameters?
  26. templated typedef?
  27. Templates: template function not playing well with class’s template member function [duplicate]
  28. Is there a way to write make_unique() in VS2012?
  29. Concatenate compile-time strings in a template at compile time?
  30. using extern template (C++11) to avoid instantiation

Leave a Comment