给定下面的代码,编译器显示一条消息指出该错误:模板可能不是“虚拟”.有谁有一个建议如何解决这个bug?
template < class FOO_TYPE> class CFoo{ public: ... template < class BAR_TYPE > virtual void doSomething( const CBar<BAR_TYPE> &); // here's the error ... virtual ~CFoo(); protected: MyClass < FOO_TYPE > * m_pClass; }; template < class FOO_TYPE > template < class BAR_TYPE > void CFoo<FOO_TYPE>::doSomething( const CBar<BAR_TYPE> & refBar ){ ... }
解决方法
@H_404_7@ 看到为什么这是非法的最简单的理由是考虑vtable.当然,这只是一个常见的实现,其他的是允许的.但是C中的所有虚拟函数都被设计成可以使用vtable来实现.现在,CFoo< int>的vtable中有多少条目?是否有doSomething< float>的条目?和doSomething< float *>?和doSomething< float **> ?诸如这些模板允许生成无限集的函数.通常这是没有问题的,因为你只使用一个有限的子集,但对于虚拟函数,这个子集是不知道的,因此vtable将需要是无限的.
现在,您真的只想在vtable中只有一个条目.在这种情况下,你会写下如下:
template < class FOO_TYPE,class BAR_TYPE> class CFoo{ public: ... virtual void doSomething( const CBar<BAR_TYPE> &); // now OK. ... virtual ~CFoo(); protected: MyClass < FOO_TYPE > * m_pClass; };
这意味着CFoo的< int&float>将有一个条目,用于doSomething(float const&).