一、答案
前者是可以的,后者是不可以的。
#include <iostream>
template <class T>
class Base
{
public:
virtual void f1() { std::cout << "Base'f1 is called." << std::endl; }
virtual void f2() = 0;
};
template <class T>
class Dev : public Base<T>
{
public:
void f1() { std::cout << "Dev'f1 is called." << std::endl; }
void f2() { std::cout << "Dev'f2 is called." << std::endl; }
};
int main()
{
Base<int> *p = new Dev<int>;
p->f1();
return 0;
}
结果
Dev'f1 is called.
二、原因
编译器都期望在处理类的定义的时候就能确定这个类的虚函数表的大小,如果允许有类的虚成员模板函数,那么就必须要求编译器提前知道程序中所有对该类的该虚成员模板函数的调用,而这是不可行的。
(SAW:Game Over!)
本文探讨了C++中模板类与虚函数的交互问题。示例代码展示了一个基类模板包含虚函数,派生类模板重写这些函数的情况。由于编译器需要在编译期间确定虚函数表,故不允许类的虚成员为模板函数。原因是编译器无法预知所有可能的模板实例化,这会导致无法确定虚函数表的大小。
5734

被折叠的 条评论
为什么被折叠?



