Поведение исключений C++ escaping в c-программу

Question

Допустим, у меня есть разделяемая библиотека, которая реализована на C++, но предоставляет чистый c-интерфейс. Эта библиотека затем используется в c-программе.

Предоставляет ли gcc какие-либо гарантии о том, что происходит, если исключение выходит из библиотеки C++ в приложение c?
Будет ли это, например. всегда заканчивать программу?

Меня больше всего интересует ответ gcc на Linux на x64 и ARMv7-R, но ответы на другие операционные системы, компиляторы и архитектуры также приветствуются.

EDIT:
Просто сделать это ясно: я не говорю о разрешении исключения проходят через с-функции, а затем быть пойманы в вызывающей функции C++ или взаимодействия с С или С ++ обратных вызовов. Сам код приложения является чистым c. В какой-то момент он будет вызывать функцию общей библиотеки (которая внутренне является чистым C++), и код приложения не будет вызываться до тех пор, пока эта функция не вернется. Также предположим, что я не могу контролировать, какие флаги используются для компиляции кода приложения.

Answer 1

Из того, что я вижу, об исключениях C++, в this example который я взял from MSDN, GCC, кажется, включает следующую сборку в заявлении загвоздка:

call __cxa_end_catch 
    jmp  .L37 
    movq %rax, %rbx 
    call __cxa_end_catch 
    movq %rbx, %rax 
    movq %rax, %rdi 
    call _Unwind_Resume 

, который использует библиотеку, что я могу только предположить, являются C++ вызовы функций, которые относятся к исключениям (например, _Unwind_resume). Поэтому, если код C ссылается на вашу библиотеку, он должен будет предоставить эти символы/функции, что означает, что код будет вводить библиотеку C++ для устранения исключений.

Однако я еще не знаю, что требует библиотека C++ для выполнения своей работы. Я ожидал бы, что это будет самодостаточным, но я не уверен в этом.

Edit: Ответ на этот вопрос, скорее всего, лежит в ответах на следующие два существующих вопросов (и их интерпретации):

1. How is the C++ exception handling runtime implemented?
2. How are exceptions implemented under the hood?
3. How do exceptions work (behind the scenes) in c++

Редактировать 2: От this answer, кажется, что с __cxa_throw используется таблица для отслеживания доступных обработчиков. Я бы предположил, что когда таблица исчерпана, , которая в нашем случае возникает, когда мы вводим код C, функция вызовет std::terminate. Следовательно, среда выполнения C++ (на которую вы должны были установить связь) должна позаботиться об этом для вас, если вам не нужно выставлять предложение catch all.

Поскольку я все еще не уверен, я напишу тест этой теории и обновить ответ с результатами.

Answer 2

Если исключение C++ выходит из внешнего блока try (который может быть только в самом внешнем вызове функции C++), то исключение не может быть обнаружено.

Неперехваченное исключение всегда приводит к прекращению на std::terminate, в соответствии со стандартом C++, §15.3/9.