模板和继承

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

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

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>(/*...*/);

Answer 2

您需要将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来源，看看它是如何在那里完成的。