Online PHP editor | perf for fKnlq

<?php // This is the class that we want to make lazy. // Note that this is an opaque class from the PoV of the proxy-generation logic: // its implementation details are unknown. class A { protected array $data = []; public function __construct() { $this->data = ['foo' => 123]; } public function __get($n) { return $this->data[$n] ?? null; } // line 15 public function __set($n, $v) { $this->data[$n] = $v; } public function __isset($n) { return isset($this->data[$n]); } public function __unset($n) { unset($this->data[$n]); } } // This is a simplified proxy class that would typically be generated automatically // from the signature of the proxied class. The way this works is by unsetting all // declared properties at instantiation time, then using the magic methods to lazily // initialize them on demand. This is a very simple implementation that does not handle // all edge cases, but it should be enough to illustrate the issue. The logic in each // magic method is very repetitive: we checks if we're trying to access the uninitialized // property. If yes, we initialize it, if not, we call the parent method. class LazyA extends A { private const STATUS_UNINITIALIZED = 0; private const STATUS_INITIALIZING = 1; private const STATUS_INITIALIZED = 2; private $lazyStatus = self::STATUS_UNINITIALIZED; public function __construct() { unset($this->data); } public function __get($n) { if (self::STATUS_INITIALIZED === $this->lazyStatus || 'data' !== $n) { if ('data' === $n && (new ReflectionProperty($this, 'data'))->isInitialized($this)) { return $this->data; } return parent::__get($n); } $this->initialize(); return $this->data; } public function __set($n, $v) { if (self::STATUS_INITIALIZED === $this->lazyStatus || 'data' !== $n) { parent::__set($n, $v); } $this->initialize(); $this->data = $v; } public function __isset($n) { if (self::STATUS_INITIALIZED === $this->lazyStatus || 'data' !== $n) { return parent::__isset($n); } $this->initialize(); return isset($this->data); } public function __unset($n) { if (self::STATUS_INITIALIZED === $this->lazyStatus || 'data' !== $n) { parent::__unset($n); } $this->initialize(); unset($this->data); } private function initialize() { if (self::STATUS_INITIALIZING === $this->lazyStatus) { return; } $this->lazyStatus = self::STATUS_INITIALIZING; parent::__construct(); $this->lazyStatus = self::STATUS_INITIALIZED; } } $a = new LazyA(); // Currently, this will trigger a TypeError: // Cannot assign null to property A::$data of type array on line 15 // With Ilija's patch, this will work as expected and will display int(123) var_dump($a->foo);

Version	System time (s)	User time (s)	Memory (MiB)
8.3.13	0.008	0.003	18.43
8.3.12	0.000	0.008	18.88
8.3.11	0.000	0.008	20.94
8.3.10	0.000	0.008	24.06
8.3.9	0.004	0.011	26.77
8.3.8	0.009	0.000	17.97
8.3.7	0.016	0.006	16.61
8.3.6	0.013	0.009	18.55
8.3.5	0.012	0.006	16.66
8.3.4	0.007	0.007	20.21
8.3.3	0.013	0.007	21.69
8.3.2	0.004	0.004	24.18
8.3.1	0.008	0.000	24.66
8.3.0	0.006	0.003	26.35
8.2.25	0.012	0.006	18.43
8.2.24	0.003	0.006	17.52
8.2.23	0.004	0.004	22.58
8.2.22	0.005	0.003	37.54
8.2.21	0.007	0.000	26.77
8.2.20	0.003	0.007	16.63
8.2.19	0.006	0.009	18.54
8.2.18	0.012	0.009	16.50
8.2.17	0.009	0.006	19.04
8.2.16	0.010	0.006	22.96
8.2.15	0.008	0.000	25.66
8.2.14	0.016	0.004	24.66
8.2.13	0.003	0.005	26.35
8.2.12	0.005	0.003	26.35
8.2.11	0.003	0.006	26.35
8.2.10	0.004	0.004	26.35
8.2.9	0.006	0.003	26.35
8.2.8	0.003	0.006	26.35
8.2.7	0.006	0.003	26.35
8.2.6	0.004	0.004	26.35
8.2.5	0.004	0.004	26.35
8.2.4	0.004	0.004	26.35
8.2.3	0.009	0.000	26.35
8.2.2	0.000	0.009	26.35
8.2.1	0.003	0.006	26.35
8.2.0	0.004	0.004	26.35
8.1.30	0.011	0.004	20.15
8.1.29	0.010	0.000	30.84
8.1.28	0.007	0.014	25.92
8.1.27	0.000	0.008	23.87
8.1.26	0.004	0.004	26.35
8.1.25	0.004	0.004	26.35
8.1.24	0.000	0.009	26.35
8.1.23	0.003	0.006	26.35
8.1.22	0.006	0.003	26.35
8.1.21	0.006	0.003	26.35
8.1.20	0.009	0.000	26.35
8.1.19	0.000	0.009	26.35
8.1.18	0.009	0.000	26.35
8.1.17	0.006	0.003	26.35
8.1.16	0.003	0.006	26.35
8.1.15	0.006	0.003	26.35
8.1.14	0.006	0.003	26.35
8.1.13	0.003	0.006	26.35
8.1.12	0.004	0.004	26.35
8.1.11	0.004	0.004	26.35
8.1.10	0.004	0.004	26.35
8.1.9	0.003	0.006	26.35
8.1.8	0.008	0.000	26.35
8.1.7	0.004	0.004	26.35
8.1.6	0.005	0.005	26.35
8.1.5	0.009	0.000	26.35
8.1.4	0.006	0.003	26.35
8.1.3	0.006	0.003	26.35
8.1.2	0.006	0.003	26.35
8.1.1	0.003	0.006	26.35
8.1.0	0.004	0.004	26.35