带有继承的c++模板专门化

Question

以下情况:

class FeatureBase
class Feature1 : public FeatureBase
class FeatureAttrBase
class Feature1Attr : public FeatureAttrbase

FeatureBase包含一个FeatureAttrBase的列表，应该能够创建和管理这些对象。因此，我在FeatureBase上使用了一个模板。

template<class T = FeatureAttrBase> class FeatureBase

创建和管理属性(例如new T())

和子类使用专门化继承

class Feature1 : public FeatureBase<Feature1Attr>

在我代码的其他地方，我写了一个方法

RegisterFeature(FeatureBase<FeatureAttrBase>* feature)

但是编译器给了我一个错误，它无法在Feature1和FeatureBase之间转换。在上述方法中，我只需要使用来自FeatureAttrBase的信息。但是在Feature1中，我需要访问Feature1Attr。

所以问题是如何解决这个问题?我必须更改我的数据结构吗?

Answer 1

模板参数相互继承不会使模板类相互关联。相反，你应该这样做(可能不是最好的解决方案，但你没有指定你要做什么):

class FeatureAttrBase;
class FeatureBase
{
public:
    virtual FeatureAttrBase* GetAttributes() = 0;
};
template<class T>
class FeatureImpl : public FeatureBase
{
    T attr;
public:
    FeatureAttrBase* GetAttributes()
    {
        return &attr;
    }
};
class Feature1Attr : public FeatureAttrBase;
class Feature1 : public FeatureImpl<Feature1Attr>;

实际上，您可能不需要FeatureImpl类，而可以将实现直接放在Feature1类中(并完全摆脱模板)。

Answer 2

可以从FeatureBase<FeatureAttrBase>继承FeatureBase的专门化。像这样:

// Forward declaration
template <typename T>
class FeatureBase;
// Type selecting trait class FeatureBase_BaseClass
// FeatureBase for derived Attrs will inherit from FeatureBase<FeatureAttrBase>
template <typename T>
struct FeatureBase_BaseClass
{
  typedef FeatureBase<FeatureAttrBase> Type;
};
// FeatureBase<FeatureAttrBase> will inherit from a dummy type
template <>
struct FeatureBase_BaseClass<FeatureAttrBase>
{
  struct Type {};
};

// Use FeatureBase_BaseClass to select the proper base class for FeatureBase
template <typename T = FeatureAttrBase>
class FeatureBase : public FeatureBase_BaseClass<T>::Type
{
  //as before
};

这样，所有FeatureBase<X>的特定属性X将从FeatureBase<FeatureAttrBase>继承。