Ich hab mal ne Frage.
Bei meinem Code hab ich natürlich immer auf eine grundlegende Exceptionssicherheit geachtet, dh. es werden keine Resourcen geleaked, aber mit starker hab ich mich nie beschäftigt.

Jetzt frage ich mich: Wenn der Constructor eine Exception wirft, darf ich zu 100% davon ausgehen, dass es absolut verboten ist das Objekt zu nutzen, oder?

Ich bin mir sicher dass es so ist, möchte es aber genau wissen.
Grüße,
Ethon

@Ethon_notloggedin:
Wie würdest du das überhaupt anstellen wollen? Also den Versuche das Objekt trotz fehlgeschlagenem Konstruktor zu nutzen.

(Ich wüsste schon eine Möglichkeit, würde mich aber wundern wenn du an die gedacht hättest)

(Ich wüsste schon eine Möglichkeit, würde mich aber wundern wenn du an die gedacht hättest)

Magst du uns die mal zeigen? Würde mich interessieren - mit der gleichen Faszination, die andere bei Horrorfilmen haben

@Ethon:

class MyClass
{
public:
  MyClass() {throw "meh.";}
};

void foo()
{
  try
  {
    MyClass mc;
    /* we never get here, so we can't use mc. */ 
  }
  catch(...)
  {
    /* mc does not exist here */
  }

  MyClass* pmc = nullptr;
  try
  {
    pmc = new MyClass();
    /* we never get here, so we can't use (*pmc). */ 
  }
  catch(...)
  {
    /* pmc exists, but is still nullptr. No MyClass-object to use. */
  }
}

Wie meinst du an ein MyClass Objekt zu kommen, wenn der Ctor wirft?

Gäbe höchstens die Möglichkeit mit placement-new, aber dazu müsste man wohl ziemlich hartgesotten sein, aber sowas werde ich wohl kaum unterstützen müssen.

Magst du uns die mal zeigen?

MyClass könnte einen globalen Pointer im Ctor vor dem Werfen setzen.

pumuckl schrieb:

Magst du uns die mal zeigen?

MyClass könnte einen globalen Pointer im Ctor vor dem Werfen setzen.

Das würde der starken Exceptionsicherheit aber widersprechen.

pumuckl schrieb:

Magst du uns die mal zeigen?

MyClass könnte einen globalen Pointer im Ctor vor dem Werfen setzen.

Und? Dann hätte ich trotzdem noch kein Objekt von MyClass. Die Frage des OT war, ob es verboten ist, das Objekt zu nutzen. Die Antwort ist, dass es kein Objekt gibt, für das es so ein Verbot geben könnte. Da kann der Ctor noch so viele Nebenwirkungen haben. Die Lebenszeit eines Objektes beginnt erst dann, wenn der Ctor regulär verlassen wurde.

Ethon_notloggedin schrieb:

Gäbe höchstens die Möglichkeit mit placement-new

Placement new:

void pnew()
{
  void* storage = ::operator new(sizeof(MyClass));
  MyClass* pmc = nullptr;
  try 
  { 
    pmc = new(storage) MyClass(); //placement new
    /* we never get here... */
    pmc->~MyClass();
  }
  catch(...)
  {
    /* pmc is nullptr, because the Ctor threw before the assignment to pmc */ 
    /* storage still points to raw storage, there never was an object constructed in it */
  }
  ::operator delete(storage);
}

genau das ist übrigens auch der Grund, warum placement new immer mit manuell aufgerufenem Dtor gematcht werden muss. Auch hier gilt: das Objekt hat nie existiert. Auch wenn ggf. (bei nicht-starker Exceptionsicherheit) der Inhalt des rohen Speichers hinter storage geändert wurde oder andere Nebenwirkungen sichtbar werden.

Und? Dann hätte ich trotzdem noch kein Objekt von MyClass.

Warum?
~~
Muss noch ein reinterpret_cast drauf, aber das Objekt ist doch noch da.~~qutatsch
Es ging doch nur um die Möglichkeit, irgendwie auf das (kaputte) Objekt zuzugreifen oder?

Wahrscheinlich ist das nicht Standardkonform oder oder so; kA. das interessiert mich bei Sachen, die ich so eh nie machen würde wenig.

Es ging doch nur um die Möglichkeit, irgendwie auf das (kaputte) Objekt zuzugreifen oder?

int main()
{
  std::string *s;
  std::cout << s->length();
}

..

pumuckl schrieb:

Und? Dann hätte ich trotzdem noch kein Objekt von MyClass.

Warum?
~~
Muss noch ein reinterpret_cast drauf, aber das Objekt ist doch noch da.~~qutatsch
Es ging doch nur um die Möglichkeit, irgendwie auf das (kaputte) Objekt zuzugreifen oder?

