Czy istnieje sposób na przesłanie pliku shared_ptr <void> do shared_ptr <T>?

Question

Chcę zachować inteligentne zachowanie std::shared_ptr. Czy istnieje sposób na przesłanie współdzielonego wskaźnika pustego pola do innego typu, nie myląc jednocześnie licznika odwołań? Nie mogę uzyskać surowego wskaźnika i utworzyć z niego nowego udostępnionego wskaźnika.

Answer 1

Możesz użyć wskaźnika odlewania z rob mayoff's answer; ale bądź ostrożny. Łatwo jest nieumyślnie spowodować niezdefiniowane zachowanie tutaj:

struct MyClass {}; 

void* rawPtr = new MyClass; 
shared_ptr<void> exampleVoid(rawPtr); // Undefined behavior; 
             // calls delete (void*)ptr; 

shared_ptr<void> exampleVoidCons(new MyClass); 
    // OK, calls shared_ptr<void>::shared_ptr<MyClass>(MyClass*) which 
    // makes a deleter calling delete (MyClass*)ptr; 

shared_ptr<MyClass> example(new MyClass); // OK, calls delete (MyClass*)ptr; 

shared_ptr<void> castToVoid = static_pointer_cast<void>(example); 
    // OK, shared_ptr's deleter is erased so this still calls delete (MyClass*)ptr; 

Zazwyczaj niezdefiniowane zachowanie doprowadzi destructor na typ nie miano. Na przykład see the output on ideone i pamiętaj, że wersja umieszczona w void* nigdy nie drukuje, że została zniszczona.

---

patrz C++ 11 5.3.5 [expr.delete]/3:

W pierwszym przypadku (usuwanie Object), w przypadku statycznego obiektu na który ma być usunięty różni od typu dynamicznego typ statyczny jest klasą podstawową typu dynamicznego obiektu, który ma być usunięty, a typ statyczny powinien mieć wirtualny destruktor lub zachowanie jest niezdefiniowane.

Ponieważ rzeczywisty obiekt nie będzie miał dynamiczny typ void i void nigdy nie jest klasa bazowa typu dynamicznego, delete ing void* wyzwala niezdefiniowanej zachowanie.

Answer 2

Możesz użyć std::static_pointer_cast lub std::dynamic_pointer_cast w zależności od rodzaju obsady.