1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
--TEST--
Closure 046: Rebinding: preservation of previous scope when "static" given as scope arg (same as closure #041)
--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. */
$nonstaticUnscoped = function () { var_dump(isset(A::$priv)); var_dump(isset($this)); };
class A {
private static $priv = 7;
function getClosure() {
return function() { var_dump(isset(A::$priv)); var_dump(isset($this)); };
}
}
class B extends A {}
$a = new A();
$nonstaticScoped = $a->getClosure();
echo "Before binding", "\n";
$nonstaticUnscoped(); echo "\n";
$nonstaticScoped(); echo "\n";
echo "After binding, no instance", "\n";
$d = $nonstaticUnscoped->bindTo(null, "static"); $d(); echo "\n";
$d = $nonstaticScoped->bindTo(null, "static"); $d(); echo "\n";
//$d should have been turned to static
$d->bindTo($d);
echo "After binding, with same-class instance for the bound one", "\n";
$d = $nonstaticUnscoped->bindTo(new A, "static"); $d(); echo "\n";
$d = $nonstaticScoped->bindTo(new A, "static"); $d(); echo "\n";
echo "After binding, with different instance for the bound one", "\n";
$d = $nonstaticScoped->bindTo(new B, "static"); $d(); echo "\n";
echo "Done.\n";
--EXPECTF--
Before binding
bool(false)
bool(false)
bool(true)
bool(true)
After binding, no instance
bool(false)
bool(false)
bool(true)
bool(false)
Warning: Cannot bind an instance to a static closure in %s on line %d
After binding, with same-class instance for the bound one
bool(false)
bool(true)
bool(true)
bool(true)
After binding, with different instance for the bound one
bool(true)
bool(true)
Done.
|
