Создание ленивых объектов

Разрешается создавать ленивые экземпляры пользовательских классов или стандартного PHP-класса stdClass (другие внутренние классы не поддерживаются) или сбрасывать экземпляры этих классов, чтобы сделать объект ленивым. Точки входа, через которые создают ленивые объекты, — методы ReflectionClass::newLazyGhost() и ReflectionClass::newLazyProxy().

Оба метода принимают callback-функцию, которая вызывается, когда требуется инициализация объекта. Поведение, которого ждут от функции обратного вызова, меняется, и зависит от стратегии. Стратегии описывает справочная документация к методам.

lazy ghost object(Example)#3 (0) {
["prop"]=>
uninitialized(int)
}
string(7) "Example"
Example::__construct
int(1)

lazy proxy object(Example)#3 (0) {
  ["prop"]=>
  uninitialized(int)
}
string(7) "Example"
Example::__construct
int(1)

Доступ к свойствам ленивого объекта запускает инициализацию ленивого объекта, включая доступ через класс ReflectionProperty. Однако отдельные свойства иногда известны заранее и требуется сделать так, чтобы они не вызывали инициализацию при доступе:

Методы ReflectionProperty::skipLazyInitialization() и ReflectionProperty::setRawValueWithoutLazyInitialization() предлагают способы обхода инициализации ленивых объектов при доступе к свойству.

О стратегиях ленивых объектов

Ленивые призраки — объекты, которые инициализируются на месте, и после инициализации неотличимы от объекта, который никогда не был ленивым. Стратегию применяют, когда контролируют как создание экземпляра, так и инициализацию объекта, что делает стратегию непригодной, если хотя бы один из этих процессов управляется другой стороной.

Ленивые прокси после инициализации действуют как прокси до реального экземпляра: операции на инициализированном ленивом прокси перенаправляются на реальный экземпляр. Создание реального экземпляра разрешается делегировать другой стороне, что делает эту стратегию полезной, когда ленивые призраки не подходят. Хотя ленивые прокси почти так же прозрачны, как ленивые призраки, потребуется осторожность, когда потребуется отличить ленивый прокси от реального объекта, поскольку у объекта-прокси и его реального экземпляра разные идентификаторы.

Жизненный цикл ленивых объектов

Объекты делают ленивыми либо сразу — путём вызова метода ReflectionClass::newLazyGhost() или ReflectionClass::newLazyProxy(), либо создают а затем передают реальный объект в метод ReflectionClass::resetAsLazyGhost() или ReflectionClass::resetAsLazyProxy(). Следующие операции инициализируют ленивый объект:

• Взаимодействие с объектом, при котором вызывается автоматическая инициализация. См. «Триггеры инициализации».
• Пометка каждого свойства ленивого объекта как неленивое методом ReflectionProperty::skipLazyInitialization() или ReflectionProperty::setRawValueWithoutLazyInitialization().
• Явный вызов метода ReflectionClass::initializeLazyObject() или ReflectionClass::markLazyObjectAsInitialized().

Поскольку ленивые объекты становятся инициализированными, когда каждое свойство ленивого объекта пометили неленивым, приведённые методы не пометят объект как ленивый, если ни одно свойство нельзя пометить ленивым.

Триггеры инициализации

Ленивые объекты спроектировали на 100 % прозрачными для потребителей, поэтому обычные операции, которые отслеживают или изменяют состояние объекта, автоматически инициализируют ленивый объект перед выполнением операции. Инициализацию запускает следующий неполный список операций:

• Чтение или запись свойства.
• Проверка установки свойства или удаление свойства.
• Доступ к свойству или изменение свойства методами ReflectionProperty::getValue(), ReflectionProperty::getRawValue(), ReflectionProperty::setValue() или ReflectionProperty::setRawValue().
• Получение списка свойств методами ReflectionObject::getProperties() или ReflectionObject::getProperty(), или функцией get_object_vars().
• Итерация по свойствам объекта, который не реализует интерфейс Iterator или IteratorAggregate, конструкцией foreach.
• Сериализация ленивого объекта функциями serialize(), json_encode() или другими.
• Клонирование ленивого объекта.

Вызовы методов, которые не обращаются к состоянию объекта, не инициализируют ленивый объект. Аналогично, взаимодействия с объектом, которые вызывают магические методы или функции хука, не инициализируют ленивый объект, если для этих методов или функций не открыт доступ к состоянию объекта.

Последовательность инициализации

Раздел описывает характерные для стратегий последовательности операций, которые выполняются при запуске инициализации.

Клонирование

Клонирование ленивого объекта запускает его инициализацию раньше, чем создаётся клон, поэтому объект инициализируется.

При клонировании объектов-прокси клонируется как прокси, так и его реальный экземпляр, и возвращается клон прокси. Магический метод __clone вызывается на реальном экземпляре, не на прокси. Клонированный прокси и реальный экземпляр связываются так, как они связались при инициализации, поэтому доступ к клону объекта-прокси перенаправляется на клон реального экземпляра.

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

Деструкторы

Для ленивых призраков деструктор вызывается, только если объект инициализировали. Для прокси деструктор вызывается только для реального экземпляра, если реальный экземпляр существует.

Методам ReflectionClass::resetAsLazyGhost() и ReflectionClass::resetAsLazyProxy() разрешается вызывать деструктор сбрасываемого объекта.