Какво се случва, ако в функция, маркирана като noexcept, възникне изключение?

Програмата ще бъде незабавно прекратена с извикването на std::terminate(). Това е стандартното поведение, определено в C++ за обработка на изключения, които излизат извън обхвата на функция, обявена като noexcept.

Релевантните раздели на стандарта C++ по този въпрос са:

• [except.spec] Спецификация noexcept.
• [except.terminate] Обработка чрез извикване на std::terminate().

Пример:

#include <iostream>
#include <stdexcept>
#include <cstdlib> // За std::terminate

void f() noexcept {
    throw std::runtime_error("Възникна грешка в noexcept функция");
}

int main() {
    try {
        f();
    } catch (...) {
        // Този блок catch няма да бъде достигнат
        std::cerr << "Хванато изключение" << std::endl;
    }

    // Ако f() хвърли изключение, std::terminate() ще бъде извикан преди тази точка
    std::cout << "Програмата продължава изпълнението си (няма да бъде показано)" << std::endl;

    return 0;
}

Изходът на тази програма ще съдържа съобщение от обработчика std::terminate(), който може да зависи от реализацията, но обикновено включва информация за причината за прекратяване.

terminate called after throwing an instance of 'std::runtime_error'
  what():  Възникна грешка в noexcept функция