模板化类型定义和继承

Question

我想在我的基类中有一个 typedef 专门用于从这个基类派生的每个类。代码：

template<class X>
class SharedPointer
{
public:
    X* data;
    SharedPtr(X *val)
    {
        data = val;
    }
};

template<class T=Base> /* default type, I know this is a mistake. 
The reason to have this here is to just indicate that the default argument 
should be Base itself. so it'll have a Base type of shared pointer. */
class Base
{
public:
    typedef SharedPointer<T> MyTypeOfPtr;
    virtual MyTypeOfPtr Func()
    {
        Base *b = new Base;
        return MyTypeOfPtr(b);
    }
};

class Derived : Base<Derived>
{
public:
    MyTypeOfPtr Func()
    {
        Derived *d = new Derived;
        return MyTypeOfPtr(d);      
    }
};

main()
{
 Base b;
 Base::MyTypeOfPtr ptr1 = b.Func();
 Derived d;
 Derived::MyTypeOfPtr ptr2 = d.Func();  
}

但这不会编译。有没有办法拥有这个功能？

Answer 1

您必须正确了解各种细节：

• 拼写：“SharedPointer”还是“SharedPtr”？

• 模板和类不是一回事，所以你不能有class T = Base：T 是一个类，Base 不是。此外，您不能让默认引用自身，因此即使 class T = Base<T> 也不起作用。删除默认类型。

• 类继承默认是私有的，比如class Derived : public Base<Derived>。

• 将SharedPointer的构造函数设为public。

• Base::Func() 没有意义；也许应该说new T。

我应该认真建议您从更简单的示例开始，然后慢慢建立。