Раньше никогда не обращал внимания, теперь решил разобраться с вопросом.

Допустим имеется код:

Код

struct Overload {     const char *p;     Overload( const char *q ) { p = q; } }; //. . .   void f1( int depth ) {     if ( depth >= 10 ) throw Overload( "f1" );     f2( depth + 1 ); } void f2( int depth ) {     if ( depth >= 10 ) throw Overload( "f2" );     f3( depth + 1 ); } void f3( int depth ) {     if ( depth >= 10 ) throw Overload( "f3" );     f1( depth + 1 ); } // . . .     try {         f1( 0 );     }     catch ( Overload e ) {         cout << "exception executed in function " << e.p << endl;     }

Алгоритм действий я как понимаю такой: функции вызывают друг друга, передавая параметр на 1 больше своего, то дех пор, пока одна из функций не получит 10. В таком случае генерируется исключение и управление передается в блок catch.

Если расматривать все на более низком уровне, то очевидно параметры подаются через стек и стек должен восстанавливаться при завершении функции. А что тогда будет в этом случае, ведь ни одна функция фактически не завершиться? Будет ли очищаться стек, либо его надо очищать вручную, либо вобще избегать таких конструкий? Что скажите?

Это сообщение отредактировал(а) Perchilla - 23.10.2005, 21:31

Стек очищается, деструкторы стековых объектов вызываются. Короче, ты ищешь грабли там, где их нет.

srd .

спасибо,буду знать на будущее

Perchilla
В этом, собственно, и суть исключений (и заодно идиомы RAII)

Кстати, VC 7 исключения обрабатывает очень медленно. Попробуйте вот такую штуку прогнать, не дождетесь .

Код

struct Bench_exc {     int i;     Bench_exc( int j ) { i = j; }; }; int bench( int i ) {     if ( i == 20 ) return i+100;     throw Bench_exc( i+100 ); } // . . .    int j;     for (int i = 0; i < 1000000; ++i) {         try {             bench( 10 );         }         catch ( Bench_exc e ) {             j += e.i;         }     }

на MinGW - меньше секунды.

Это сообщение отредактировал(а) Perchilla - 23.10.2005, 22:11

Perchilla
VC++ реализует исключения с помощью SEH, а MinGW каким-то своим способом. Если взглянуть на результаты GetProcessTimes, то бинарик VC++ бОльшую часть времени проводит в kernel time.
Подробности реализации исключений в VC++ расписаны здесь.

Пользуясь темой, хочу спросить...
Какова максимальная глубина рекурсии в с++?
И несёт ли использование рекурсии какие-либо опасности типа стек переполнен и др.?

Цитата(Helicopterr @ 24.10.2005, 00:32)

Какова максимальная глубина рекурсии в с++?

Зависит от выделенного размера стека

Цитата(Helicopterr @ 24.10.2005, 00:32)

И несёт ли использование рекурсии какие-либо опасности типа стек переполнен и др.?

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

Цитата(Void @ 23.10.2005, 22:35)

Зависит от выделенного размера стека

а если более конкретно вот например рекурсивный код нахождения факториала-

Код

#include "stdafx.h" long double recfactorial(short chislo); int _tmain() {            short chislo;     cin>>chislo;     cout<<"\nFactorial "<<chislo<<" = "<<recfactorial(chislo);     return 0; } long double recfactorial(short chislo) { if(chislo<=1) return 1; else return(chislo*recfactorial(chislo-1)); }

Helicopterr
Глубина рекурсии O(N), каждый вызов recfactorial занимает в стеке как минимум sizeof(short) + адрес возврата. Линкер VC++ по умолчанию задает размер стека 1 Мб. Получаем максимально возможную глубину рекурсии порядка 10^5, что все равно выходит за диапазон short (пар-р chislo).

Вопрос в тему... присутсвует кстати в большиснстве тестов по C++.
Для каких обьектов будут вызваны деструкторы при возникновении исключения и обработки его своим catch'ом. Для всех ? Или только для обьктов созданных внутри блока try ?

Есть такое явление, называемое "Размотка Стека". Это произходит тогда, когда исключение вознокло в дискрукторе объекта, и небыло перехвачено. Если ф-ция создающая объект глубоко вложена, то размотка приобретает колласальные размеры, и может вызвать трудновыловимые ошибки. Одно из средств предотвращения размотки стека - использование auto_ptr.

En_t_end
А пример кода можно? А то я не понял, что именно ты спрашиваешь.

2 pablo

К вопросу о "размотке" стека - если ты о том, что по заморски называется Stack Unwinding, то тут ты ошибаешься. Раскруткой стека (мне это название больше нравится) называется процесс удаления стековых объектов и возврат из вложенных функций до уровня первого попавшегося catch-блока, если он есть конечно. От твоего определения мое отличается тем, что раскрутка стека происходит в любом случае. Если же исключение сгенерировано из деструктора, то это особый случай. Тут, если деструктор, сгегеривший исключение, был вызыван в процессе раскрутки стека, вызывается abort();

Цитата

Одно из средств предотвращения размотки стека - использование auto_ptr

Размотка стека - это Хорошая Вещь, придуманная как часть механизма исключений, и предотвращать её, имхо, довольно глупо.

Это сообщение отредактировал(а) Chaos A.D. - 24.10.2005, 12:11

2Chaos A.D. Может быть, спасибо что исправил.