/src/php-src/Zend/zend_objects.c
Line | Count | Source |
1 | | /* |
2 | | +----------------------------------------------------------------------+ |
3 | | | Zend Engine | |
4 | | +----------------------------------------------------------------------+ |
5 | | | Copyright (c) Zend Technologies Ltd. (http://www.zend.com) | |
6 | | +----------------------------------------------------------------------+ |
7 | | | This source file is subject to version 2.00 of the Zend license, | |
8 | | | that is bundled with this package in the file LICENSE, and is | |
9 | | | available through the world-wide-web at the following url: | |
10 | | | http://www.zend.com/license/2_00.txt. | |
11 | | | If you did not receive a copy of the Zend license and are unable to | |
12 | | | obtain it through the world-wide-web, please send a note to | |
13 | | | license@zend.com so we can mail you a copy immediately. | |
14 | | +----------------------------------------------------------------------+ |
15 | | | Authors: Andi Gutmans <andi@php.net> | |
16 | | | Zeev Suraski <zeev@php.net> | |
17 | | | Dmitry Stogov <dmitry@php.net> | |
18 | | +----------------------------------------------------------------------+ |
19 | | */ |
20 | | |
21 | | #include "zend.h" |
22 | | #include "zend_globals.h" |
23 | | #include "zend_variables.h" |
24 | | #include "zend_API.h" |
25 | | #include "zend_interfaces.h" |
26 | | #include "zend_exceptions.h" |
27 | | #include "zend_weakrefs.h" |
28 | | #include "zend_lazy_objects.h" |
29 | | |
30 | | static zend_always_inline void _zend_object_std_init(zend_object *object, zend_class_entry *ce) |
31 | 3.49M | { |
32 | 3.49M | GC_SET_REFCOUNT(object, 1); |
33 | 3.49M | GC_TYPE_INFO(object) = GC_OBJECT; |
34 | 3.49M | object->ce = ce; |
35 | 3.49M | object->extra_flags = 0; |
36 | 3.49M | object->handlers = ce->default_object_handlers; |
37 | 3.49M | object->properties = NULL; |
38 | 3.49M | zend_objects_store_put(object); |
39 | 3.49M | if (UNEXPECTED(ce->ce_flags & ZEND_ACC_USE_GUARDS)) { |
40 | 197k | zval *guard_value = object->properties_table + object->ce->default_properties_count; |
41 | 197k | ZVAL_UNDEF(guard_value); |
42 | 197k | Z_GUARD_P(guard_value) = 0; |
43 | 197k | } |
44 | 3.49M | } |
45 | | |
46 | | ZEND_API void ZEND_FASTCALL zend_object_std_init(zend_object *object, zend_class_entry *ce) |
47 | 794k | { |
48 | 794k | _zend_object_std_init(object, ce); |
49 | 794k | } |
50 | | |
51 | | void zend_object_dtor_dynamic_properties(zend_object *object) |
52 | 3.49M | { |
53 | 3.49M | if (object->properties) { |
54 | 476k | if (EXPECTED(!(GC_FLAGS(object->properties) & IS_ARRAY_IMMUTABLE))) { |
55 | 476k | if (EXPECTED(GC_DELREF(object->properties) == 0) |
56 | 476k | && EXPECTED(GC_TYPE(object->properties) != IS_NULL)) { |
57 | 476k | zend_array_destroy(object->properties); |
58 | 476k | } |
59 | 476k | } |
60 | 476k | } |
61 | 3.49M | } |
62 | | |
63 | | void zend_object_dtor_property(zend_object *object, zval *p) |
64 | 5.95M | { |
65 | 5.95M | if (Z_REFCOUNTED_P(p)) { |
66 | 2.41M | if (UNEXPECTED(Z_ISREF_P(p)) && |
67 | 40.1k | (ZEND_DEBUG || ZEND_REF_HAS_TYPE_SOURCES(Z_REF_P(p)))) { |
68 | 40.1k | zend_property_info *prop_info = zend_get_property_info_for_slot_self(object, p); |
69 | 40.1k | if (ZEND_TYPE_IS_SET(prop_info->type)) { |
70 | 39.6k | ZEND_REF_DEL_TYPE_SOURCE(Z_REF_P(p), prop_info); |
71 | 39.6k | } |
72 | 40.1k | } |
73 | 2.41M | i_zval_ptr_dtor(p); |
74 | 2.41M | } |
75 | 5.95M | } |
76 | | |
77 | | ZEND_API void zend_object_std_dtor(zend_object *object) |
78 | 3.49M | { |
79 | 3.49M | zval *p, *end; |
80 | | |
81 | 3.49M | if (UNEXPECTED(GC_FLAGS(object) & IS_OBJ_WEAKLY_REFERENCED)) { |
82 | 385 | zend_weakrefs_notify(object); |
83 | 385 | } |
84 | | |
85 | 3.49M | if (UNEXPECTED(zend_object_is_lazy(object))) { |
86 | 1.41k | zend_lazy_object_del_info(object); |
87 | 1.41k | } |
88 | | |
89 | 3.49M | zend_object_dtor_dynamic_properties(object); |
90 | | |
91 | 3.49M | p = object->properties_table; |
92 | 3.49M | if (EXPECTED(object->ce->default_properties_count)) { |
93 | 874k | end = p + object->ce->default_properties_count; |
94 | 5.95M | do { |
95 | 5.95M | zend_object_dtor_property(object, p); |
96 | 5.95M | p++; |
97 | 5.95M | } while (p != end); |
98 | 874k | } |
99 | | |
100 | 3.49M | if (UNEXPECTED(object->ce->ce_flags & ZEND_ACC_USE_GUARDS)) { |
101 | 197k | if (EXPECTED(Z_TYPE_P(p) == IS_STRING)) { |
102 | 958 | zval_ptr_dtor_str(p); |
103 | 196k | } else if (Z_TYPE_P(p) == IS_ARRAY) { |
104 | 89 | HashTable *guards; |
105 | | |
106 | 89 | guards = Z_ARRVAL_P(p); |
107 | 89 | ZEND_ASSERT(guards != NULL); |
108 | 89 | zend_hash_destroy(guards); |
109 | 89 | FREE_HASHTABLE(guards); |
110 | 89 | } |
111 | 197k | } |
112 | 3.49M | } |
113 | | |
114 | | ZEND_API void zend_objects_destroy_object(zend_object *object) |
115 | 59.6k | { |
116 | 59.6k | zend_function *destructor = object->ce->destructor; |
117 | | |
118 | 59.6k | if (destructor) { |
119 | 59.6k | if (UNEXPECTED(zend_object_is_lazy(object))) { |
120 | 164 | return; |
121 | 164 | } |
122 | | |
123 | 59.5k | zend_object *old_exception; |
124 | 59.5k | const zend_op *old_opline_before_exception = NULL; |
125 | | |
126 | 59.5k | if (destructor->common.fn_flags & (ZEND_ACC_PRIVATE|ZEND_ACC_PROTECTED)) { |
127 | 0 | if (EG(current_execute_data)) { |
128 | 0 | zend_class_entry *scope = zend_get_executed_scope(); |
129 | | /* Ensure that if we're calling a protected or private function, we're allowed to do so. */ |
130 | 0 | ZEND_ASSERT(!(destructor->common.fn_flags & ZEND_ACC_PUBLIC)); |
131 | 0 | if (!zend_check_method_accessible(destructor, scope)) { |
132 | 0 | zend_throw_error(NULL, |
133 | 0 | "Call to %s %s::__destruct() from %s%s", |
134 | 0 | zend_visibility_string(destructor->common.fn_flags), ZSTR_VAL(object->ce->name), |
135 | 0 | scope ? "scope " : "global scope", |
136 | 0 | scope ? ZSTR_VAL(scope->name) : "" |
137 | 0 | ); |
138 | 0 | return; |
139 | 0 | } |
140 | 0 | } else { |
141 | 0 | zend_error(E_WARNING, |
142 | 0 | "Call to %s %s::__destruct() from global scope during shutdown ignored", |
143 | 0 | zend_visibility_string(destructor->common.fn_flags), ZSTR_VAL(object->ce->name)); |
144 | 0 | return; |
145 | 0 | } |
146 | 0 | } |
147 | | |
148 | 59.5k | GC_ADDREF(object); |
149 | | |
150 | | /* Make sure that destructors are protected from previously thrown exceptions. |
151 | | * For example, if an exception was thrown in a function and when the function's |
152 | | * local variable destruction results in a destructor being called. |
153 | | */ |
154 | 59.5k | old_exception = NULL; |
155 | 59.5k | if (EG(exception)) { |
156 | 47.9k | if (EG(exception) == object) { |
157 | 0 | zend_error_noreturn(E_CORE_ERROR, "Attempt to destruct pending exception"); |
158 | 47.9k | } else { |
159 | 47.9k | if (EG(current_execute_data)) { |
160 | 9.20k | if (EG(current_execute_data)->func |
161 | 9.20k | && ZEND_USER_CODE(EG(current_execute_data)->func->common.type)) { |
162 | 9.09k | zend_rethrow_exception(EG(current_execute_data)); |
163 | 9.09k | } |
164 | 9.20k | EG(current_execute_data)->opline = EG(opline_before_exception); |
165 | 9.20k | old_opline_before_exception = EG(opline_before_exception); |
166 | 9.20k | } |
167 | 47.9k | old_exception = EG(exception); |
168 | 47.9k | EG(exception) = NULL; |
169 | 47.9k | } |
170 | 47.9k | } |
171 | | |
172 | 59.5k | zend_call_known_instance_method_with_0_params(destructor, object, NULL); |
173 | | |
174 | 59.5k | if (old_exception) { |
175 | 281 | if (EG(current_execute_data)) { |
176 | 281 | EG(current_execute_data)->opline = EG(exception_op); |
177 | 281 | EG(opline_before_exception) = old_opline_before_exception; |
178 | 281 | } |
179 | 281 | if (EG(exception)) { |
180 | 146 | zend_exception_set_previous(EG(exception), old_exception); |
181 | 146 | } else { |
182 | 135 | EG(exception) = old_exception; |
183 | 135 | } |
184 | 281 | } |
185 | 59.5k | OBJ_RELEASE(object); |
186 | 59.5k | } |
187 | 59.6k | } |
188 | | |
189 | | ZEND_API zend_object* ZEND_FASTCALL zend_objects_new(zend_class_entry *ce) |
190 | 2.70M | { |
191 | 2.70M | zend_object *object = emalloc(sizeof(zend_object) + zend_object_properties_size(ce)); |
192 | | |
193 | 2.70M | _zend_object_std_init(object, ce); |
194 | 2.70M | return object; |
195 | 2.70M | } |
196 | | |
197 | | ZEND_API void ZEND_FASTCALL zend_objects_clone_members(zend_object *new_object, zend_object *old_object) |
198 | 805 | { |
199 | 805 | bool has_clone_method = old_object->ce->clone != NULL; |
200 | | |
201 | 805 | if (old_object->ce->default_properties_count) { |
202 | 339 | zval *src = old_object->properties_table; |
203 | 339 | zval *dst = new_object->properties_table; |
204 | 339 | zval *end = src + old_object->ce->default_properties_count; |
205 | | |
206 | 613 | do { |
207 | 613 | i_zval_ptr_dtor(dst); |
208 | 613 | ZVAL_COPY_VALUE_PROP(dst, src); |
209 | 613 | zval_add_ref(dst); |
210 | 613 | if (has_clone_method) { |
211 | | /* Unconditionally add the IS_PROP_REINITABLE flag to avoid a potential cache miss of property_info */ |
212 | 165 | Z_PROP_FLAG_P(dst) |= IS_PROP_REINITABLE; |
213 | 165 | } |
214 | | |
215 | 613 | if (UNEXPECTED(Z_ISREF_P(dst)) && |
216 | 5 | (ZEND_DEBUG || ZEND_REF_HAS_TYPE_SOURCES(Z_REF_P(dst)))) { |
217 | 5 | zend_property_info *prop_info = zend_get_property_info_for_slot_self(new_object, dst); |
218 | 5 | if (ZEND_TYPE_IS_SET(prop_info->type)) { |
219 | 5 | ZEND_REF_ADD_TYPE_SOURCE(Z_REF_P(dst), prop_info); |
220 | 5 | } |
221 | 5 | } |
222 | 613 | src++; |
223 | 613 | dst++; |
224 | 613 | } while (src != end); |
225 | 466 | } else if (old_object->properties && !has_clone_method) { |
226 | | /* fast copy */ |
227 | 163 | if (EXPECTED(old_object->handlers == &std_object_handlers)) { |
228 | 163 | if (EXPECTED(!(GC_FLAGS(old_object->properties) & IS_ARRAY_IMMUTABLE))) { |
229 | 163 | GC_ADDREF(old_object->properties); |
230 | 163 | } |
231 | 163 | new_object->properties = old_object->properties; |
232 | 163 | return; |
233 | 163 | } |
234 | 163 | } |
235 | | |
236 | 642 | if (old_object->properties && |
237 | 14 | EXPECTED(zend_hash_num_elements(old_object->properties))) { |
238 | 14 | zval *prop, new_prop; |
239 | 14 | zend_ulong num_key; |
240 | 14 | zend_string *key; |
241 | | |
242 | 14 | if (!new_object->properties) { |
243 | 14 | new_object->properties = zend_new_array(zend_hash_num_elements(old_object->properties)); |
244 | 14 | zend_hash_real_init_mixed(new_object->properties); |
245 | 14 | } else { |
246 | 0 | zend_hash_extend(new_object->properties, new_object->properties->nNumUsed + zend_hash_num_elements(old_object->properties), 0); |
247 | 0 | } |
248 | | |
249 | 14 | HT_FLAGS(new_object->properties) |= |
250 | 14 | HT_FLAGS(old_object->properties) & HASH_FLAG_HAS_EMPTY_IND; |
251 | | |
252 | 64 | ZEND_HASH_MAP_FOREACH_KEY_VAL(old_object->properties, num_key, key, prop) { |
253 | 64 | if (Z_TYPE_P(prop) == IS_INDIRECT) { |
254 | 16 | ZVAL_INDIRECT(&new_prop, new_object->properties_table + (Z_INDIRECT_P(prop) - old_object->properties_table)); |
255 | 16 | } else { |
256 | 2 | ZVAL_COPY_VALUE(&new_prop, prop); |
257 | 2 | zval_add_ref(&new_prop); |
258 | 2 | } |
259 | 64 | if (has_clone_method) { |
260 | | /* Unconditionally add the IS_PROP_REINITABLE flag to avoid a potential cache miss of property_info */ |
261 | 10 | Z_PROP_FLAG_P(&new_prop) |= IS_PROP_REINITABLE; |
262 | 10 | } |
263 | 64 | if (EXPECTED(key)) { |
264 | 18 | _zend_hash_append(new_object->properties, key, &new_prop); |
265 | 18 | } else { |
266 | 0 | zend_hash_index_add_new(new_object->properties, num_key, &new_prop); |
267 | 0 | } |
268 | 64 | } ZEND_HASH_FOREACH_END(); |
269 | 14 | } |
270 | | |
271 | 642 | if (has_clone_method) { |
272 | 194 | zend_call_known_instance_method_with_0_params(new_object->ce->clone, new_object, NULL); |
273 | | |
274 | 194 | if (ZEND_CLASS_HAS_READONLY_PROPS(new_object->ce)) { |
275 | 231 | for (uint32_t i = 0; i < new_object->ce->default_properties_count; i++) { |
276 | 127 | zval* prop = OBJ_PROP_NUM(new_object, i); |
277 | | /* Unconditionally remove the IS_PROP_REINITABLE flag to avoid a potential cache miss of property_info */ |
278 | 127 | Z_PROP_FLAG_P(prop) &= ~IS_PROP_REINITABLE; |
279 | 127 | } |
280 | 104 | } |
281 | 194 | } |
282 | 642 | } |
283 | | |
284 | | ZEND_API zend_object *zend_objects_clone_obj_with(zend_object *old_object, const zend_class_entry *scope, const HashTable *properties) |
285 | 138 | { |
286 | 138 | zend_object *new_object = old_object->handlers->clone_obj(old_object); |
287 | | |
288 | 138 | if (EXPECTED(!EG(exception))) { |
289 | | /* Unlock readonly properties once more. */ |
290 | 138 | if (ZEND_CLASS_HAS_READONLY_PROPS(new_object->ce)) { |
291 | 60 | for (uint32_t i = 0; i < new_object->ce->default_properties_count; i++) { |
292 | 40 | zval* prop = OBJ_PROP_NUM(new_object, i); |
293 | 40 | Z_PROP_FLAG_P(prop) |= IS_PROP_REINITABLE; |
294 | 40 | } |
295 | 20 | } |
296 | | |
297 | 138 | const zend_class_entry *old_scope = EG(fake_scope); |
298 | | |
299 | 138 | EG(fake_scope) = scope; |
300 | | |
301 | 614 | ZEND_HASH_FOREACH_KEY_VAL(properties, zend_ulong num_key, zend_string *key, zval *val) { |
302 | 614 | if (UNEXPECTED(Z_ISREF_P(val))) { |
303 | 10 | if (Z_REFCOUNT_P(val) == 1) { |
304 | 5 | val = Z_REFVAL_P(val); |
305 | 5 | } else { |
306 | 5 | zend_throw_error(NULL, "Cannot assign by reference when cloning with updated properties"); |
307 | 5 | break; |
308 | 5 | } |
309 | 10 | } |
310 | | |
311 | 233 | if (UNEXPECTED(key == NULL)) { |
312 | 15 | key = zend_long_to_str(num_key); |
313 | 15 | new_object->handlers->write_property(new_object, key, val, NULL); |
314 | 15 | zend_string_release_ex(key, false); |
315 | 218 | } else { |
316 | 218 | new_object->handlers->write_property(new_object, key, val, NULL); |
317 | 218 | } |
318 | | |
319 | 233 | if (UNEXPECTED(EG(exception))) { |
320 | 45 | break; |
321 | 45 | } |
322 | 233 | } ZEND_HASH_FOREACH_END(); |
323 | | |
324 | 138 | EG(fake_scope) = old_scope; |
325 | 138 | } |
326 | | |
327 | 138 | return new_object; |
328 | 138 | } |
329 | | |
330 | | ZEND_API zend_object *zend_objects_clone_obj(zend_object *old_object) |
331 | 855 | { |
332 | 855 | zend_object *new_object; |
333 | | |
334 | 855 | if (UNEXPECTED(zend_object_is_lazy(old_object))) { |
335 | 64 | return zend_lazy_object_clone(old_object); |
336 | 64 | } |
337 | | |
338 | | /* assume that create isn't overwritten, so when clone depends on the |
339 | | * overwritten one then it must itself be overwritten */ |
340 | 791 | new_object = zend_objects_new(old_object->ce); |
341 | | |
342 | | /* zend_objects_clone_members() expect the properties to be initialized. */ |
343 | 791 | if (new_object->ce->default_properties_count) { |
344 | 339 | zval *p = new_object->properties_table; |
345 | 339 | zval *end = p + new_object->ce->default_properties_count; |
346 | 613 | do { |
347 | 613 | ZVAL_UNDEF(p); |
348 | 613 | p++; |
349 | 613 | } while (p != end); |
350 | 339 | } |
351 | | |
352 | 791 | zend_objects_clone_members(new_object, old_object); |
353 | | |
354 | 791 | return new_object; |
355 | 855 | } |