本文探讨了C++中为何模板化的成员函数不能声明为虚函数，并解释了编译期与运行期之间的区别。此外，还介绍了如何通过类型擦除等技术结合模板与多态。
为什么C++的member function template不能是virtual的
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.
扫一扫
14万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
