Да. Причем когда я только начинал читать Веллера, меня поразила широта диапазона его тем — от таких вот «чуть не треснешь» до в общем философских книг о жизни, которые нравятся не меньше. «Приключения майора Звягина» удачно сочетает в себе обе стороны.
По Рихтеру объект-тип — это объект, единственный экземпляр которого создается на каждый тип, он содержит в себе значения статических полей, таблицу методов, а также указатель на объект-тип. Для всех объектов этот указатель ссылается на объект-тип Type, а сам объект-тип Type ссылается на себя. Книги под рукой нет, это примерно страница 105-110 во втором издании.
Тогда другой вопрос: где хранится эта таблица? Для каждого типа она своя? Рихтер утверждает, что в объекте-типе хранятся только определенные в этом типе методы, а все базовы методы — в базовом объекте-типе. Отсюда собственно и вопрос: как происходит эта связь наследник-родитель?