Can a class member function template be virtual?

by

Templates are all about the compiler generating code at compile-time. Virtual functions are all about the run-time system figuring out which function to call at run-time.

Once the run-time system figured out it would need to call a templatized virtual function, compilation is all done and the compiler cannot generate the appropriate instance anymore. Therefore you cannot have virtual member function templates.

However, there are a few powerful and interesting techniques stemming from combining polymorphism and templates, notably so-called type erasure.

More Related Contents:

  1. Why can templates only be implemented in the header file?
  2. Where and why do I have to put the “template” and “typename” keywords?
  3. Why do I have to access template base class members through the this pointer?
  4. What is the curiously recurring template pattern (CRTP)?
  5. What are template deduction guides and when should we use them?
  6. Template specialization of particular members?
  7. Why doesn’t a derived template class have access to a base template class’ identifiers?
  8. Is the ‘override’ keyword just a check for a overridden virtual method?
  9. Variadic function template with pack expansion not in last parameter
  10. How to pass a template function in a template argument list
  11. Restrict variadic template arguments
  12. Why do two functions have the same address?
  13. Template function inside template class
  14. Officially, what is typename for?
  15. Splitting templated C++ classes into .hpp/.cpp files–is it possible?
  16. What exactly is the “immediate context” mentioned in the C++11 Standard for which SFINAE applies?
  17. Why is the template argument deduction not working here?
  18. Specifying one type for all arguments passed to variadic function or variadic template function w/out using array, vector, structs, etc?
  19. Identifying primitive types in templates
  20. Is there any difference between “T” and “const T” in template parameter?
  21. C++ convert integer to string at compile time
  22. Specify template parameters at runtime
  23. Lambda expressions as class template parameters
  24. When do extra parentheses have an effect, other than on operator precedence?
  25. Using export keyword with templates
  26. Default template parameter partial specialization
  27. std::remove_const with const references
  28. Obtain container type from (its) iterator type in C++ (STL)
  29. Mechanism of Vptr and Vtable in C++
  30. How does std::forward receive the correct argument?

Leave a Comment