Nochmal: ES EXISTIERT KEIN OBJEKT! NICHTMAL EIN KAPUTTES! Wenn der Ctor nicht regulär verlassen wird, hast du vielleicht irgendwelche Nebenwirkungen verursacht, aber es existiert weder das Objekt, noch irgendwelche Teilobjekte. Auch wenn alle Member- und Basisklassen-Konstruktoren durchlaufen worden sind (d.h. wenn die Exception erst im Ctor-Rumpf fliegt), werden dafür auch die Destruktoren aufgerufen, sobald der Ctor mit einer Exception verlassen wird.

Es gibt folgende 3 Möglichkeiten:

1. Wenn das Objekt auf dem Stack hätte erzeugt werden sollen (wurde es ja nie), wird durch die Excpetion der Gültigkeitsbereich verlassen -> Der Platz auf dem Stack wird auch gleich mit weggeworfen. Keine Möglichkeit an irgendwas heranzukommen.
2. Wenn das Objekt auf dem Freispeicher hätte erzeugt werden sollen ( new MyClass() ) wird erst Speicher allokiert, dann der Ctor mit der Exception veröassen und der Speicher sofort wieder deallokiert. -> Kein Speicher, kein Obejkt, keine Möglichkeit an irgendwas ranzukommen.
3. Wenn das Objekt mit Placement new in irgendwelchem wie auch immer gearteten Speicher hätte erzeugt werden sollen, dann war das roher Speicher. (Ein dort vorher bestehendes Objekt von "class-Type" mit placement new überzubügeln wäre UB). Wenn der Ctor fehlschlägt sind alle Teilobjekte, die dort vielleicht im Rahmen des Ctors vor dem Werfen initialisiert wurden, wieder zerstört. Es bleibt also roher Speicher. Wenn sich das Bitmuster dieses Speichers durch die Ausführung des Ctors geändert haben sollte ist das genauso eine Nebenwirkung wie irgendwelche veränderten globalen Variablen. Das heißt dann aber nur, dass der Ctor nicht die starke Garantie gibt. Das MyClass Objekt hat deshalb trotzdem noch nie existiert.

Mit irgendwelchen C-Casts oder reinterpret_casts jetzt einen Pointer auf ein MyClass aus dem Hut zu zaubern, bringt nichts. Jeder Zugriff darauf ist UB, egal ob man vorher versucht hat, an der Stelle ein MyClass zu konstruieren oder nicht. Ctor-Exception heißt, das Objekt hat nie existiert. Da gibts keinen Weg drumrum.

/* ... */

Du versuchst, auf etwas zuzugreifen, was nicht existiert (und nie existiert hat). Das ist UB.

cooky451 schrieb:

/* ... */

Du versuchst, auf etwas zuzugreifen, was nicht existiert (und nie existiert hat). Das ist UB.

Ja, echt? Wäre ich nie drauf gekommen..

Ja, echt? Wäre ich nie drauf gekommen..

Mir ist klar, dass du das weißt. Es steht nur in keinem Zusammenhang zu dem, was du zitiert hast oder zur Frage des Threaderstellers.

Jockelx versucht irgendwie über einen Pointer auf ein Objekt zuzugreifen, das nie existiert hat.

Stimmt.

cooky451 schrieb:

Das Beispiel macht das Gleiche, nur mit weniger drum rum.

Nö. Dein Beispiel macht da ja gar nix; insb. werden auch keine Werte vom Ctor in den Speicher geschrieben.
Zumindest das macht meine Version ja schon.
Ist mir aber ziemlich wurscht; wenn Hustbaer da was schöneres auf Lager hat, gerne, wenn nicht, auch egal.
Das brauch eh kein Mensch, bzw. ich zumindest nicht.

Das Beispiel macht das Gleiche, nur mit weniger drum rum.

Das weniger drumrum, sprich der fehlgeschlagene Ctor-Aufruf ist aber der Kern der Angelegenheit. Dass dein Beispiel UB ist, ist allen klar. Dass die Situation nach einem fehlgeschlagenen Ctor-Aufruf im Prinzip die gleiche ist, weil das Objekt eben nicht existiert, ist der Punkt, den du nicht erwähnt hast. Und genau deshalb ist dein Beispiel für die Frage "Objektzugriff nach Ctor-Exception" erstmal nicht in Zusammenhang gebracht.

Jockelx schrieb:

insb. werden auch keine Werte vom Ctor in den Speicher geschrieben.
Zumindest das macht meine Version ja schon.

Nur wenn der Ctor die starke Garantie nicht gibt.