Ich verstehe hier etwas nicht ganz an der Bedeutung von extern "C" … hoffentlich kann mich jemand erleuchten. Also:
extern "C" teilt dem Compiler mit, dass man die darin deklarierten Symbole von C-Programmen aus aufrufen können soll. Dass das im Detail C-Namensdekoration usw bewirkt, ist hier unwichtig.
/EHsc – die standardmäßige Compiler-Option zum setzen des Ausnahmebehandlungsmodells – bewirkt, dass der Compiler annimmt, extern "C"-deklarierte Funktionen könnten keine Ausnahmen werfen:
„If used with s (/EHsc), catches C++ exceptions only and tells the compiler to assume
that extern C functions never throw a C++ exception.“
Das bedeutet u.a., dass in einer Funktion, die zwar aufzuräumende Objekte enthält, in deren Verlauf aber keine K’toren/D’toren/Funktionen aufgerufen werden die Ausnahmen werfen könnten – z.B., indem alle K’toren throw()-dekoriert
sind und nur extern "C"-deklarierte Funktionen aufgerufen werden – kein Code für Ausnahmebehandlung erzeugt werden muss. Soweit klar.
Nun kommen wir aber zum Verhalten innerhalb extern "C"-deklarierter Funktionen. Der Compiler darf die Annahme treffen, dass keine Funktion, die ich in einem extern "C"-Block schreibe, eine Ausnahme wirft. Der Knackpunkt ist nun: Ist das in dem Sinne
gemeint, als dass diese Funktion generell keine Ausnahmebehandlung benutzen sollte, oder in dem Sinne, dass sie nur keine Ausnahme nach außen durchlassen („emittieren“) sollte?
Ich wollte das testen, finde aber widersprüchliches Verhalten: Der Compiler ignoriert innerhalb extern "C"-deklarierter Funktionen Ausnahmebehandlung. Zeigen lässt es sich an diesem Beispiel:
struct ThrowsOnConstruction {
ThrowsOnConstruction () {
throw 0;
}
};
extern "C" {
ThrowsOnConstruction * badCFunction() {
return new ThrowsOnConstruction;
}
}
int main() {
badCFunction();
return 0;
}
Dieser Code erzeugt ein Speicherleck – da der Compiler davon ausgeht, dass innerhalb der Funktion nichts geworfen wird, fügt er auch keinen Code ein, der die Freigabe des per new allokierten Speichers im Fall eines fehlschlagenden K’tors
erzwingt.
Ganz anders ist die Sache nun aber, wenn man in badCFunction() einen try-catch-Block einfügt. Innerhalb dieses Blocks erzeugt der Compiler Ausnahmebehandlungs-Code und das Speicherleck verschwindet.
Die Frage ist nun: Wo ist das Verhalten „extern "C"-deklarierte Funktionen benutzen keine Ausnahmebehandlung, es sei denn, sie enthalten einen try-catch-Block“ dokumentiert? Will mir die Dokumentation von /EHsc sagen, dass extern "C"-Funktionen
nur keine Ausnahmen zum Aufrufer durchlassen dürfen, dass sie auch intern keine benutzen dürfen oder dass sie sie intern nur benutzen dürfen, wenn sie in try-catch-Blöcken auftreten? Ich finde dazu nichts in der Dokumentation und möchte
nicht, dass mein Code mit dem nächsten Compiler Release ungültig wird, weil das Verhalten geändert wurde.
Gruß, Ky
