> -- Trurl писал(а):
> В C++ только указатель, а в Обероне ещё и дескриптор типа.
Кажецо я что-то упустил или запамятовал? Разве в метод (виртуальный) первым невидимым параметром не достаточно передать указатель на экземпляр объекта? Насколько я знаю, тэг извлекается именно из места, рядом с расположением структуры виртуальной таблицы данного класса...  Я не прав, что-то поменялось или я что-то напутал? Или тег - это и есть указатель на область памяти с vtbl + ещё мишура чуть ниже прямо перед vtbl.