Mida tuleks arvestada, kui C ja C++ omavahel suhtlevad erandite haldamise kontekstis?

Kui töötate C ja C++ vahelise koostöö raames erandite töötlemise kontekstis, tuleb arvestada:

• Piiride ületamine. C++ erandid ei saa ületada extern "C" funktsioonide piire. See viib määramatule käitumisele.
• Mehhanismide ühilduvus. C-l puudub sisseehitatud erandite töötlemise mehhanism (nagu try-catch C++-s), see tugineb vigadele või setjmp/longjmp-le.
• Erandite turvalisus. C++ kood, mis kutsub C funktsioone, peab olema valmis, et need C funktsioonid ei pruugi olla exception safe. Need ei kutsu välja C++ kohalike objektide destruktorid longjmp-i ajal.
• Erandite püüd. Tuleb kasutada C++ try-catch plokke, et töödelda C++ erandeid enne või pärast C funktsioonide väljakutset.
• Vigade oleku edastamine. C funktsioonid peaksid tagastama vigakoodid, mida C++-kood saab vajadusel eranditeks konverteerida.
• Tagasikutsed (callbacks). Kui C funktsioonid kasutavad C++ callback'e, peavad need callback'id püüdma kõiki C++ erandeid sees, et erand ei pääseks C-koodi kaudu välja.
• **noexcept`` kasutamine.** C++11 võimaldab selgelt märkida funktsioone kui noexcept, mis võib olla oluline C-funktsioonide või extern "C"` funktsioonide väljakutsel, tagades, et need ei viska erandeid.

Näide, mis illustreerib piiride ületamise probleemi:

#include <cstdio>
#include <stdexcept>

// C funktsioon, mis on deklareeritud `extern "C"`
extern "C" {
void c_function(int value) {
    if (value < 0) {
        // Ei ole võimalik visata erandit C funktsiooni piiril!
        // throw std::runtime_error("Negative value is not allowed in C.");
        // Selle asemel, C tavaliselt tagastab veakoodi või kasutab stderr
        fprintf(stderr, "Error: Negative value is not allowed in C.\n");
    }
    // ... ülejäänud C funktsiooni loogika ...
}

// C++ funktsioon, mis kutsub C funktsiooni
void cpp_function() {
    try {
        // Kutsub C funktsiooni
        c_function(10);
        c_function(-5); // See kutse võib põhjustada vea C funktsioonis
    } catch (const std::exception& e) {
        // See plokk ei tööta, kui C-funktsioon viskab erandi extern "C" piiril
        printf("Caught exception in C++: %s\n", e.what());
    }
}
}