Обычный метод копируется для каждого объекта или PHP оптимизирует и не делает копию методов для объектов?

Question

[mrWan]

class Foo {
    function method() {
         echo 'foo';
}
}
$a = new Foo;
$a->method();
$a = new Foo;
$a->method();

Это копии метода из класса или это один метод которому ссылаются объекты?

Answer 1

[Кирилл Несмеянов]

У каждой функции в PHP есть два контекста: Статический и объекта. Метод - это обычная именованная функция, у которой заранее объявлены оба этих контекста. Таким образом мы получаем, что метод один и выделение памяти под него тоже одно, но для разных объектов меняется контекст (т.е. ссылка на this), а значит создание нового объекта - это всего лишь выделение this контекста для метода, т.е. тупо один адрес.

Помимо этого, создавая новый объект память не выделяется вообще. Если объект идентичен предыдущему, то адрес нового объекта соответствует предыдущему с пометкой разделения ZVAL-структуры при мутациях (до некоторого времени даже баг был, когда функция spl_object_hash возвращала одну и ту же строчку для двух разных объектов, которые содержали одни и теже данные). Во время изменений объектов - ссылка на изменённое поле разделяется и новое значение пытается занять память тех переменных (напоминаю, что структура ZVAL едина для всех типов переменных), которые были помечены для уничтожения через GC (т.е. refcount=0), это позволяет избавиться от лишних аллокаций памяти. Такая модель поведения, например, позволяет делать клонирование (оператор clone) и инстанциирование (оператор new) объектов без выделений памяти вообще.

P.S. Так было в какой-то из 5.х веток, когда я исследовал поведение пыха. Сейчас же, когда на носу 7.3 - я уже хз, много поменяли, хотя в основном работа была проведена по уменьшению потребления памяти zval объектами, DCE оптимизациям и AVX/SSE инструкциям, так что не думаю что сильно.

Answer 2

[Айнур Валиев]

конечно же один и тот же метод)) иначе будет пустая трата памяти

Comments

[mrWan]

Тут два варианта было) либо при создании объекта в его окружении метод записывается, либо ссылается на класс с нужным методом. Ну как я понял тут второй вариант ))

Answer 3

[Yan-s]

Кажется вы думаете совершенно не о том...
Можете описать контекст в котором возник такой вопрос?

Comments

[mrWan]

когда создается экземпляр класса(объект), то он к себе так сказать "в окружение" записывает метод или ссылается на класс где этот метод объявлен, вот что я имею ввиду. Тут интересен механизм работы, можно много времени писать на ООП не зная таких тонкостей.

Answer 4

[alexalexes]

Объекты - разные, метод - один и тот же.
Когда вы второй раз вызываете new для уже определенной переменной, выделяется память под новый объект, объект создается заново. Адрес памяти, куда ссылалась до этого $a зачищается сборщиком мусора по мере его возможностей.
PS: new буквально говорит "возьми ресурсы системы и построй мне объект по чертежу Foo!!!"

Comments

[mrWan]

Как все работает знаю. Только еще стало интересно как работают методы, а точнее на них ссылаются или созданный объект записывает копию метода

[alexalexes]

Какая-то странная формулировка "копия метода".
Метод либо описан непосредственно в классе, либо наследован, либо расширен, либо перегружен (что в PHP нереально из-за нестрогих типов данных в параметрах метода и их возможном количестве). Понятие копии применительно к объектам или свойствам объекта.