Wie kann ich ein shared_ptr zu einem Mitglied erstellen?

Question

Ich bin nicht sicher, ob ich mehr von einem Dokumentationsfehler oder Kopfschmerzen leiden, so ...

Was ich will ist zu tun, um eine shared_ptr zu schaffen, dass mit einem anderen Aktie Eigentum, das aber verweist auf ein Mitglied das Objekt anstelle des gesamten Objekts. Einfaches Beispiel, Ausgangspunkt ...

struct s 
{ 
    int a, b; 
}; 

shared_ptr<s> s1 (new s); // pointing to whole object 

Von en.cppreference.com, Konstruktor (8) von shared_ptr ist ...

template< class Y > 
shared_ptr(const shared_ptr<Y>& r, T *ptr); 

Die Beschreibung erwähnt „ein shared_ptr Konstrukte, die Eigentümerinformationen mit r teilt, aber enthält einen nicht verwandten und nicht verwalteten Zeiger ptr ... wie in den typischen Anwendungsfällen, in denen ptr ein Mitglied des von r verwalteten Objekts ist.

Also ... Wurde T gerade versehentlich von der Vorlage in diesem Konstruktor verpasst, oder fehle ich etwas? In der Tat sieht Y aus, als wäre es auch falsch für mich, also wird der Konstruktor in der Regel korrekt beschrieben?

Was ich hoffe, dass ich tun kann, so etwas wie dieses ...

shared_ptr<int> s2 (s1, &(s1.get()->a)); 

s2 Punkte Mitglied a (ein int), aber Aktien Besitz des gesamten Objekts mit s1.

Ist das gesund?

Answer 1

T Der Parameter sind ein Template-Parameter auf den shared_ptr selbst, während die Y Parameter ein Template-Parameter auf diesem bestimmten shared_ptr Konstruktor ist. Etwas wie das:

Wie für den Beispielcode, den Sie gepostet haben, sieht das gut für mich aus.

Answer 2

Die Dokumentation ist korrekt. Sie vergessen, dass dies die Dokumentation eines Konstruktor auf der Klassenvorlage ist shared_ptr<T> das heißt, die Klasse qualifizierte Erklärung des Konstrukteurs ist:

template<typename T> 
template<typename Y> 
shared_ptr<T>::shared_ptr(const shared_ptr<Y>& r, T *ptr); 

So in Ihrem Beispiel T ist int und Y ist s.

Answer 3

T ist der Vorlagenparameter der Klasse, nicht des Konstruktors. Und das ist genau so, wie es sein muss: Ein Zeiger auf ein Mitglied muss den Typ des Mitglieds haben und vergessen/löschen (siehe Typ-Löschen) den Typ des enthaltenden Objekts (in diesem Fall Y).

Der Code, den Sie geschrieben funktionieren sollte, können Sie es sogar ein wenig einfacher schreiben als:

shared_ptr<int> s2 (s1, &s1->a);