Na co zwrócić uwagę podczas interakcji między C a C++ w kontekście obsługi wyjątków?

Podczas interakcji między C a C++ w kontekście obsługi wyjątków należy wziąć pod uwagę:

• Przecięcie granic języków. Wyjątki C++ nie mogą przekraczać granic funkcji z linkage extern "C". Prowadzi to do nieokreślonego zachowania.
• Niezgodność mechanizmów. C nie ma wbudowanego mechanizmu obsługi wyjątków (takiego jak try-catch w C++), polegając na kodach błędów lub setjmp/longjmp.
• Bezpieczeństwo wyjątków. Kod C++ wywołujący funkcje C musi być przygotowany na to, że te funkcje C mogą nie być bezpieczne dla wyjątków. Nie wywołują destruktorów lokalnych obiektów C++ przy wyjściu przez longjmp.
• Przechwytywanie wyjątków. Należy używać bloków try-catch w C++ do obsługi wyjątków C++ przed wywołaniem funkcji C lub po jej powrocie.
• Przekazywanie stanu błędu. Funkcje C powinny zwracać kody błędów, które kod C++ może następnie konwertować na wyjątki, jeśli to konieczne.
• Wywołania zwrotne (callbacks). Jeśli funkcje C używają callbacków w C++, te callbacki powinny łapać wszelkie wyjątki C++ wewnętrznie, aby wyjątek nie wyszedł na zewnątrz przez kod C.
• Użycie noexcept. C++11 pozwala na jawne oznaczanie funkcji jako noexcept, co może być ważne przy wywoływaniu funkcji C lub funkcji z extern "C", zapewniając, że te funkcje nie rzucają wyjątków.

Przykład demonstrujący problem przecięcia granic:

#include <cstdio>
#include <stdexcept>

// Funkcja C, zadeklarowana z extern "C"
extern "C" {
void c_function(int value) {
    if (value < 0) {
        // Nie można rzucać wyjątku przez granicę C!
        // throw std::runtime_error("Negatywna wartość niedozwolona w C.");
        // Zamiast tego, w C zwykle zwraca się kod błędu lub używa stderr
        fprintf(stderr, "Błąd: Negatywna wartość niedozwolona w C.\n");
    }
    // ... reszta logiki funkcji C ...
}

// Funkcja C++, wywołująca funkcję C
void cpp_function() {
    try {
        // Wywołanie funkcji C
        c_function(10);
        c_function(-5); // To wywołanie może spowodować błąd w funkcji C
    } catch (const std::exception& e) {
        // Ten blok catch nie zostanie wywołany, jeśli funkcja C rzuci wyjątek przez extern "C"
        printf("Przechwycono wyjątek w C++: %s\n", e.what());
    }
}
}