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

Коллега утверждает, что в бинарнике нет никаких сведений о классе, и такое понятие как класс существует только на этапе компиляции.

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

Коллега в ответ на мои доказательства начинает бредить, и предоставляет какие-то мутные контрдоказательства, например, что RTTI-шная информация вставляеться "насильно"... и поэтому не являеться описанием класса Что значит насильно я не смог выяснить...

Что скажут знатоки ?