c++ - shared_ptrを返すときに共変の戻り値の型を達成する方法は?

Question

using namespace boost;

class A {};
class B : public A {};

class X {
  virtual shared_ptr<A> foo();
};

class Y : public X {
  virtual shared_ptr<B> foo();
};

戻り値の型は共変ではありません (したがって、合法でもありません) が、代わりに生のポインターを使用していた場合は共変になります。もしあれば、これを回避するために一般的に受け入れられているイディオムは何ですか?

Answer 1

共分散はスマートポインターと互換性のないポインター演算に依存するため、解決策は根本的に不可能だと思います。

Y::foo動的呼び出し元に戻るときは、使用する前shared_ptr<B>にキャストする必要があります。shared_ptr<A>あなたの場合、 aB*は (おそらく) 単純に として再解釈できA*ますが、多重継承の場合は、C++ にstatic_cast<A*>(shared_ptr<B>::get()).

Answer 2

直接ではありませんが、クラスの外部から実際の仮想関数にアクセスできないようにし、仮想関数呼び出しを非仮想関数にラップすることで、偽造することができます。欠点は、派生クラスごとにこのラッパー関数を実装することを忘れないようにする必要があることです。しかし、virtul関数宣言とラッパーの両方をマクロに入れることで、これを回避できます。

using namespace boost; // for shared_ptr, make_shared and static_pointer_cast.

// "Fake" implementation of the clone() function.
#define CLONE(MyType) \
    shared_ptr<MyType> clone() \
    { \
        shared_ptr<Base> res = clone_impl(); \
        assert(dynamic_cast<MyType*>(res.get()) != 0); \
        return static_pointer_cast<MyType>(res); \
    }

class Base 
{
protected:
    // The actual implementation of the clone() function. 
    virtual shared_ptr<Base> clone_impl() { return make_shared<Base>(*this); }

public:
    // non-virtual shared_ptr<Base> clone();
    CLONE(Base)
};

class Derived : public Base
{
protected:
    virtual shared_ptr<Base> clone_impl() { return make_shared<Derived>(*this); }

public:
    // non-virtual shared_ptr<Derived> clone();
    CLONE(Derived)
};


int main()
{
    shared_ptr<Derived> p = make_shared<Derived>();
    shared_ptr<Derived> clone = p->clone();

    return 0;
}

Answer 3

裸のポインターを返し、すぐに共有ポインターにラップします。