1

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

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);
4

2 回答 2

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>(/*...*/);
于 2013-11-08T14:18:18.310 回答
1

您需要将其TemplatedClass<DerivedClass*>转换为TemplatedClass<BaseClass *>，因为它们是独立的类型。最好的方法是有构造函数，像这样：

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

看起来你正在尝试制作类似智能指针的东西，你应该看看它是如何在std::shared_ptror上完成的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看看它是如何在那里完成的。

于 2013-11-08T14:08:53.863 回答