Language: foreach() on objects with property hooks must invoke get hook (Zend/zend_property_hooks.c)

[PurHur]

Category

language · php-src-strict

Problem

foreach ($object as $key => $value) must yield hooked property values by invoking the property get hook, same as get_object_vars() (#5203) and direct reads. Today ObjectPropertyIterator calls ObjectEntry::getProperty() on the raw backing slot; for typed properties with only a get hook (no default), the VM fatals "Typed property must not be accessed before initialization" instead of running the hook.

API	Zend PHP 8.4+	VM today
get_object_vars($c) on hooked $x	["x" => "hooked"]	"hooked" ✅
foreach ($c as $k => $v)	x=hooked	fatal on uninitialized typed backing

php-src reference

• php/php-src Zend/zend_property_hooks.c — hooked property read path
• php/php-src Zend/zend_execute.c — object foreach uses property read API
• php/php-src Zend/zend_foreach.c — object property iteration

Repro

Save as test/repro-maintainer/foreach_property_hooks.php:

<?php
class C {
    public string $x {
        get { return 'hooked'; }
    }
    public int $y = 42;
}
$c = new C();
foreach ($c as $k => $v) {
    echo "$k=$v\n";
}

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php test/repro-maintainer/foreach_property_hooks.php
php bin/vm.php test/repro-maintainer/foreach_property_hooks.php
'

Expected (Zend): x=hooked then y=42

Actual (VM): fatal Typed property C::$x must not be accessed before initialization

Scope (PHP-in-PHP)

Path	Work
lib/VM/ObjectPropertyIterator.php	Route currentValue() through property read / hook dispatch (mirror get_object_vars path)
lib/VM.php	Shared helper for hooked vs plain property reads during iteration
lib/JIT.php / foreach object lowering	Match VM hook semantics when JIT foreach-over-object is in scope
Tests	test/compliance/cases/language/foreach_property_hooks.phpt

No new C in runtime/ — hook semantics belong in PHP VM/JIT lowering.

Done when

• Repro prints x=hooked and y=42 on VM (php-src-strict)
• ./script/ci-fast.sh --filter foreach_property_hooks green

Related

• Stdlib: get_object_vars() — property hooks must invoke get hook (zend_property_hooks.c) #5203 — get_object_vars() get-hook parity
• Stdlib: ReflectionProperty::getHooks() / setHook() — PHP 8.4 property hooks reflection (ext/reflection/php_reflection.c) #4806 — ReflectionProperty::getHooks()
• North star Epic: Self-host critical path — compiler compiles itself (M3→M5) #1492

[PurHur]

claim: cursor-agent-lane-c — starting this run

[PurHur]

Merged via #9507.

Fix: ObjectPropertyIterator now routes value reads through VM::readObjectForeachProperty() so foreach invokes property get hooks (same path as get_object_vars()).

Verification (Docker):
```
php bin/vm.php test/repro-maintainer/foreach_property_hooks.php

x=hooked / y=42

./vendor/bin/phpunit test/compliance/VMTest.php --filter foreach_property_hooks

OK (1 test)

```