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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
|
--TEST--
Ensure type hints are enforced for functions invoked as callbacks.
--FILE--
<?php
set_error_handler('myErrorHandler', E_RECOVERABLE_ERROR);
function myErrorHandler($errno, $errstr, $errfile, $errline) {
echo "$errno: $errstr - $errfile($errline)\n";
return true;
}
echo "---> Type hints with callback function:\n";
class A { }
function f1(A $a) {
echo "in f1;\n";
}
function f2(A $a = null) {
echo "in f2;\n";
}
call_user_func('f1', 1);
call_user_func('f1', new A);
call_user_func('f2', 1);
call_user_func('f2');
call_user_func('f2', new A);
call_user_func('f2', null);
echo "\n\n---> Type hints with callback static method:\n";
class C {
static function f1(A $a) {
if (isset($this)) {
echo "in C::f1 (instance);\n";
} else {
echo "in C::f1 (static);\n";
}
}
static function f2(A $a = null) {
if (isset($this)) {
echo "in C::f2 (instance);\n";
} else {
echo "in C::f2 (static);\n";
}
}
}
call_user_func(array('C', 'f1'), 1);
call_user_func(array('C', 'f1'), new A);
call_user_func(array('C', 'f2'), 1);
call_user_func(array('C', 'f2'));
call_user_func(array('C', 'f2'), new A);
call_user_func(array('C', 'f2'), null);
echo "\n\n---> Type hints with callback instance method:\n";
class D {
function f1(A $a) {
if (isset($this)) {
echo "in C::f1 (instance);\n";
} else {
echo "in C::f1 (static);\n";
}
}
function f2(A $a = null) {
if (isset($this)) {
echo "in C::f2 (instance);\n";
} else {
echo "in C::f2 (static);\n";
}
}
}
$d = new D;
call_user_func(array($d, 'f1'), 1);
call_user_func(array($d, 'f1'), new A);
call_user_func(array($d, 'f2'), 1);
call_user_func(array($d, 'f2'));
call_user_func(array($d, 'f2'), new A);
call_user_func(array($d, 'f2'), null);
?>
--EXPECTF--
---> Type hints with callback function:
4096: Argument 1 passed to f1() must be an instance of A, integer given%s(10)
in f1;
in f1;
4096: Argument 1 passed to f2() must be an instance of A, integer given%s(13)
in f2;
in f2;
in f2;
in f2;
---> Type hints with callback static method:
4096: Argument 1 passed to C::f1() must be an instance of A, integer given%s(26)
in C::f1 (static);
in C::f1 (static);
4096: Argument 1 passed to C::f2() must be an instance of A, integer given%s(33)
in C::f2 (static);
in C::f2 (static);
in C::f2 (static);
in C::f2 (static);
---> Type hints with callback instance method:
4096: Argument 1 passed to D::f1() must be an instance of A, integer given%s(51)
in C::f1 (instance);
in C::f1 (instance);
4096: Argument 1 passed to D::f2() must be an instance of A, integer given%s(58)
in C::f2 (instance);
in C::f2 (instance);
in C::f2 (instance);
in C::f2 (instance);
|