模板类的多重继承

Question

我遇到来自同一模板类的不同实例的多重继承问题。具体来说，我正在尝试执行此操作：

template <class T>
class Base
{

public:

    Base() : obj(NULL)
    {
    }

    virtual ~Base()
    {
        if( obj != NULL ) delete obj;
    }

    template <class T>
    T* createBase()
    {
        obj = new T();

        return obj;
    }

protected:

    T* obj;

};

class Something
{
    // ...
};

class SomethingElse
{
    // ...
};

class Derived : public Base<Something>, public Base<SomethingElse>
{

};

int main()
{
    Derived* d = new Derived();
    Something* smth1 = d->createBase<Something>();
    SomethingElse* smth2 = d->createBase<SomethingElse>();

    delete d;

    return 0;
}

当我尝试编译上述代码时，出现以下错误：

1>[...](41) : error C2440: '=' : cannot convert from 'SomethingElse *' to 'Something *'
1>        Types pointed to are unrelated; conversion requires reinterpret_cast, C-style cast or function-style cast
1>        [...](71) : see reference to function template instantiation 'T *Base<Something>::createBase<SomethingElse>(void)' being compiled
1>        with
1>        [
1>            T=SomethingElse
1>        ]
1>[...](43) : error C2440: 'return' : cannot convert from 'Something *' to 'SomethingElse *'
1>        Types pointed to are unrelated; conversion requires reinterpret_cast, C-style cast or function-style cast

由于成员 obj 是从 Base<< 继承的，所以问题似乎不明确。某事>且基数＜ SomethingElse >，我可以通过消除对 createBase 的调用的歧义来解决它：

Something* smth1 = d->Base<Something>::createBase<Something>();
SomethingElse* smth2 = d->Base<SomethingElse>::createBase<SomethingElse>();

但是，从语法上讲，这个解决方案非常不切实际，而且我更喜欢更优雅的东西。此外，我对第一条错误消息感到困惑。似乎暗示有一个实例化createBase<其他>在基地<某事>，但这怎么可能呢？任何有关此问题的信息或建议将不胜感激。

Answer 1

似乎暗示有一个实例化createBase< Base< 中的 SomethingElse >有些东西>，但这怎么可能呢？

肯定有，因为你的 createBase() 是一个成员模板函数（并且此函数中的 T 与 T 无关） code> 在周围的类中）。

我会做类似的事情：

// in Derived, or you could make some class (eg. MultiBase) for it

template <class T>
T* createBase()
{
  return Base<T>::createBase();
}

Answer 2

这两个函数的“全名”是这样的：

template<class T> T* Derived::Base<Something>::createBase<T>();

据我所知，您的 createBase() 函数是模板化类中的模板化函数。据我所知，你想把“模板”放在它前面。

但是，这不应该完全解决您的问题，因为 Derived 仍然会同时具有 Base::createBase() 和 Base;::createBase()。

jpalecek 的答案将为您解决问题，或者您可以访问该对象，就好像它是特定的基础一样：

Base<Something> * pBase = new Derived();
pBase->createBase();

或者

static_cast<Base<Something> >(d)->createBase();

或者，添加到 jpalecek 的答案中，

static_cast<Base<T> >(this)->createBase(); 

应该有效，并且我认为是类型安全的；也就是说，如果 this 不是从 Base 继承，则不起作用