如果模板包含虚拟功能，它安全吗？

Question

模板的早期绑定和虚拟函数的后期绑定。因此，如果一个模板包含虚拟功能，是否安全？

template<typename T> 
class base { 
public: 
    T data; 
    virtual void fn(T t){} 
}; 

Answer 1

这是完全安全的。一旦你实例化类模板，它就像其他类一样成为普通类。

template<typename T> 
class base { 
public: 
    T data; 
    virtual void fn(T t){} 
}; 


class derived : base<int> { 
public: 
    virtual void fn(int t){} //override 
}; 

base<int> *pBase = new derived(); 
pBase->fn(10); //calls derived::fn() 

我还要指出的是，虽然它是允许虚拟功能在类模板，这是不允许的虚拟功能模板类内部（如下所示）：

class A 
{ 
    template<typename T> 
    virtual void f(); //error: virtual function template is not allowed 
}; 

Answer 2

有在template类中不存在与virtual函数相关的安全问题。它和正常的class中的virtual函数一样好。

Answer 3

是的，这是相当安全的。你会被具有类使用它从中获得：

class derived : public base<int> { 
    virtual void fn(int) { std::cout << "derived"; } 
}; 

当然，如果它包含任何其他虚拟功能（即，意在作为一个基类），你一般要打dtor也是虚拟的。