Почему это вызывает прекращение, если я пытаюсь что-то бросить в блок catch в С++

У меня есть следующий код на С++, и это дает мне сюрприз. Проблема в том, что если я что-то брошу, кроме повторного броска внутри блока catch, программа будет прервана вызовом abort и выдаст сообщение об ошибке в GCC4, msgstr "завершение вызова после вызова экземпляра 'int'. Если я просто использую "throw"; для повторного броска внутри блока catch все будет хорошо.

#include <iostream> 
#include <exception>
#include <stdexcept>

using namespace std;

int main()
{
    try{
        throw std::string("first throw");
    }
    catch(std::string &x){
        try{
            std::cout << x << std::endl;
//          throw;  // if I use this line, all is fine.
            throw int(2); // but if I use this line, it causes Abort() to be called
        }
        catch (int &k){
            throw;
        }
        catch(...)
        {
            cout << "all handled here!"<< endl;
        }
    }
    catch(...){
        std::cout<< "never printed" << endl;
    }
}

Ответ 1

Если вы выбрали int, тогда он не будет обработан; он будет пойман внутренним обработчиком catch (int &k), который повторяет его; и нет внешнего обработчика, чтобы поймать заново исключенное исключение, так как вы уже находитесь в внешнем блоке catch. Таким образом, в этом случае terminate вызывается из-за необработанного исключения.

Если вы переверните string, то он поймается внутренним обработчиком catch(...); это не отменяет, поэтому исключение обрабатывается.

Ответ 2

Вы throw не внутри какого-либо обработчика try, поэтому он вызывает вызываемый abort.

Вот ваш код с отступом, вычеркнутым немного, и некоторыми комментариями в строке:

#include <iostream> 
#include <exception>
#include <stdexcept>

using namespace std;

int main()
{
    try {
        throw std::string("first throw");
    }
    catch (std::string &x) {
        try {
            std::cout << x << std::endl;
            // throw;  // if I use this line, all is fine.
            throw int(2); // but if I use this line, it causes Abort() to be called
        }
        catch (int &k) {
            // Catches and rethrows exception. Not inside a try thus leads to abort.
            throw;
        }
        catch (...) {
            // Will handle the case where the string is rethrown instead. No abort.
            cout << "all handled here!"<< endl;
        }
    }
    catch (...) {
        std::cout<< "never printed" << endl;
    }
}