Ich habe jetzt einen Fall, bei dem ich etwas mit der initialisierung der Objekte durcheinander gekommen bin bzw. ich versucht habe auf ein objekt zuzugreifen, das ich erst zu einem späteren Zeitpunkt instanziiere.

Ganz klar das programm stürzt ab, jetzt möchte ich ich in dem methoden, die referenzen auf objekte liefern, erstmal die prüfung mit rein nehmen, ob ein objekt überhaupt schon initialisiert wurde.

Ich erzeuge die objekte mit new für den Fall, das das hier relevant ist.

Jetz kommt mir aber keine Idee, wie ich den Pointer für den ich das objekt noch nicht angelegt habe auf genau diesen Umstand prüfen kann. Damit ich statt die referenz zurückzugeben, eine exception werfen kann.

Hört sich ziemlich verwirrend an. Das bin ich momentan auch

Zur Not könnte ja das hier helfen:

int* ziel = NULL; // bzw. nullptr

if(!ziel)
  throw "fehler - Objekt existiert nicht";

Ich hab mal versucht den Fall in einem Beispiel abzubilden.

Beispiel

class B;
class C;
class D;

class A
{
private:
	int *c;
	B *obj_b;
	C *obj_c;
    D obj_d;

public:

	explicit A();
	inline int *getC() {return this->c;}
	inline C *getObjC() {return this->obj_c;}
};

A::A()
{
	this->obj_b = new B(this);
	this->obj_c = new C();
}

class B
{
private:
	int *c;
	A *parent;
	C *sibling;

public:
	explicit B(A *parent);

};

B::B(A *parent)
{
	this->parent = parent;
	this->c = this->parent->getC();
	this->sibling = this->parent->getObjC();
}

class C
{
	//irgendwas
};

class D
{
        //irgendwas
};

Ich hoffe das wirkt einigermaßen sinnig.

Wenn ich A aufrufe, wird B ja noch vor C erzeugt. Wenn ich aber den Fall habe, dass B direkt im Konstruktor schon auf C zugreifen möchte geht das verständlicherweise schief.

Ich werde dann jetzt also erstmal hingehen und im Konstruktor sauber alle Pointer auf Null setzen und darauf prüfen?

Wie gehe ich da mit Objekten um, die nicht als Pointer vorliegen wie hier "obj_d" ?

Wenn B C benötigt und B aber vor C erzeugt wird, ist das ein Designfehler. Dann darfst Du das im constructor eben nicht aufrufen. Ich weiß nicht, wie Du das durch Nullsetzen vorher lösen möchtest. Das Nutzen von C muss in B dann halt nachher geschehen.

Wie gehe ich da mit Objekten um, die nicht als Pointer vorliegen wie hier "obj_d" ?

Bzgl. was vorgehen?

Ach, evtl. noch ein Verständnisfehler bzgl. Exceptions:

Ich habe jetzt einen Fall, bei dem ich etwas mit der initialisierung der Objekte durcheinander gekommen bin bzw. ich versucht habe auf ein objekt zuzugreifen, das ich erst zu einem späteren Zeitpunkt instanziiere.

Wenn das hart verdrahtet ist, also keine Dynamik in dem Sinne dazu kommt, dass nach der korrekten Programmierung das Problem nochmals auftreten kann, dann sind Exceptions hier nicht angebracht. Exceptions sollen keine Designfehler aufdecken, sondern auftreten, wenn irgendwelche Benutzereingaben oder Fehler externer Bibliotheken, Geräte (z.B. E/A-Geräte), Dateisystemprobleme o.ä. auftreten.

assert passt da etwas eher, was im Debugmodus fest eingegebene Werte überprüft, die also nicht von Dingen abhängen, die der Programmierer nicht im Vorfeld beachtet hat. Analog gibt es auch statische Asserts (static_assert), die zur Kompilierzeit bestimmte Umstände prüfen.

Aber eigentlich würde ich hier einfach korrekt programmieren und dann ist das Problem gegessen, obige Mittel sollten hier imo keine Anwendung finden.

da stimme ich dir zu, ich hatte das mit den exceptions hier wirklich etwas pervertiert.

Dachte mir schon, dass ich an dieser stelle nur sauber programmieren müsste, damit das nicht auftritt. Hab ich auch gemacht und es läuft. Ich hätte nur gedacht, dass ich evtl. einen Mechanismus mit einbauen könnte, der verhindert das Speicherzugriffsfehler auftreten, wenn ich so achtlos an die Sache gehe.

Vielleicht helfen ein paar Kommentare weiter, wenn die Zusammenhänge komplizierter werden.

Ich hätte nur gedacht, dass ich evtl. einen Mechanismus mit einbauen könnte, der verhindert das Speicherzugriffsfehler auftreten, wenn ich so achtlos an die Sache gehe.

Wenn du so achtlos daran gehst, wirst du erst recht nicht die Exception fangen (außer vielleicht später mit einem catchall). Dann ists auch fast schon egal, ob du einen Zugriffsfehler bekommst oder eine Exception, die durchrauscht.

An sich war das nur mal interesse halber, ob man sowas abfangen sollte oder einfach entsprechend darauf achtet, wann man worauf zugreift.

Sollte nicht so schwierig sein. Ich selbst habe nur noch nicht die erfahrung mit entsprechend großen projekten. Deshalb fehlts mir da etwas an Vorausplanung.