В целом, все очень зависит от компилятора. Некоторые умные компиляторы могут даже выбросить сам класс, если в нем нет необходимости. Но общие принципы все таки есть.
Начнем
Когда компилятор видит определение класса, он просто его разбирает. А вот когда нужно создать экземпляр класса, вот здесь начинается самое интересное. Компилятор, просмотрев описание класса, рассчитывает, сколько нужно под него памяти. В описанном в вопросе классе - минимум 8 байт (здесь и дальше я буду говорить в контексте 32битных платформ x86). По факту - может выделиться больше - например, если класс виртуальный, то ещё от 4 байт для указателя на таблицу виртуальных функций. То есть, в общем виде, new для класса - это просто alloc+memset (а если конструктор не тривиальный, то и вызов конструктора).
Для классов без виртуальных методов память обычно выделяется как под структуру с соответствующими полями. Для виртуальных может быть ещё минимум одно поле.
А что же такое "методы", они же функции класса?
это самые обычные функции, просто у них есть ещё один (хотя никто не запрещает компилятору использовать больше, но обычно это один), который по факту является указателем на выделенную ранее память. В методе этот параметр выглядит как this.
Как происходит обращение к полям:
Для каждого поля компилятор рассчитывает смещение относительно this. Например, имеем:
MyClass m;
m.a = 10;
m.b = 20;
На псевдокоде это так
mov [this+0], 10
mov [this+4], 20
смещение +4, потому что размер int равен 4. Но компилятор может заняться выравниванием и по факту второе поле может оказаться по смещению 8.
Вызов методов:
А такой же как и вызов обычных функций. Только, как я писал выше - добавляем ещё один параметр - указатель на класс. Адрес метода компилятор знает.
Вызов виртуальных методов:
С ними интереснее. Для этого применяется таблица методов (похоже, что лучше этого пока не придумали. Почитать детальнее можно здесь.) Компилятор по имени функции берет ее индекс в таблице. А когда нужно в коде сделать вызов, то это будет так
mov eax, [this+8] ; адрес таблицы методов.
mov eax, [eax + номер_метода]; загрузили адрес
push параметр
push this
call[eax] ; вызываем функцию по адресу
Но компилятор может схитрить. Если он может определить, какой именно метод нужно вызвать, то он может вставить вызов напрямую. Более того, компилятор может не вставлять даже параметра this, если внутри метода оно не используется.
Я думаю, что понятно, что таблицы виртуальных методов создаются по одной на каждый класс, а не на каждый объект.
Создание объектов на стеке
а здесь ничего особого. В классической реализации "выделить память на стеке" - это просто изменит указатель вершины стека. Так как стек растет сверху вниз, то это вычитание размера с регистра, хранящего вершину стека. В си даже есть такая функция - alloca (в visual studio может называться _alloca), которая работает как malloc, но выделяет на стеке.
абстрактные методы
Эти методы есть в таблице виртуальных методов, но указывают на специальную функцию, которая отображает сообщение о том, что такие методы нельзя вызывать.
всякое странное
В результирующем коде обычно уже нет никаких имен методов и полей. Есть только адреса и смещения. И типов также уже нет. А вот если отладчику нужно показать пользователю данные, то он получает от компилятора специальный map файл, где все это расписано. Именно поэтому, если отлаживать релизный код, то отладчик часто не может даже привязать код к бинарному коду - у него просто нет этой информации. А угадать очень сложно.
Но иногда компиляторы, особенно если они делают отладочный код, могут добавлять дополнительные поля, что бы проверять, что код не делает ничего страшного. Например добавлять реальный тип объекта и сравнивать его при надобности.
А бывает, программист хочет использовать rtti, тут уж нужно подобавлять в каком то виде данных.