Na čo je potrebné myslieť pri interakcii medzi C a C++ v kontexte spracovania výnimiek?

Pri interakcii medzi C a C++ v kontexte spracovania výnimiek je potrebné brať do úvahy:

• Prekríženie hraníc jazykov. Výnimky C++ nemôžu prekrížiť hranice funkcií s extern "C" linkage. To vedie k undefined behavior.
• Nezlučiteľnosť mechanizmov. C nemá zabudovaný mechanizmus spracovania výnimiek (ako try-catch v C++), spolieha sa na chybové kódy alebo setjmp/longjmp.
• Bezpečnosť výnimiek. C++ kód volajúci C funkcie musí byť pripravený na to, že tieto C funkcie nemusia byť exception safe. Nevyvolávajú destruktory lokálnych objektov C++ pri ukončení cez longjmp.
• Zachytávanie výnimiek. Je potrebné použiť C++ try-catch bloky na spracovanie výnimiek C++ pred volaním C funkcií alebo po ich návrate.
• Prenos stavu chyby. C funkcie by mali vracať chybové kódy, ktoré C++ kód môže následne konvertovať na výnimky, ak je to potrebné.
• Callbacky. Ak C funkcie používajú C++ callbacky, tieto callbacky musia zachytiť akékoľvek C++ výnimky vo vnútri, aby výnimka nevystúpila von cez C kód.
• Použitie noexcept. C++11 umožňuje výslovne označiť funkcie ako noexcept, čo môže byť dôležité pri volaní C funkcií alebo funkcií s extern "C", zabezpečujúc, že tieto funkcie nehodia výnimky.

Príklad demonštrujúci problém prekríženia hraníc:

#include <cstdio>
#include <stdexcept>

// C funkcia, deklarovaná s extern "C"
extern "C" {
void c_function(int value) {
    if (value < 0) {
        // Nie je možné hádzať výnimku cez hranicu C funkcie!
        // throw std::runtime_error("Negative value is not allowed in C.");
        // Namiesto toho, v C zvyčajne vracajú chybový kód alebo používajú stderr
        fprintf(stderr, "Error: Negative value is not allowed in C.\n");
    }
    // ... zvyšok logiky C funkcie ...
}

// C++ funkcia volajúca C funkciu
void cpp_function() {
    try {
        // Volanie C funkcie
        c_function(10);
        c_function(-5); // Tento volanie môže viesť k chybe v C funkcii
    } catch (const std::exception& e) {
        // Tento blok catch sa nenaplní, ak C-funkcia hodí výnimku cez extern "C"
        printf("Caught exception in C++: %s\n", e.what());
    }
}
}