在基类中有一个方法能够为子类分配

我想拥有一个为调用类分配shared_ptrs的公共基类/助手类，但我在使它在派生类中工作时出现问题。在基类中有一个方法能够为子类分配

#include <memory> 

template<typename T> 
struct SPAlloc { 

    virtual ~SPAlloc() {} 

    template<typename ...Args> 
    static std::shared_ptr<T> 
    Alloc(Args&&... params) { 
     return std::make_shared<T>(std::forward<Args>(params)...); 
    } 


    template<class U, typename ...Args> 
    static std::shared_ptr<U> 
    Alloc(Args&&... params) { 
     return std::make_shared<U>(std::forward<Args>(params)...); 
    } 
}; 

class Base : public SPAlloc<Base> { 
public: 
    virtual ~Base() {}; 
}; 

class Child : public Base { 
public: 
    virtual ~Child() {}; 
}; 

typedef std::shared_ptr<Base> pBase; 
typedef std::shared_ptr<Child> pChild; 

int main() { 
    pBase base = Base::Alloc(); 
    pChild child = Child::Alloc(); 
}

我明白class Base : public SPAlloc<Base>意味着T模板将是Base，这就是为什么我创建的第二个的Alloc。第二个分配需要被调用，如Child::Alloc<Child>()。

有没有办法写这个Alloc，这样编译器就可以推导出我正在调用Alloc的类？

来源

2013-03-24 Naddiseo

简答：不，没有。

长答案：关键是Alloc不知道Child除非明确告知，那么信息从哪里来？致Child::Alloc()的电话是Base::Alloc()的电话，该电话是SPAlloc<Base>::Alloc()的电话，那里有关于Child的所有信息都将丢失。

最简单的解决方案是使用免费功能，但该功能已经存在，它被称为：std::make_shared。也许可以考虑直接使用它，并完全用SPAlloc来安全解决问题。

或者，如果您想为每个孩子覆盖SPAlloc<T>::Alloc()，根本就不需要基类SPAlloc，只需将该方法添加到每个类中，这可能比使用基类更容易。

来源

2013-03-24 23:24:22

我也这么想。我希望能为所有的类提供一个包装器，并且让编译器/做我想要的/。我想包装std :: make_shared的原因是，如果我想改变将来分配类的方式（尽管我想我可以使用allocate_shared）。无论如何，现在，我将只有一个独立的函数来封装make_shared – Naddiseo 2013-03-25 03:58:22

如果你真的想这样做，你需要所有的物体从Spalloc与自己继承作为模板参数，即使你的孩子类：

class Child : public SPAlloc<Child>, public Base { 
public: 
    virtual ~Child() {}; 
public: 
    using SPAlloc<Child>::Alloc; 
};

您也可以只是简单地使用std :: make_shared：）

来源

2013-03-24 23:32:16 Drax

在基类中有一个方法能够为子类分配

回答

相关问题