c – 派生类中非模板方法的模板方法
发布时间:2020-12-16 09:31:35 所属栏目:百科 来源:网络整理
导读:class A {public: templatetypename T void func(size_t n,T values[]) { ... }};class B : public A {public: void func(size_t n,uint32_t values[]) { ... }}; 为什么函数B :: func()在调用此代码时不优先于函数模板A :: func()? uint32_t values[5];A*
class A { public: template<typename T> void func(size_t n,T values[]) { ... } }; class B : public A { public: void func(size_t n,uint32_t values[]) { ... } }; 为什么函数B :: func()在调用此代码时不优先于函数模板A :: func()? uint32_t values[5]; A* obj = new B(); obj->func(5,values); 解决方法
两个原因 –
>在C中,如果基类函数标记为虚拟,则成员函数仅覆盖基类成员函数.否则,C将两者视为巧合具有相同名称的独立函数.这与Java形成对比,Java中的函数自动覆盖基类函数.>在C中,模板成员函数不能标记为虚拟.这部分是由于最常用的虚函数的实现 – vtables – 与C模板实例化系统相结合. C将不同类型参数的同一模板的所有实例化视为单独的函数,并且懒惰地生成这些实例化.这是vtable实现的一个问题,因为vtable需要静态编译时确定类中不同虚函数的数量,以及对它们的排序.由于模板虚函数意味着类中的未知数和虚函数的排序,因此C不允许这样做. (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |