Выполняет ли выполнение методов Objective-C «фреймы в стеке»?

Question

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

Answer 1

Да, они делают.

---

Objective-C вызывает методы динамически, таким образом:

[someObject doSomething]; 

эквивалентно:

objc_msgSend(someObject, sel_registerName("doSomething")); 

sel_registerName возвращает селектор, который является в основном идентификатор метода, для данного метода имя.

objc_msgSend записано на сборке, и код доступен here. Он просматривает селектор в списке методов объекта. Список Способа содержит IMP для селектора doSomething, которая является функцией С указателем на функцию, аналогичную:

void doSomething(id self, SEL _cmd); 

objc_msgSend затем tail-calls указатель функции,

Так методы являются лишь регулярными функциями C, но они называются динамически во время выполнения. Когда вызывается objc_msgSend, обратный адрес помещается в стек, а CPU переходит на objc_msgSend. Не похоже, что objc_msgSend касается всего стека, поэтому метод устанавливает кадр стека точно так же, как функция C. Когда это будет сделано, метод скроет его стек стека и вернется точно так же, как функция C. Поскольку objc_msgSend оставил нетронутый стек, он возвращается непосредственно к коду, который вызвал метод, точно так же, как если бы была непосредственно вызвана реализация метода.