Czy standard C++ nakazuje, aby funkcje C-łącznika były "nie tylko"?

Question

Nie mogę znaleźć niczego w standardzie, który wymusza funkcje zadeklarowane przy extern "C" jako noexcept, niejawnie lub jawnie.

Jednak powinno być jasne, że konwencje wywoływania C nie obsługują wyjątków ... czy jest?

Czy wzmianka o tym istnieje, gdzieś, że tęskniłem? Jeśli nie, dlaczego nie? Czy jest to po prostu rodzaj szczegółowości wdrożenia?

Answer 1

O ile mogę powiedzieć, nie ma gwarancji, że funkcja zdefiniowana za pomocą linku "C" nie spowoduje wyjątków. Standard umożliwia programowi C++ zarówno wywoływanie funkcji zewnętrznej z łączem języka "C", jak i definiowanie funkcji napisanych w języku C++, które mają połączenie języka "C". Dlatego nic nie stoi na przeszkodzie, aby program w C++ wywoływał funkcję z łączeniem językowym "C", które faktycznie jest napisane w C++ (w innej jednostce kompilacji może, chociaż nawet to nie jest konieczne). Byłoby to dziwne, ale trudno to wykluczyć. Również nie widzę gdzie w standardzie mówi, że spowodowałoby to niezdefiniowane zachowanie (w rzeczywistości, ponieważ Standard nie może zdefiniować funkcji nie zapisanej w C++, byłoby to użycie tylko wtedy, gdy formalnie nie ma niezdefiniowane zachowanie).

W konsekwencji myślę, że błędem byłoby zakładać, że powiązanie "C" implikuje noexcept.

Answer 2

Um, przypuszczam, że extern "C" wystarczy użyć funkcji C-link, a nie funkcji C. Zapobiega wykonywaniu kompilatora C++ name mangling.

Bardziej bezpośrednio - załóż ten kod.

// foo.cpp 
extern "C" void foo() 
{ 
    throw 1; 
} 

// bar.cpp 
extern "C" void foo(); 
void bar() 
{ 
    try 
    { 
     foo(); 
    } 
    catch (int) 
    { 
     // yeah! 
    } 
}