智能指针和多态性

Question

我实现了引用计数指针（在示例中称为 SP），但我遇到了多态性问题，我认为我不应该这样做。

在以下代码中：

    SP<BaseClass> foo()
    {   
        // Some logic...
        SP<DerivedClass> retPtr = new DerivedClass();
        return retPtr;
    }

DerivedClass 继承自BaseClass。对于普通指针，这应该可以工作，但是对于智能指针，它会显示 “无法从 'SP转换”到'const SP&"，我认为它指的是智能指针的复制构造函数。

如何允许这种带有引用计数指针的多态性？ 我很感激代码示例，因为如果我遇到这个问题，显然我在这里做错了什么。

PS：请不要告诉我使用带有智能指针的标准库，因为目前这是不可能的。

Answer 1

相当明显：

SP<DerivedClass> retPtr = new DerivedClass();

应该是：

SP<BaseClass> retPtr = new DerivedClass();

Answer 2

您应该为 SP 添加隐式转换构造函数：

template<class T>
struct SP {
   /// ......
   template<class Y>
   SP( SP <Y> const & r )
    : px( r.px ) // ...
    {
    }

   //....
private:
   T * px;
}

Answer 3

为什么不添加一个模板赋值运算符：（

template <class Base>
class SP
{
    ...

    template<class Derived>
    operator = (SP<Derived>& rhs)
    {
        ...

也许还有复制构造函数）？

Answer 4

除了复制构造函数之外：

SP(const SP<T>& ref);

您还需要一个转换构造函数：

template<typename T2>
SP(const SP<T2>& ref);

否则，编译器将不知道如何从 SP 构造 SP；对他来说，它们是无关的。

转换构造函数相当简单，因为在内部您可以自动将 *DerivedClass 转换为 *BaseClass。代码可能与复制构造函数的代码非常相似。