强制模板<class>从BaseClassA派生?</class>

时间:2011-02-13 13:53:38

标签: c++ templates inheritance

是否存在强制模板来自某个基类的可能性,所以我可以调用基类函数?

template <class T>
void SomeManager::Add(T)
{
    T->CallTsBaseClassFunction();
    //... do other stuff
}

3 个答案:

答案 0 :(得分:22)

当然,您可以将类型特征与SFINAE结合使用:

#include <type_traits>

template <class T>
typename std::enable_if<std::is_base_of<your_base_class, T>::value, void>::type
SomeManager::Add(T)
{
    T->CallTsBaseClassFunction();
    //... do other stuff
}

虽然我并没有真正看到这里的好处。

答案 1 :(得分:7)

最简单的解决方案是添加一段代码,只有在符合预期时才编译:

template <class T>
void SomeManager::Add(T t)
{
    assert((Base const*)&t); // T must inherit from Base to allow T*->Base* conversion.
    t.CallTsBaseClassFunction();
    //... do other stuff
}

答案 2 :(得分:2)

值得一提的是,可以在编译时使用static_assert以更具可读性的方式完成此操作。符合以下条件的

class Base {};

template<class B>
class Template{
    static_assert(std::is_base_of<Base, B>::value, "B must derive from nmspc::Base");
}

即使B恰好是Base,它也可以工作。 如果Base本身是模板化的类,它将变得更加复杂,但仍然可以完成,并且有大量的在线资源。