mirror of
https://github.com/php/php-src.git
synced 2024-12-13 20:05:26 +08:00
106 lines
3.0 KiB
PHP
106 lines
3.0 KiB
PHP
--TEST--
|
|
Closure 041: Rebinding: preservation of previous scope when not given as arg unless impossible
|
|
--FILE--
|
|
<?php
|
|
|
|
/* It's impossible to preserve the previous scope when doing so would break
|
|
* the invariants that, for non-static closures, having a scope is equivalent
|
|
* to having a bound instance. */
|
|
|
|
$staticUnscoped = static function () {
|
|
echo "scoped to A: "; var_dump(isset(A::$priv));
|
|
echo "bound: ", isset($this)?get_class($this):"no";
|
|
};
|
|
|
|
$nonstaticUnscoped = function () {
|
|
echo "scoped to A: "; var_dump(isset(A::$priv));
|
|
echo "bound: ", isset($this)?get_class($this):"no";
|
|
};
|
|
|
|
class A {
|
|
private static $priv = 7;
|
|
function getClosure() {
|
|
return function () {
|
|
echo "scoped to A: "; var_dump(isset(A::$priv));
|
|
echo "bound: ", isset($this)?get_class($this):"no";
|
|
};
|
|
}
|
|
function getStaticClosure() {
|
|
return static function () {
|
|
echo "scoped to A: "; var_dump(isset(A::$priv));
|
|
echo "bound: ", isset($this)?get_class($this):"no";
|
|
};
|
|
}
|
|
}
|
|
class B extends A {}
|
|
|
|
$a = new A();
|
|
$staticScoped = $a->getStaticClosure();
|
|
$nonstaticScoped = $a->getClosure();
|
|
|
|
echo "Before binding", "\n";
|
|
$staticUnscoped(); echo "\n";
|
|
$nonstaticUnscoped(); echo "\n";
|
|
$staticScoped(); echo "\n";
|
|
$nonstaticScoped(); echo "\n";
|
|
|
|
echo "After binding, no instance", "\n";
|
|
$d = $staticUnscoped->bindTo(null); $d(); echo "\n";
|
|
$d = $nonstaticUnscoped->bindTo(null); $d(); echo "\n";
|
|
$d = $staticScoped->bindTo(null); $d(); echo "\n";
|
|
$d = $nonstaticScoped->bindTo(null); $d(); echo "\n";
|
|
//$d should have been turned to static
|
|
$d->bindTo($d);
|
|
|
|
echo "After binding, with same-class instance for the bound ones", "\n";
|
|
$d = $staticUnscoped->bindTo(new A); $d(); echo "\n";
|
|
$d = $nonstaticUnscoped->bindTo(new A); $d(); echo " (should be scoped to dummy class)\n";
|
|
$d = $staticScoped->bindTo(new A); $d(); echo "\n";
|
|
$d = $nonstaticScoped->bindTo(new A); $d(); echo "\n";
|
|
|
|
echo "After binding, with different instance for the bound ones", "\n";
|
|
$d = $nonstaticUnscoped->bindTo(new B); $d(); echo " (should be scoped to dummy class)\n";
|
|
$d = $nonstaticScoped->bindTo(new B); $d(); echo "\n";
|
|
|
|
echo "Done.\n";
|
|
|
|
--EXPECTF--
|
|
Before binding
|
|
scoped to A: bool(false)
|
|
bound: no
|
|
scoped to A: bool(false)
|
|
bound: no
|
|
scoped to A: bool(true)
|
|
bound: no
|
|
scoped to A: bool(true)
|
|
bound: A
|
|
After binding, no instance
|
|
scoped to A: bool(false)
|
|
bound: no
|
|
scoped to A: bool(false)
|
|
bound: no
|
|
scoped to A: bool(true)
|
|
bound: no
|
|
scoped to A: bool(true)
|
|
bound: no
|
|
|
|
Warning: Cannot bind an instance to a static closure in %s on line %d
|
|
After binding, with same-class instance for the bound ones
|
|
|
|
Warning: Cannot bind an instance to a static closure in %s on line %d
|
|
scoped to A: bool(false)
|
|
bound: no
|
|
scoped to A: bool(false)
|
|
bound: A (should be scoped to dummy class)
|
|
|
|
Warning: Cannot bind an instance to a static closure in %s on line %d
|
|
scoped to A: bool(true)
|
|
bound: no
|
|
scoped to A: bool(true)
|
|
bound: A
|
|
After binding, with different instance for the bound ones
|
|
scoped to A: bool(false)
|
|
bound: B (should be scoped to dummy class)
|
|
scoped to A: bool(true)
|
|
bound: B
|
|
Done. |