Shared_ptr <Derived> shared_ptr <Base> olarak iletiliyor

shared_ptrTüretilmiş türden a'yı shared_ptrtemel türden alan bir işleve geçirmenin en iyi yöntemi nedir ?

shared_ptrGereksiz bir kopyadan kaçınmak için genellikle s'yi referans olarak geçiririm:

int foo(const shared_ptr<bar>& ptr);

ama böyle bir şey yapmaya çalışırsam bu işe yaramaz

int foo(const shared_ptr<Base>& ptr);

...

shared_ptr<Derived> bar = make_shared<Derived>();
foo(bar);

kullanabilirim

foo(dynamic_pointer_cast<Base, Derived>(bar));

ancak bu, iki nedenden dolayı optimalin altında görünüyor:

• A dynamic_cast, basit bir türetilmiş tabana döküm için biraz aşırı görünüyor.
• Anladığım kadarıyla dynamic_pointer_cast, işleve geçmek için işaretçinin (geçici de olsa) bir kopyasını oluşturuyor.

Daha iyi bir çözüm var mı?

Gelecek nesil için güncelleme:

Eksik bir başlık dosyası sorunu olduğu ortaya çıktı. Ayrıca, burada yapmaya çalıştığım şey bir anti-model olarak kabul ediliyor. Genel olarak,

• Bir nesnenin yaşam süresini etkilemeyen işlevler (yani nesne, işlevin süresi boyunca geçerli kalır) düz bir referans veya işaretçi almalıdır, ör int foo(bar& b).

• Bir nesneyi tüketen işlevler (yani belirli bir nesnenin son kullanıcılarıdır) bir unique_ptrdeğer almalıdır , ör int foo(unique_ptr<bar> b). Arayanlar std::move, işleve değer girmelidir .

• Bir nesnenin ömrünü uzatan işlevler bir shared_ptrdeğer almalıdır , örn int foo(shared_ptr<bar> b). Döngüsel referanslardan kaçınmak için olağan tavsiyeler geçerlidir.

Ayrıntılar için Herb Sutter's Back to Basics konuşmasına bakın.

Her ne kadar Baseve Derivedvardır onlara kovaryant ve çiğ işaretçileri göre hareket, olacak shared_ptr<Base>ve shared_ptr<Derived>olan değil eşdeğişkin. dynamic_pointer_castBu problemi çözmek için doğru ve kolay yoludur.

( Düzenleme: static_pointer_cast daha uygun olur çünkü türetilmişten tabana çeviriyorsunuz, bu güvenli ve çalışma zamanı kontrolleri gerektirmez. Aşağıdaki yorumlara bakın.)

Bununla birlikte, foo()işleviniz ömrünü uzatmada yer almak istemiyorsa (veya daha ziyade nesnenin ortak mülkiyetinde yer almak), o zaman en iyisi bir kabul etmek const Base&ve shared_ptronu iletirken ondan vazgeçmektir foo().

void foo(const Base& base);
[...]
shared_ptr<Derived> spDerived = getDerived();
foo(*spDerived);

Bir kenara, shared_ptrtürler ortak değişken olamayacağından, kovaryant dönüş türlerindeki örtük dönüşüm kuralları, türlerini döndürürken uygulanmaz shared_ptr<T>.

Bu , türetilmiş sınıfta genel kalıtımı belirtmeyi unuttuysanız da olur , yani benim gibi bunu yazarsanız:

class Derived : Base
{
};

Çok çabalıyormuşsun gibi geliyor. shared_ptrkopyalamak ucuzdur; bu onun hedeflerinden biridir. Bunları referans olarak iletmek pek bir şey başaramıyor. Paylaşmak istemiyorsanız, ham işaretçiyi iletin.

Bununla birlikte, bunu yapmanın kafamın dışında düşünebileceğim iki yolu var:

foo(shared_ptr<Base>(bar));
foo(static_pointer_cast<Base>(bar));

Ayrıca #includetüretilmiş sınıfın tam bildirimini içeren başlık dosyasının kaynak dosyanızda olup olmadığını kontrol edin .

Bu sorunu yaşadım. std::shared<derived>Artığını olmaz std::shared<base>. Her iki sınıfı da onlara işaret edebilmek için ileri bildirmiştim, ancak #includederleyiciye sahip olmadığım için bir sınıfın diğerinden türetildiğini göremedim.