Ko jāņem vērā, sadarbojoties starp C un C++ kontekstā, kas saistīts ar izņēmumu apstrādi?

Kad strādātu ar C un C++ mijiedarbību izņēmumu apstrādes kontekstā, jāņem vērā:

• Jau robežu pārkāpšana. C++ izņēmumi nevar pāriet extern "C" funkciju robežās. Tas noved pie nenoteikta uzvedības.
• Mehānismu nesaderība. C nav iebūvēta izņēmumu apstrādes mehānisma (kā try-catch C++), tas balstās uz kļūdu kodiem vai setjmp/longjmp.
• Izņēmumu drošība. C++ kods, kas izsauc C funkcijas, ir jābūt gatavam, ka šīs C funkcijas var nebūt exception safe. Tās neizsauc lokālo C++ objektu destruktorus longjmp laikā.
• Notikumu uztveršana. Ir jāizmanto C++ try-catch bloki, lai apstrādātu C++ izņēmumus pirms vai pēc C funkciju izsaukšanas.
• Kļūdas stāvokļa nodošana. C funkcijas jāatgriež kļūdu kodi, kurus C++ kods var konvertēt uz izņēmumiem, ja nepieciešams.
• Atpakaļsauces (callbacks). Ja C funkcijas izmanto C++ callback funkcijas, šie callback funkcijas ir jāuztur, lai tās iekšēji uztvertu jebkādas C++ izņēmumus, lai izņēmums neizietu ārpus C koda.
• noexcept izmantošana. C++11 ļauj skaidri atzīmēt funkcijas kā noexcept, kas var būt svarīgi, izsaucot C funkcijas vai extern "C" funkcijas, nodrošinot, ka šīs funkcijas neizmet izņēmumus.

Piemērs, kas ilustrē robežu pārkāpšanas problēmu:

#include <cstdio>
#include <stdexcept>

// C funkcija, deklarēta ar extern "C"
extern "C" {
void c_function(int value) {
    if (value < 0) {
        // Nav iespējams mest izņēmumu caur C funkcijas robežu!
        // throw std::runtime_error("Negative value is not allowed in C.");
        // Tā vietā, C parasti atgriež kļūdas kodu vai izmanto stderr
        fprintf(stderr, "Error: Negative value is not allowed in C.\n");
    }
    // ... pārējā C funkcijas loģika ...
}

// C++ funkcija, kas izsauc C funkciju
void cpp_function() {
    try {
        // Izsauc C funkciju
        c_function(10);
        c_function(-5); // Šis izsaukums var novest pie kļūdas C funkcijā
    } catch (const std::exception& e) {
        // Šis bloks nesāks darboties, ja C funkcija `extern "C"` robežās izmetīs izņēmumu
        printf("Caught exception in C++: %s\n", e.what());
    }
}
}