Kann ich einem shared_ptr 0 zuweisen? Warum?

Question

I realisierte die folgend in GCC 4.7 Fein kompiliert:

#include <memory> 

int main() { 
    std::shared_ptr<int> p; 
    p = 0; 
} 

Es gibt jedoch keinen Zuweisungsoperator aus int oder von int*, und es gibt keinen impliziten Konstruktor entweder intint* oder auch nicht. Es gibt einen Konstruktor von int*, aber dieser ist explizit. Ich überprüfte die Implementierung der Standardbibliothek und der Konstruktor ist in der Tat explizit, und keine fischigen Zuweisungsoperatoren sind in Sicht.

Ist das Programm wirklich wohlgeformt oder spielt GCC mit mir?

Answer 1

Der Grund, dies funktioniert, ist diese kurze Zitat aus dem Standard:

§4.10 [conv.ptr] p1

Ein Nullzeiger Konstante ist ein Integralkonstante Ausdruck (5.19) prvalue ganzzahliger Typ , die auf Null auswertet oder ein Prvalue des Typs std::nullptr_t. [...] Eine Null-Zeiger-Konstante vom Integraltyp kann in einen Pr-Wert vom Typ std::nullptr_t konvertiert werden. [...]

Und die Tatsache, dass std::shared_ptr einen impliziten Konstruktor von std::nullptr_t hat:

§20.7.2.2 [util.smartptr.shared] p1

constexpr shared_ptr(nullptr_t) : shared_ptr() { }

Dies ermöglicht auch für Seltsamkeiten wie folgt aus:

#include <memory> 

void f(std::shared_ptr<int>){} 

int main(){ 
    f(42 - 42); 
} 

Live example.

Answer 2

können Sie nur einen freigegebenen Zeiger auf eine andere Instanz eines gemeinsamen Zeiger zuweisen. Das Zuweisen des Typs, den shared_pointer enthält, ist nicht möglich. AFAIK ist dies die einzige Überlast für den Betreiber:

shared_ptr& operator=(const shared_ptr& r);

Was machst du 0 zuweist (die in diesem Fall gleich NULL) auf den Zeiger, nicht der Wert des Typs. Ihr Typ wird an dieser Stelle im Code nicht einmal initialisiert.