доходит  

Не доходит до деструктора Obj1 потому что ломается на поиске соотвествующего catch. Тот, что есть, не ловит, так как наследование Exc1 от BaseExc приватное, и приведение типов в ловушке не производится.
Напиши 
и все заработает

???

Добавлено через 14 секунд
код не менял

Код не менял -



Код менял -

Студия 2003

PS. У тебя вообще поддержка исключений включена?


Это сообщение отредактировал(а) xvr - 5.7.2009, 00:32

включена - /EHsc
студия - 2008

MSVC 2008 ругается

warning C4722: 'Obj1::~Obj1' : destructor never returns, potential memory leak

код не менял, доходит только до Exc1()
исключения включены - /EHsc
***
gcc тоже только до Ex1 доходит

Это сообщение отредактировал(а) zim22 - 5.7.2009, 11:35

'Аналогичн' © Следствие ведут Колобки
Lazin колись, почему у тебя доходит   
Уж до ~ObjMain() по любому доходить не должно - исключение из деструктора Obj1 должно было срубить программу раньше однозначно!

Если еще закоментировать throw Exc2(); в деструкторе Obj1 и добавить ключ /GR при компиляции (для поддержки RTTI), то получим
что и ожидалось

именно, а разве в студии эта опция не включена по умолчанию?

Возможно, я компилировал с коммандной строки, там она по умолчанию не включена

Читая дальше Страуструпа про "Спецификации исключений", обнаружил еще одно непонятное явление:




Вопрос, в F2 сказано что генирит только и только Exc2 , но в F1, которую она вызывает генерится Exc1 , так почему не вызывается unexpected() ?

---
Гы, а сейчас вызывается этот unexpected() , только почему не вызывался, не пойму! Использую MS Visual Studio 2008 TS

Это сообщение отредактировал(а) EvilsInterrupt - 6.7.2009, 12:16

компилятор студии ведет себя здесь не так как положено по стандарту, если ф-я имеет не пустую спецификацию исключений, то она может кидать любое исключение и unexpected не вызовется, нормально работают только пустые спецификации исключений

Продолжаю эксперементировать дальше, стандарт по С++ говорит что std::exception это базовый класс. Для меня базовый это тот класс, реализацию которого осуществляют в потомках, но вот есть код:



В этом коде, объект std::exception успешно создается! Но почему ? Если этот базовый, то не должно ведь!

Попробуй это собрать на компиляторе, который более соответствует стандарту:

Добавлено через 1 минуту и 6 секунд
EvilsInterrupt, пользуйся std::runtime_error или другими стандартными исключениями, если они тебе подходят.

Добавлено через 7 минут и 42 секунды

В корне не верное утверждение. Базовый - это класс, который был унаследован. И не важно, реализует ли наследник что-то или нет.
Существует понятие абстрактного класса - класс, у которого хотя бы один метод объявлен абстрактным (реализация может присутствовать). Нельзя создать экземпляр подобного класса. Можно создать только экземпляр потомка, который реализует (наследует реализацию) всех абстрактных методов.

bsa, 

Да я еще думаю над вопросом "А что мне подходит ?" ;)
1)
Хочу ловить разнообразные bad_alloc, ну и др. полезные исключения, а это означет использование потомков exception или насколько понял std::exception, пока еще не понял в чем их различие.
2)
Насколько понимаю есть, которые произошли не по вине программы, к примеру сеть обрубили или свет выключили и коннекта с модемом нет и это runtime_error, а есть логические, к примеру некорректно вычислилась зарплата и введено большое входнойчисло, а на старте процесса вычисления невозможно было сразу проверить, тогда это logic_error

но что делать если ошибки такие:
- открытие файла
- создание файла
- чтение из файла
- запись в файл
- выделение памяти для внутреннего кэша

Казалось бы все они логические, но разве от программы зависит открытие файла ? Это операционка решает открыть или нет!

Пока пришел к выводу, что на каждую систему, читай библиотеку надо создавать свой базовый класс исключений. В данном случае, что писывал для системы IOlib нужно создать базовый:

class error_iolib : public std::exception;

а уж от error_iolib порождать error_io_read, error_io_write, etc , даже не смотнря нато что ошибка при выделении буфера близка к bad_alloc , все равно лучше создать error_io_cashe . Думаю такой подход не нарушит концептуальной целостности библиотеки и будет понятно, что к чему относится.

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