Улавливает ли исключение ссылкой ссылкой?

Question

Пожалуйста, обратите внимание на следующее бросании исключения и ловли:

void some_function() { 
    throw std::exception("some error message"); 
} 

int main(int argc, char **argv) { 
    try { 
     some_function(); 
    } catch (const std::exception& e) { 
     std::cerr << e.what() << std::endl; 
     exit(1); 
    } 
    return 0; 
} 

Безопасно, чтобы поймать брошенное исключение по ссылке?

Меня беспокоит то, что исключение e на самом деле , размещенное в стеке of some_function(). Но some_function() только что вернулся, в результате чего e будет уничтожен. Итак, на самом деле теперь e указывает на разрушенный объект.

Является ли мое беспокойство правильным?

Каков правильный способ передачи исключения без копирования его по значению? Должен ли я бросать new std::exception(), чтобы он был помещен в динамическую память?

Answer 1

это действительно безопасно - и рекомендовал - поймать с помощью const ссылки.

"e фактически помещается на стек some_function()"

Нет, это не ...объект фактически брошен создаются в неустановленной области памяти, зарезервированной для использования механизма обработки исключений:

[except.throw] 15.1/4: Памяти для объекта исключения выделяются в неустановленном , за исключением случаев, указанных в п. 3.7.4.1. Исключение объект уничтожается после того, как последний оставшийся активный обработчик для исключений выйдет любыми способами, кроме ретрансляции, или уничтожается последний объект типа std :: exception_ptr (18.8.5), который ссылается на объект исключения, в зависимости от того, что позже.

Если локальный переменная задана в throw, он скопировал там к в случае необходимости (оптимизатор может быть в состоянии непосредственно создать его в этой другой памяти). Вот почему ...

15,1/5 Когда брошено объект является объектом класса, конструктор, выбранным для копирования инициализации и деструктора должен быть доступен, даже если операция копирования/перемещения опущена (12,8).

---

Если не нажата, она мощь поможет представить реализацию туманно, как это:

// implementation support variable... 
thread__local alignas(alignof(std::max_align_t)) 
    char __exception_object[EXCEPTION_OBJECT_BUFFER_SIZE]; 

void some_function() { 
    // throw std::exception("some error message"); 

    // IMPLEMENTATION PSEUDO-CODE: 
    auto&& thrown = std::exception("some error message"); 
    // copy-initialise __exception_object... 
    new (&__exception_object) decltype(thrown){ thrown }; 
    throw __type_of(thrown); 
    // as stack unwinds, _type_of value in register or another 
    // thread_local var... 
} 

int main(int argc, char **argv) 
{ 
    try { 
     some_function(); 
    } // IMPLEMENTATION: 
     // if thrown __type_of for std::exception or derived... 
     catch (const std::exception& e) { 
     // IMPLEMENTATION: 
     // e references *(std::exception*)(&__exception_object[0]); 
     ... 
    } 
} 

Answer 2

Поймать константой ссылку точно как исключения должны быть пойманы. Объект исключения не обязательно должен находиться в стеке. Компилятор отвечает за соответствующую магию, чтобы сделать эту работу.

С другой стороны, ваш пример не может быть скомпилирован, так как std::exception может быть сконфигурирован по умолчанию или создан для копирования. В этом случае метод what() вернет указатель на пустую строку (c-style), что не особенно полезно.

Предлагает Вам бросить std::runtime_error или std::logic_error в зависимости от обстоятельств, или класс, производный от него:

• logic_error, когда вызывающий абонент запросил что-то вне конструктивных параметров вашей службы.
• runtime_error, когда вызывающий абонент запросил что-то разумное, но внешние факторы не позволили вам выполнить запрос.

http://en.cppreference.com/w/cpp/error/exception

Answer 3

Вы есть поймать по ссылке, иначе вы не могли бы получить правильный динамический тип объекта. Что касается его жизни, стандартных гарантии, в [except.throw],

Объект исключения уничтожен после того, как либо последний оставшийся активного обработчика для выходов исключения иного способа, кроме Повторного выбрасывания, или последнего объекта типа станда средства :: exception_ptr (18.8.5), который ссылается на объект исключения разрушается, в зависимости от того позже

Answer 4

От except.throw:

Вызывая исключения копирования инициализирует (8.5, 12.8) временный объект, , называемый объектом исключения. Временной является значением lvalue и используется для инициализирует переменную, объявленную в соответствующем обработчике (15.3). Если тип объекта исключения был бы неполным или указателем неполным типом, отличным от (возможно, cv-qualified) void , программа плохо сформирована.

Это акт исключения исключения, который копирует объект исключения в области исключений за пределами любого стека. Поэтому вполне логично и целесообразно, чтобы вызывать исключение по ссылке, поскольку срок жизни объекта исключения будет продолжаться до последнего возможного catch().