Динамическая типизация, Objective-C, как это работает?

Мне интересно, как динамический печатать в Objective-C работать. Я изучал тип "id", я знаю, что он делает и как его использовать, но мне любопытно ... Как такая функциональность реализована под капотом?

Вы не можете ничего определить / разрешить во время во время компиляции, только во время выполнения. Я предполагаю, что он может просто указывать на первый байт некоторого объекта в памяти, но как хранится подпись класса? Как он узнает, на что он сейчас указывает, и как он реализует различные геттеры для класса указанного объекта?