Форум » C/C++ » Баг компилятора C++ gcc HEAD 10.0.0 20190 при обработке исключений. » Ответить
Баг компилятора C++ gcc HEAD 10.0.0 20190 при обработке исключений.
Сыроежка: Компилятор C++ gcc HEAD 10.0.0 20190 имеет серьезный баг при обработке исключений. Расммотрим следующую демонстрационную программу. [pre2] #include <iostream> struct A { static size_t n; A() : id( ++n ) { std::cout << "A( " << id << " )\n"; } A( const A & ) : id( ++n ) { std::cout << "A( " << id << " )\n"; } ~A() { std::cout << "~A( " << id << " )\n"; } size_t id; }; size_t A::n; struct B { B() { std::cout << "B()\n"; } ~B() noexcept( false ) { std::cout << "~B()\n"; throw( 0 ); } }; A f() { try { A a1; B b; A a2; return {}; // #1 } catch( ... ) { } return {}; // #2 } int main() { f(); }[/pre2] В этой программе деструктор структуры B выбрасывает исключение. В связи с этим должен удаляться объект структуры A, созданный в строке, помеченной как #1, так как происходит очищение стека от локальных объектов прежде, чем управление передасться на предложение с catch. однако этого не происходит. Вывод программы следующий: [pre2] A( 1 ) B() A( 2 ) A( 3 ) ~A( 2 ) ~B() ~A( 1 ) A( 4 ) ~A( 4 )[/pre2] Хотя на самом деле в соответствии со стандартом C++ вывод на консоль должен выглядеть как [pre2] A( 1 ) B() A( 2 ) A( 3 ) ~A( 2 ) ~B() ~A( 3 ) ~A( 1 ) A( 4 ) ~A( 4 )[/pre2] То есть между строками [pre2] ~B() ~A( 1 )[/pre2] должна появиться строка [pre2] ~A( 3 )[/pre2] То есть объект, созданный в предложении, помеченном как #1, остался не удаленным, что ведет к неопределенному поведению программы. Похоже. этот баг уже давно присутствует в этом компиляторе, возможно, и в других компиляторах. Так что будьте осторожны, когда используете исключения. Не допускайте подобного кода.
Ответов - 0
полная версия страницы