такой код:

http://liveworkspace.org/code/5bdbe54ebc9f...831474f53d46993
успешно компилятся.

но не ясным становится вопрос, что выполняет дефолтный деструктор? с дефолтным конструктором все понятно.

Это сообщение отредактировал(а) boostcoder - 28.11.2011, 18:16

а что их несколько, деструкторов?

Это сообщение отредактировал(а) Alca - 28.11.2011, 18:28

имеется в виду сгенеренный по умолчанию


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

просто с дефолтным конструктором встречаешь ежедневно. а вот о дефолтном деструкторе задумался впервые  

вызывает по-очереди деструкторы всех членов класса. нет ?

а вот гораздо интереснее, на мой взгляд 

нет. их вызов обеспечивает компилятор. кстати, если деструктор не дефолтный, деструкторы не вызываются штоли?
http://codepad.org/Uj0iCGWy


ничего особенного. компилятор не может вызвать деструктор, т.к. класс недоопределен. это, кстати, известная проблема: вроде бы работа происходит только с указателями, однако вызов delete требует описание класса. именно из-за необходимости вызова деструктора.

Добавлено через 2 минуты и 14 секунд
зато http://codepad.org/bdTI0l1y
;-)

да известная.. просто я не понял зачем тс создал тему и поэтому решил немножко е ерасширить 


но деструктор вызывается  только не тот что надо   

Студия деструктор не вызывает, о чем честно сообщает в ворнинге:

g++ 4.1.2 -std=c++98 не компилирует, говорит incomplete type

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

видимо тут дело в возможном наличии нестандартного operator delete(), и хотя явно к деструктору не относится, результат тот, что мы имеем

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

не, это не причина. если деструктор виртуальный, то его код будет отличаться (как кстати и код конструктора класса, имеющего vtable)

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

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