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

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