Elternklasse mit Standardkonstruktor; Der Destruktor der Kindklasse wird unerwartet aufgerufen

Question

Ich hatte ein Szenario in C++, das den Destruktor des Kindes in einem Fall aufruft, in dem ich es nicht erwartet hatte. Eine minimale Repro ist unten:

#include <cstdio> 
#include <memory> 

using namespace std; 

class Parent { 
public: 
}; 

class Child : public Parent { 
    public: 
    ~Child() { 
     printf("Got here\n"); 
    } 
}; 

int 
main() 
{ 
    shared_ptr<Parent> x(new Child); 
} 

Normalerweise ist so etwas wie ein Fehler. Der Entwickler beabsichtigt, dass der Child-Destruktor aufgerufen wird und die korrekte Aktion darin besteht, einen leeren virtuellen Destruktor in den Parent einzufügen. Zu meinem Schrecken, sowohl G ++ 4.4.7 (ja, ich weiß, dass es alt ist) und clang 3.4.2 kompilieren Sie das so, dass der Kinddestruktor genannt wird.

Entspricht dies dem Standard?

Answer 1

Nun, auch wenn shared_ptr keine spezielle Magie, delete ing durch Elternzeiger mit nicht-virtuellen Destruktor ist nur undefiniert Verhalten, so dass die Ergebnisse (des Aufrufs des Kindes Destruktor) würde definitiv entsprechen.

Aber in diesem Fall "merkt" shared_ptr den Typ des ursprünglichen Objekts, das Sie in es übergeben und zerstört es durch untergeordneten Zeiger (durch seine gespeicherte Deleter).

Answer 2

Ein einzigartiges PTR würde hier vermasseln. Aber Shared Ptr macht hier "Magie".

shared_ptr<T> has two things they manage; the T * `und der Referenzzählerblock.

Der Referenzzählblock enthält zwei atomic<std::size_t> s, einen für starke Referenzen und einen für schwache Referenzen und einen Deleeter vom Typ gelöscht. Diese std::function-ähnliche Art gelöscht Delet merkt sich, wie Sie die Sache, die Sie besitzen löschen.

Wenn Sie einen shared_ptr mit einem U*u konstruieren, speichert er standardmäßig [u]{std::default_delete<U>{}(u);} in diesem Deleter.

In der Tat erinnert es, wie das Objekt löschen basierend auf dem Typ übergeben.

shared_ptr äußerst flexibel ist.

Sie können in einem benutzerdefinierten deleter passieren den Standard zu ersetzen, können Sie den Alias-Konstruktor verwenden, um die Referenzzählung Block aus den gespeicherten T* verwendet aufzuzuspalten, Sie make_shared verwenden können die Referenzzählung Block und ein T in der zuzuteilen gleiche Speicherzuweisung.

Der Overhead des Referenzzählblocks ist der Grund, warum der Deleter gespeichert wird; Es wurde nicht als zu teuer angesehen, da wir den Block sowieso brauchten. Im Vergleich dazu unique_ptr standardmäßig nicht so etwas; Sie müssen explizit einen Deleter hinzufügen, und Sie müssen alle phantastischen Tricks verwalten, die shared_ptr für Sie standardmäßig ausführt, wenn Sie sie haben wollten. unique_ptr hat im Grunde Null Overhead über eine Roh-Besitzer-Zeiger; shared_ptr hat einen bemerkenswerten Overhead, aber im Vergleich zum Overhead der Speicherzuweisung normalerweise klein.