Как работают метания и ловли?

С этим кодом:

int main()
{
    try
    {
        throw -1;
    }
    catch (int& x)
    {
        std::cerr << "We caught an int exception with value: " << x << std::endl;
    }
    std::cout << "Continuing on our merry way." << std::endl;

    return 0;
}

У нас есть:

/tmp$ ./prorgam.out
Continuing on our merry way
We caught an int exception with value: -1

Как catchблок читается -1как int&? Мы не могли присвоить значение неконстантной ссылке на lvalue.

И почему второе std::coutутверждение выполняется перед первым std::cerrутверждением?

c++ exception try-catch

— Гасем Рамезани
источник

Вы уверены, что это именно то, что вы получили? We caught an int exception with value: -1Линия должна быть напечатана первой.

— HolyBlackCat

@Scheff, извините, вы правы, первый вывод перенаправлен на error streamнет standard stream.

— Гасем Рамезани

Дубликат временных привязок к неконстантным ссылкам в случае исключений .

— Франсуа Андриё

@ FrançoisAndrieux Причина, по которой это разрешено, заключается в том, что существует разная семантика. Обычно с временным вы не знаете, что произойдет с ним, поэтому было решено разрешить только постоянные ссылки на временные. За исключением того, что мы знаем время жизни объекта, и мы можем захотеть изменить его и перебросить в более высокий контекст. Чтобы облегчить это, стандарт допускает привязку к неконстантной lvalue ссылке.

— Натан Оливер

@ FrancoisAndrieux throwсоздает копию (или перемещает) объект, который вы ему передаете. Ссылка привязывается к этой копии. Это имеет смысл, что копия является lvalue.

— HolyBlackCat

Ответы:

Это нормально из-за [кроме. Броска] / 3

Вызов исключительной копии инициализирует ([dcl.init], [class.copy.ctor]) временный объект, называемый объектом исключения. Значение l, обозначающее временное значение, используется для инициализации переменной, объявленной в соответствующем обработчике ([исключением. Дескриптор]).

^{акцент мой}

Как вы можете видеть, хотя это и временно, компилятор обрабатывает его как lvalue для инициализации обработчика. Из-за этого вам не нужна постоянная ссылка.

— NathanOliver
источник

Но что за порядок, в котором появляются сообщения?

— Томаш Зато - Восстановить Монику

Из этой throwссылки :

В отличие от других временных объектов, объект исключения считается аргументом lvalue при инициализации параметров предложения catch, поэтому он может быть перехвачен ссылкой lvalue, изменен и переброшен.

Таким образом, хотя «объект» является временным, он все еще является lvalue, и поэтому вы можете перехватить его по ссылке.

— Какой-то программист чувак
источник