g++ 3.4.6, 4.0.x

Это известная фича? А как в других компиляторах?

 А ты попробуй dynamic_cast-ом B в delete преобразовать... Останется еггог?

dinamic_cast может и сработает. 
Но допустим, мы не знаем, на объект какого класса a на самом деле ссылается? (А иначе зачем нам наследование?)

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

Добавлено @ 18:27 
добавь в A

и ексепшена не будет

Это известная ошибка начинающих разработчиков на C++

Daevaorn, точна   деструктора то виртуального нет))

Проблема в том, что вообще ничего виртуального нет в классе A.
И поэтому не выделяется указатель на виртуальную таблицу.
А когда наследуем и создаём виртуальный метод, то указатель на вирт.таблицу добавляется в начало.
Для чего я и распечатывал значения указателей - они разные, 
и именно поэтому и выскакивает ошибка - я пытаюсь удалить по неправильной ссылке.

Первый вопрос у меня возник по-этому поводу - ну почему указатель выртуальной таблицы добавляется в начало? 
добавься он после A.i, ошибки не было бы.
Вот я и спрашиваю - все компиляторы в данной ситуации ведут себя так же?

Идея была использовать не чистый С++, реализовать альтернативу виртуальной таблице. 
Но найдется программер, который отнаследует и приляпает виртуальный метод. И что? Тут же всё пойдёт насмарку?
Потому-что компилятор, видите ли, любит, чтобы таблица всегда была сначала?

Се ля ви (такова жизнь).

Это не наезд. Я действительно новичок в С++. Просто есть вещи, не до конца подчиняющиеся (моей) логике.

имхо некоректный код
воть немного подправил для наглядности

посмотри что выдает!

gcc 3.4.6. А у тебя какой компилятор?

gcc 3.4.2 (только под винду)


FunnyFalcon, так ты видишь в чем ошибка?

и в чем же? о какой ошибке идет речь?

По-моему это довольно весомая ошибка. Или я не прав?

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

УКАЗАТЕЛИ РАЗНЫЕ!!!! И что тогда удалает delete? Какую память освобождает?

любой компилер здесь должен вызывать ошибку.
Я не врубаюсь на что намекает Romikgy и что он хочет своим примером показать. 

значения указателей разные потому, что здесь компиллятор приводит из типа B* в А* и при удалении  а он естественно вызывеет его деструктор так как а имеет тип А*, а фактически объект имеет тип В и должен быть вызван его деструктор и чтобы в такой ситуации вызывался правильный деструктор все деструкторы должны быть виртуальными, чтобы выбирался деструктор не по типу, а по фактическому объекту.

вот на это и намекал! (неправильная работа с указателями)

на это как то не обратил внимание 
хотя вроде объяснили

PS правда не понятно , ведь это неявное преобразование указателей!!!
в C++ Builder 6 такого преобразования нет , указатели одни и теже!

Значит C++Builder 6 в данном вопросе - наиболее логичный компилятор.
А как будет выглядеть результат работы следующего кода:

На gcc-3.4.6 вышло:

Откуда видим, что указатель на в. таблицу приляпался к началу.
Видимо на С++Builder-е будет что-то вроде

Пришлёшь результат?