(erledigt) [C++] Kein delete [] bei Exception

[Krishty]

Hi,

Ich habe folgende Programmstruktur:

Code: Alles auswählen

int main() {
    try {
        SubFunction();
        return 0;
    } catch(...) {
        return -1;
    };
}

void SubFunction() {
    int * Array = new int[16];
    CriticalFunction(Array);
    delete [] Array;
}

void CriticalFunction(int * Array) {
    if(…)
        throw "FEHLER";
}

Unter bestimmten Umständen tritt ein Fehler auf und throw "FEHLER"; schmeißt mich in den catch-Block der main() zurück. Soweit, so beabsichtigt. Das Problem ist nur: Danach wird mir ein Speicherleck angezeigt, weil das in SubFunction() allokierte Array nicht mehr freigegeben wurde.

Irre ich mich, oder sollte dem nicht so sein? delete [] müsste doch im Fall einer Exception automatisch aufgerufen werden … die Operatoren new [] und delete [] sind global überladen, das dürfte aber eigentlich nichts ausmachen – oder?

[Aramis]

delete [] müsste doch im Fall einer Exception automatisch aufgerufen werden

Wieso das denn? Im Rahmen des Stack-Unwindings auf der Suche nach einem Exception-Handler mit passender Signatur werden die Destruktoren aller lokal erzeugten Objekte aufgerufen, in umgekehrter Allokationsreihenfolge. Aber es wird kein weiterer normaler Programmcode ausgeführt, wie hier das delete[]. int* ist ein POD, hat also einen leeren Destruktor.

Genau das ist der Grund, warum es boost::scoped_ptr bzw. boost::scoped_array gibt :-)

[Krishty]

Krass, wie fundamental ich mich da wieder geirrt habe … new und new [] werden tatsächlich völlig ignoriert … ich hatte dauernd im Hinterkopf, dass während des Stack-Unwindings die passenden deletes aufgerufen würden :shock:

Ich finde im Netz zwar auch hunderte Artikel darüber, dass new Ausnahmen werfen kann, aber keinen einzigen darüber, wie sich dynamischer Speicher bei Ausnahmen verhält …

Dann benutze ich eben einen vector statt dem guten alten Array – danke für die Aufklärung :)