Sollte A dann B als eine Referenz, ein Zeiger oder ein shared_ptr besitzen?

? ist ein Platzhalter

class B {

};

class A {
private:
    ? member_;
public:
    A(? member);
    A() = delete;
    ~A() = default;
    A& operator=(A const&) = delete; // EDIT
    A(A const&) = delete; // EDIT
};

// ? = B*
// ? = B&
// ? = std::shared_ptr <B>

1. Klasse A benötigt Zugriff auf eine Instanz von B.

A braucht demnach irgendeine Art von Verweis auf eine Instanz von B.

2. B wird niemals (konzeptionell unmöglich) vor A zerstört.

A wird also immer vor B zerstört. Das heißt, A darf die B-Instanz nicht "besitzen", da es diese nie zerstören wird.

3. A besitzt für die komplette Lebenszeit immer dasselbe B.

Der Verweis verändert sich also nicht.

Referenz konstanter Zeiger.

3. A besitzt für die komplette Lebenszeit immer dasselbe B.

Bist du sicher? Wäre es nicht sinnvoll, ein swap/operator= anzubieten?

Tim06TR schrieb:

3. A besitzt für die komplette Lebenszeit immer dasselbe B.

Bist du sicher? Wäre es nicht sinnvoll, ein swap/operator= anzubieten?

Nach 10 Minuten nachdenken: Das würde vermutlich tausendmal mehr Ärger einhandeln, als es mir nützt.

EDIT: B könnte theoretisch auch ein Singleton sein (was es nicht ist), das würde nichts ändern.

Schönere Syntax (keine Dereferenzierungspfeile)

Eben nicht! Das Ding ist fremd und soll auch fremd aussehen. Vermeidet Fehler.

Dobi schrieb:

und man sagt damit aus, dass das Ding immer zu existieren hat (kein "if (!ptr) ...")?

Komisch, if(!ptr) mache ich ich bei Zeigern nicht. Wenn der Benutzer Nullzeiger reinsteckt, ist er selber schuld, fertig.

Wenn der Benutzer Nullzeiger reinsteckt, ist er selber schuld, fertig.

Kann man nicht in Konstruktor oder setter einfach eine Referenz fordern und dann einfach die Adresse zu nutzen? Wenn man einen Zeiger übergeben kann wirkt das etwas missverständlich.

volkard schrieb:

Wenn der Benutzer Nullzeiger reinsteckt, ist er selber schuld, fertig.

Kann man nicht in Konstruktor oder setter einfach eine Referenz fordern und dann einfach die Adresse zu nutzen? Wenn man einen Zeiger übergeben kann wirkt das etwas missverständlich.

Kann man auch.
Aber dann WIRD bald jemand schreiben

B b;
   return new A(b);

während er und jeder andere Leser bei

B b;
   return new A(&b);

sofort merkt, daß da was faul ist.

Dobi schrieb:

und man sagt damit aus, dass das Ding immer zu existieren hat (kein "if (!ptr) ...")?

Komisch, if(!ptr) mache ich ich bei Zeigern nicht. Wenn der Benutzer Nullzeiger reinsteckt, ist er selber schuld, fertig.

Ja schon, aber ich dachte auch weniger an den Benutzer sondern an meinen Kollegen, der das Projekt vielleicht irgendwann übernimmt. Ich kann mir vorstellen, dass er bei nem Zeiger vielleicht denkt, dass das Ding auch Null sein könnte, wenn er meinen Kommentar an der Deklaration, der das als verboten beschreibt, nicht direkt liest. Bei einer Referenz hingegen wüsste er sofort Bescheid.

Wieso keine Referenz?

Weil man Referenzen nicht re-binden kann.
Für noncopyable Objelte war das früher egal. Seit RValue-Referenzen und Move ist es aber auch da ein Thema.
Referenzen sind also nur verwendbar wenn das Objekt noncopyable UND nonmovable sein soll.

Kann man auch.
Aber dann WIRD bald jemand schreiben

B b;
   return new A(b);

während er und jeder andere Leser bei

B b;
   return new A(&b);

sofort merkt, daß da was faul ist.

Kommt drauf an. Bei unique_lock übergibt man auch ne Referenz, und ich sehe keine Gefahr dass das jemand falsch versteht.

Ich kann mir vorstellen, dass er bei nem Zeiger vielleicht denkt, dass das Ding auch Null sein könnte, wenn er meinen Kommentar an der Deklaration, der das als verboten beschreibt, nicht direkt liest. Bei einer Referenz hingegen wüsste er sofort Bescheid.

Dann pack ein assert(ptr); als erste Zeile in den Konstruktor.

Skym0sh0 schrieb:

Wieso keine Referenz?

Weil man Referenzen nicht re-binden kann.
Für noncopyable Objelte war das früher egal. Seit RValue-Referenzen und Move ist es aber auch da ein Thema.
Referenzen sind also nur verwendbar wenn das Objekt noncopyable UND nonmovable sein soll.

Vor allem das überzeugt.