模板与继承

Question

如果我有一个基类及其层次结构：

class BaseClass {
}

class DerivedClass : public BaseClass {
}

还有一个模版类：

template <class T> struct TemplatedClass {
}

我怎样才能做到这一点？

// 1:
void doSomething(TemplatedClass<BaseClass *> const &t);

// 2:
std::vector<TemplatedClass<BaseClass *>> v;

TemplatedClass<DerivedClass *> a;

// Doesn't compile
doSomething(a);

// Doesn't compile
v.push_back(a);

Answer 1

您需要将TemplatedClass<DerivedClass*>转换为TemplatedClass<BaseClass *>，因为它们是独立的类型。最好的方法是构造函数，如下所示：

template <class T> struct TemplatedClass {
    template<class P> TemplatedClass( const TemplatedClass<P> &an );
};

看起来您正在尝试制作类似智能指针的东西，您应该看看它是如何在std::shared_ptr或boost::shared_ptr上完成的。如果计划在生产中使用此代码并/或与您的团队共享该代码，则可能需要对传递给此ctor的数据类型进行额外的检查：

template <class T> struct TemplatedClass {
    template<class P, class = typename std::enable_if<std::is_convertible<P, T>{}>::type>
    TemplatedClass( const TemplatedClass<P> &an );
};

同样，最好的方法是查看shared_ptr的来源，并查看它是如何在那里完成的。

Answer 2

您也可以让模板化的类具有层次结构。但是，您需要指定基本内容：

template <typename...>
struct TC;

template <>
struct TC<> {
    virtual ~TC() {}
};
template <typename T, typename... B>
struct TC
    : TC<B...> {
    // ...
};

使用继承的变量参数，这应该允许您指定模板之间的关系，以模拟底层的继承层次结构。例如：

TC<Base>* d = new TC<Derived, Base>(/*...*/);