Есть код:



Если в "Label" что помечена комментариями вызову не по ссылке, а по значению то PrintfErrMsg будет от базового класса BaseException , если по ссылке то от потомка SimpleException. 

Мне хочется более детально вникнуть в след. вопросы:
1. Как вызываются и у кого конструкторы копий, чтобы такой результат был ?
2. Кто удаляет объект исключения при прием по ссылке или по значению, а ведь можно объект и по throw new созадать , как тогда будет убиваться объект ?

Вобщем вопросов много, мне бы ключевые слова, которые нужно искать в книге Страуструпа, пока читаю главу 14 про исключения, но не особо въехал

а что тут странного? PrintfErrMsg виртуальная функция, в случае поимки исключения по значению - объект копируется в объект типа базового класса.
А можно узнать - зачем ловить исключения по значению?

2 azesmcar :
Вопрос не в странности "зачем ловить?", а вопрос как вникнуть в "Мне хочется более детально вникнуть в след. вопросы:"

То что я привел этот код, это всего лишь для того чтобы показать что мне интересно! ;) Понятно что на практике ни один умо-имеющий программер не будет принимать по значению объект ,когда мог быть передан потомок. Но т.к. изучаю азы, мне интересно пока все тонкости и нюансы ;)

а кто удаляет объект когда ты пишешь

?
Этот объект имеет automatic storage duration и он автоматически удаляется при покидании блока. Если создать объект исключения с помощью new, тогда он имеет dynamic storage duration и забота об удалении возлагается на твои плечи.


ответ на вопрос в том, что вызывается копирующий конструктор для BaseException и соответственно создается объект типа BaseException и функция будет вызвана для него.

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

не совсем так, когда пишу:

то как правило создается стековый фрэйм, а-ля:

и в прологе обычный add esp,4

Это все понятно и легко!
Но в случае new выделяется память под создаваемый объект, значит он должен быть убит, т.е. кто-то должен вызвать delete exception_obj; и тут обыкновенным sub esp,4 мы убьем просто локальную переменную храняющую адрес, но никак не сам объект !!!

Мне интересно как убивается сам объект ! ;)

так. Это был ответ на вопрос

на этот вопрос я ответил далее



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


вызовом деструктора.


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

Это сообщение отредактировал(а) azesmcar - 30.6.2009, 11:42

с чего вы взяли что при вызове delete будут вызываться именно эти ассемблерные команды?



сначала оператор delete  вызывает деструктор объекта.  а потом вызвается функция operator delete, которая подчищает память за объектом.

Вопросы:

1) Если сгенерировали потомка SimpleException и не использовали оператор new. В операторе catch поймали по значению , то вызовется PrintfErrMsg от базового класса, не смотря на то что создан потомок! Значит вызван конструктор копий такой, что создал указатель на виртуальную ф-цию базового класса ! Вопрос какого хрена ? Почему так ? + Ко всему кто убьет объект в этом catch ?

2) Если повторили тоже самое что и в п.1 ,но приняли по ссылке в операторе catch , то значит был вызван конструктор и он почему то присвол указателю вирт ф-ции PrintfErrMsg  на вариант этой ф-ции в SimpleException , почему ? Какого черта ? Потом, кто убивает объект переданный в catch ?

3) Если мы при генерации воспользовались new SimpleException, то я должен:
 - в этом классе сделать виртуальным деструктор
 - в catch теле вызвать самостоятельно delete e; ?
все верно думаю в п.3 ?

Уточняю еще, пока не скопилировалось понимание ;)

при передаче объекта производного класса в фунцию, которая принимает в качестве параметра объект базового класса по значению - объект производного класса будет "урезан" до объекта базового класса. 
***
EvilsInterrupt, снабдите диагностическими сообщениями вызовы конструкторов/деструкторов.
сами и увидите как всё происходит. 


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

Можешь грубо считать, что параметр catch - это формальный аргумент процедуры. А твой объект в throw - это фактический параметр. А сам блок catch - это вызов процедуры с параметром. Все манипуляции с параметрами (и объектами) будут такими же.

1) при передаче объекта класса Foo по значению вызывается копирующий конструктор Foo(Foo&)
при этом тело объекта находится в стеке, его деструктор будет вызван при завершении "функции" catch,  тело объекта будет удалено ret xx если __stdcall или вызвавшим ее кодом если это __cdecl
"не использовали оператор new" : оригинальный объект, который копировался, живет в стековом фрейме функции (или самого try-catch если у него свой фрейм), при выходе из функции будет вызван его деструктор, а mov esp,ebp удалит его тело

2) Если передали по ссылке, копирования нет, после try-catch будет восстановлен esp (mov esp,ebp) и тело объекта удалится. Про деструктор - хз

3) все так

скомпилил бы, заглянул в IDA, все бы увидел и нам рассказал %)

Это сообщение отредактировал(а) GoldFinch - 30.6.2009, 14:13

>>скомпилил бы, заглянул в IDA, все бы увидел и нам рассказал %)
влом ) пока задал и жду ответа, делаю декомпиляцию виртуализованного кода от RLPack 1.20.1f мозг выносит напрочь... ;) Уж не ругайтесь сильно ;)

Это сообщение отредактировал(а) EvilsInterrupt - 30.6.2009, 13:48

Ваши вопросы не связаны с исключениями - такое поведение будет и при обычном вызове функции.
1. При передаче по копии используется конструктор типа указанного в параметре функции.
2. Копия удаляется при выходе из функции.

Что если в операторе throw при создании объекта в конструкторе класса исключения, к примеру SimpleException описываемого выше, произошла бага и он не создался ? Как это разруливается ?

Никак не разруливается. Будет вызвана функция terminate, что приведет к abort'у программы