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
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
|
--TEST--
__serialize() mechanism (013): Properties are still typed after unserialization
--SKIPIF--
<?php
if (PHP_VERSION_ID < 70400) { echo "skip __serialize/__unserialize not supported in php < 7.4 for compatibility with serialize()"; }
if (PHP_VERSION_ID >= 80000) { echo "skip different error message format"; }
?>
--FILE--
<?php
declare(strict_types=1);
class Test {
public int $i = 0;
public ?string $s = 's';
public object $o;
public stdClass $stdClass;
public array $a = [];
}
$t = new Test();
$t->i = 1;
$t->s = 'other';
$t->o = $t;
$t->std = (object)['key' => 'value'];
$t->a = [$t->std];
var_dump($t);
var_dump(bin2hex($s = igbinary_serialize($t)));
$t2 = igbinary_unserialize($s);
var_dump($t2);
try {
$t2->i = 'x';
} catch (Error $e) {
echo "i: " . $e->getMessage() . "\n";
}
$t2->s = null;
try {
$t2->s = false;
} catch (Error $e) {
echo "s: " . $e->getMessage() . "\n";
}
$t2->s = 'other';
try {
$t2->o = null;
} catch (Error $e) {
echo "o: " . $e->getMessage() . "\n";
}
try {
$t2->a = null;
} catch (Error $e) {
echo "a: " . $e->getMessage() . "\n";
}
try {
$t2->stdClass = $t;
} catch (Error $e) {
echo "stdClass: " . $e->getMessage() . "\n";
}
try {
$t2->a = $t2;
} catch (Error $e) {
echo "a: " . $e->getMessage() . "\n";
}
var_dump($t2);
--EXPECT--
object(Test)#1 (5) {
["i"]=>
int(1)
["s"]=>
string(5) "other"
["o"]=>
*RECURSION*
["stdClass"]=>
uninitialized(stdClass)
["a"]=>
array(1) {
[0]=>
object(stdClass)#2 (1) {
["key"]=>
string(5) "value"
}
}
["std"]=>
object(stdClass)#2 (1) {
["key"]=>
string(5) "value"
}
}
string(142) "000000021704546573741406110169060111017311056f7468657211016f220000110161140106001708737464436c617373140111036b6579110576616c756511037374642202"
object(Test)#3 (5) {
["i"]=>
int(1)
["s"]=>
string(5) "other"
["o"]=>
*RECURSION*
["stdClass"]=>
uninitialized(stdClass)
["a"]=>
array(1) {
[0]=>
object(stdClass)#4 (1) {
["key"]=>
string(5) "value"
}
}
["std"]=>
object(stdClass)#4 (1) {
["key"]=>
string(5) "value"
}
}
i: Typed property Test::$i must be int, string used
s: Typed property Test::$s must be string or null, bool used
o: Typed property Test::$o must be object, null used
a: Typed property Test::$a must be array, null used
stdClass: Typed property Test::$stdClass must be an instance of stdClass, Test used
a: Typed property Test::$a must be array, Test used
object(Test)#3 (5) {
["i"]=>
int(1)
["s"]=>
string(5) "other"
["o"]=>
*RECURSION*
["stdClass"]=>
uninitialized(stdClass)
["a"]=>
array(1) {
[0]=>
object(stdClass)#4 (1) {
["key"]=>
string(5) "value"
}
}
["std"]=>
object(stdClass)#4 (1) {
["key"]=>
string(5) "value"
}
}
|
