c – 派生类中非模板方法的模板方法

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不允许这样做.