3 * Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
4 * 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 by Larry Wall and others
6 * You may distribute under the terms of either the GNU General Public
7 * License or the Artistic License, as specified in the README file.
12 * I sit beside the fire and think
13 * of all that I have seen.
16 * [p.278 of _The Lord of the Rings_, II/iii: "The Ring Goes South"]
20 =head1 Hash Manipulation Functions
22 A HV structure represents a Perl hash. It consists mainly of an array
23 of pointers, each of which points to a linked list of HE structures. The
24 array is indexed by the hash function of the key, so each linked list
25 represents all the hash entries with the same hash value. Each HE contains
26 a pointer to the actual value, plus a pointer to a HEK structure which
27 holds the key and hash value.
35 #define PERL_HASH_INTERNAL_ACCESS
38 #define DO_HSPLIT(xhv) ((xhv)->xhv_keys > (xhv)->xhv_max) /* HvTOTALKEYS(hv) > HvMAX(hv) */
39 #define HV_FILL_THRESHOLD 31
41 static const char S_strtab_error[]
42 = "Cannot modify shared string table in hv_%s";
46 #define new_HE() (HE*)safemalloc(sizeof(HE))
47 #define del_HE(p) safefree((char*)p)
56 void ** const root = &PL_body_roots[HE_SVSLOT];
59 Perl_more_bodies(aTHX_ HE_SVSLOT, sizeof(HE), PERL_ARENA_SIZE);
66 #define new_HE() new_he()
69 HeNEXT(p) = (HE*)(PL_body_roots[HE_SVSLOT]); \
70 PL_body_roots[HE_SVSLOT] = p; \
78 S_save_hek_flags(const char *str, I32 len, U32 hash, int flags)
80 const int flags_masked = flags & HVhek_MASK;
84 PERL_ARGS_ASSERT_SAVE_HEK_FLAGS;
86 Newx(k, HEK_BASESIZE + len + 2, char);
88 Copy(str, HEK_KEY(hek), len, char);
89 HEK_KEY(hek)[len] = 0;
92 HEK_FLAGS(hek) = (unsigned char)flags_masked | HVhek_UNSHARED;
94 if (flags & HVhek_FREEKEY)
99 /* free the pool of temporary HE/HEK pairs returned by hv_fetch_ent
103 Perl_free_tied_hv_pool(pTHX)
106 HE *he = PL_hv_fetch_ent_mh;
109 Safefree(HeKEY_hek(he));
113 PL_hv_fetch_ent_mh = NULL;
116 #if defined(USE_ITHREADS)
118 Perl_hek_dup(pTHX_ HEK *source, CLONE_PARAMS* param)
122 PERL_ARGS_ASSERT_HEK_DUP;
123 PERL_UNUSED_ARG(param);
128 shared = (HEK*)ptr_table_fetch(PL_ptr_table, source);
130 /* We already shared this hash key. */
131 (void)share_hek_hek(shared);
135 = share_hek_flags(HEK_KEY(source), HEK_LEN(source),
136 HEK_HASH(source), HEK_FLAGS(source));
137 ptr_table_store(PL_ptr_table, source, shared);
143 Perl_he_dup(pTHX_ const HE *e, bool shared, CLONE_PARAMS* param)
147 PERL_ARGS_ASSERT_HE_DUP;
151 /* look for it in the table first */
152 ret = (HE*)ptr_table_fetch(PL_ptr_table, e);
156 /* create anew and remember what it is */
158 ptr_table_store(PL_ptr_table, e, ret);
160 HeNEXT(ret) = he_dup(HeNEXT(e),shared, param);
161 if (HeKLEN(e) == HEf_SVKEY) {
163 Newx(k, HEK_BASESIZE + sizeof(const SV *), char);
164 HeKEY_hek(ret) = (HEK*)k;
165 HeKEY_sv(ret) = sv_dup_inc(HeKEY_sv(e), param);
168 /* This is hek_dup inlined, which seems to be important for speed
170 HEK * const source = HeKEY_hek(e);
171 HEK *shared = (HEK*)ptr_table_fetch(PL_ptr_table, source);
174 /* We already shared this hash key. */
175 (void)share_hek_hek(shared);
179 = share_hek_flags(HEK_KEY(source), HEK_LEN(source),
180 HEK_HASH(source), HEK_FLAGS(source));
181 ptr_table_store(PL_ptr_table, source, shared);
183 HeKEY_hek(ret) = shared;
186 HeKEY_hek(ret) = save_hek_flags(HeKEY(e), HeKLEN(e), HeHASH(e),
188 HeVAL(ret) = sv_dup_inc(HeVAL(e), param);
191 #endif /* USE_ITHREADS */
194 S_hv_notallowed(pTHX_ int flags, const char *key, I32 klen,
197 SV * const sv = sv_newmortal();
199 PERL_ARGS_ASSERT_HV_NOTALLOWED;
201 if (!(flags & HVhek_FREEKEY)) {
202 sv_setpvn(sv, key, klen);
205 /* Need to free saved eventually assign to mortal SV */
206 /* XXX is this line an error ???: SV *sv = sv_newmortal(); */
207 sv_usepvn(sv, (char *) key, klen);
209 if (flags & HVhek_UTF8) {
212 Perl_croak(aTHX_ msg, SVfARG(sv));
215 /* (klen == HEf_SVKEY) is special for MAGICAL hv entries, meaning key slot
221 Stores an SV in a hash. The hash key is specified as C<key> and the
222 absolute value of C<klen> is the length of the key. If C<klen> is
223 negative the key is assumed to be in UTF-8-encoded Unicode. The
224 C<hash> parameter is the precomputed hash value; if it is zero then
225 Perl will compute it.
227 The return value will be
228 NULL if the operation failed or if the value did not need to be actually
229 stored within the hash (as in the case of tied hashes). Otherwise it can
230 be dereferenced to get the original C<SV*>. Note that the caller is
231 responsible for suitably incrementing the reference count of C<val> before
232 the call, and decrementing it if the function returned NULL. Effectively
233 a successful hv_store takes ownership of one reference to C<val>. This is
234 usually what you want; a newly created SV has a reference count of one, so
235 if all your code does is create SVs then store them in a hash, hv_store
236 will own the only reference to the new SV, and your code doesn't need to do
237 anything further to tidy up. hv_store is not implemented as a call to
238 hv_store_ent, and does not create a temporary SV for the key, so if your
239 key data is not already in SV form then use hv_store in preference to
242 See L<perlguts/"Understanding the Magic of Tied Hashes and Arrays"> for more
243 information on how to use this function on tied hashes.
245 =for apidoc hv_store_ent
247 Stores C<val> in a hash. The hash key is specified as C<key>. The C<hash>
248 parameter is the precomputed hash value; if it is zero then Perl will
249 compute it. The return value is the new hash entry so created. It will be
250 NULL if the operation failed or if the value did not need to be actually
251 stored within the hash (as in the case of tied hashes). Otherwise the
252 contents of the return value can be accessed using the C<He?> macros
253 described here. Note that the caller is responsible for suitably
254 incrementing the reference count of C<val> before the call, and
255 decrementing it if the function returned NULL. Effectively a successful
256 hv_store_ent takes ownership of one reference to C<val>. This is
257 usually what you want; a newly created SV has a reference count of one, so
258 if all your code does is create SVs then store them in a hash, hv_store
259 will own the only reference to the new SV, and your code doesn't need to do
260 anything further to tidy up. Note that hv_store_ent only reads the C<key>;
261 unlike C<val> it does not take ownership of it, so maintaining the correct
262 reference count on C<key> is entirely the caller's responsibility. hv_store
263 is not implemented as a call to hv_store_ent, and does not create a temporary
264 SV for the key, so if your key data is not already in SV form then use
265 hv_store in preference to hv_store_ent.
267 See L<perlguts/"Understanding the Magic of Tied Hashes and Arrays"> for more
268 information on how to use this function on tied hashes.
270 =for apidoc hv_exists
272 Returns a boolean indicating whether the specified hash key exists. The
273 absolute value of C<klen> is the length of the key. If C<klen> is
274 negative the key is assumed to be in UTF-8-encoded Unicode.
278 Returns the SV which corresponds to the specified key in the hash.
279 The absolute value of C<klen> is the length of the key. If C<klen> is
280 negative the key is assumed to be in UTF-8-encoded Unicode. If
281 C<lval> is set then the fetch will be part of a store. This means that if
282 there is no value in the hash associated with the given key, then one is
283 created and a pointer to it is returned. The C<SV*> it points to can be
284 assigned to. But always check that the
285 return value is non-null before dereferencing it to an C<SV*>.
287 See L<perlguts/"Understanding the Magic of Tied Hashes and Arrays"> for more
288 information on how to use this function on tied hashes.
290 =for apidoc hv_exists_ent
292 Returns a boolean indicating whether
293 the specified hash key exists. C<hash>
294 can be a valid precomputed hash value, or 0 to ask for it to be
300 /* returns an HE * structure with the all fields set */
301 /* note that hent_val will be a mortal sv for MAGICAL hashes */
303 =for apidoc hv_fetch_ent
305 Returns the hash entry which corresponds to the specified key in the hash.
306 C<hash> must be a valid precomputed hash number for the given C<key>, or 0
307 if you want the function to compute it. IF C<lval> is set then the fetch
308 will be part of a store. Make sure the return value is non-null before
309 accessing it. The return value when C<hv> is a tied hash is a pointer to a
310 static location, so be sure to make a copy of the structure if you need to
313 See L<perlguts/"Understanding the Magic of Tied Hashes and Arrays"> for more
314 information on how to use this function on tied hashes.
319 /* Common code for hv_delete()/hv_exists()/hv_fetch()/hv_store() */
321 Perl_hv_common_key_len(pTHX_ HV *hv, const char *key, I32 klen_i32,
322 const int action, SV *val, const U32 hash)
327 PERL_ARGS_ASSERT_HV_COMMON_KEY_LEN;
336 return hv_common(hv, NULL, key, klen, flags, action, val, hash);
340 Perl_hv_common(pTHX_ HV *hv, SV *keysv, const char *key, STRLEN klen,
341 int flags, int action, SV *val, U32 hash)
350 const int return_svp = action & HV_FETCH_JUST_SV;
354 if (SvTYPE(hv) == (svtype)SVTYPEMASK)
357 assert(SvTYPE(hv) == SVt_PVHV);
359 if (SvSMAGICAL(hv) && SvGMAGICAL(hv) && !(action & HV_DISABLE_UVAR_XKEY)) {
361 if ((mg = mg_find((const SV *)hv, PERL_MAGIC_uvar))) {
362 struct ufuncs * const uf = (struct ufuncs *)mg->mg_ptr;
363 if (uf->uf_set == NULL) {
364 SV* obj = mg->mg_obj;
367 keysv = newSVpvn_flags(key, klen, SVs_TEMP |
368 ((flags & HVhek_UTF8)
372 mg->mg_obj = keysv; /* pass key */
373 uf->uf_index = action; /* pass action */
374 magic_getuvar(MUTABLE_SV(hv), mg);
375 keysv = mg->mg_obj; /* may have changed */
378 /* If the key may have changed, then we need to invalidate
379 any passed-in computed hash value. */
385 if (flags & HVhek_FREEKEY)
387 key = SvPV_const(keysv, klen);
388 is_utf8 = (SvUTF8(keysv) != 0);
389 if (SvIsCOW_shared_hash(keysv)) {
390 flags = HVhek_KEYCANONICAL | (is_utf8 ? HVhek_UTF8 : 0);
392 flags = is_utf8 ? HVhek_UTF8 : 0;
395 is_utf8 = ((flags & HVhek_UTF8) ? TRUE : FALSE);
398 if (action & HV_DELETE) {
399 return (void *) hv_delete_common(hv, keysv, key, klen,
400 flags, action, hash);
403 xhv = (XPVHV*)SvANY(hv);
405 if (SvRMAGICAL(hv) && !(action & (HV_FETCH_ISSTORE|HV_FETCH_ISEXISTS))) {
406 if (mg_find((const SV *)hv, PERL_MAGIC_tied)
407 || SvGMAGICAL((const SV *)hv))
409 /* FIXME should be able to skimp on the HE/HEK here when
410 HV_FETCH_JUST_SV is true. */
412 keysv = newSVpvn_utf8(key, klen, is_utf8);
414 keysv = newSVsv(keysv);
417 mg_copy(MUTABLE_SV(hv), sv, (char *)keysv, HEf_SVKEY);
419 /* grab a fake HE/HEK pair from the pool or make a new one */
420 entry = PL_hv_fetch_ent_mh;
422 PL_hv_fetch_ent_mh = HeNEXT(entry);
426 Newx(k, HEK_BASESIZE + sizeof(const SV *), char);
427 HeKEY_hek(entry) = (HEK*)k;
429 HeNEXT(entry) = NULL;
430 HeSVKEY_set(entry, keysv);
432 sv_upgrade(sv, SVt_PVLV);
434 /* so we can free entry when freeing sv */
435 LvTARG(sv) = MUTABLE_SV(entry);
437 /* XXX remove at some point? */
438 if (flags & HVhek_FREEKEY)
442 return entry ? (void *) &HeVAL(entry) : NULL;
444 return (void *) entry;
446 #ifdef ENV_IS_CASELESS
447 else if (mg_find((const SV *)hv, PERL_MAGIC_env)) {
449 for (i = 0; i < klen; ++i)
450 if (isLOWER(key[i])) {
451 /* Would be nice if we had a routine to do the
452 copy and upercase in a single pass through. */
453 const char * const nkey = strupr(savepvn(key,klen));
454 /* Note that this fetch is for nkey (the uppercased
455 key) whereas the store is for key (the original) */
456 void *result = hv_common(hv, NULL, nkey, klen,
457 HVhek_FREEKEY, /* free nkey */
458 0 /* non-LVAL fetch */
459 | HV_DISABLE_UVAR_XKEY
462 0 /* compute hash */);
463 if (!result && (action & HV_FETCH_LVALUE)) {
464 /* This call will free key if necessary.
465 Do it this way to encourage compiler to tail
467 result = hv_common(hv, keysv, key, klen, flags,
469 | HV_DISABLE_UVAR_XKEY
473 if (flags & HVhek_FREEKEY)
481 else if (SvRMAGICAL(hv) && (action & HV_FETCH_ISEXISTS)) {
482 if (mg_find((const SV *)hv, PERL_MAGIC_tied)
483 || SvGMAGICAL((const SV *)hv)) {
484 /* I don't understand why hv_exists_ent has svret and sv,
485 whereas hv_exists only had one. */
486 SV * const svret = sv_newmortal();
489 if (keysv || is_utf8) {
491 keysv = newSVpvn_utf8(key, klen, TRUE);
493 keysv = newSVsv(keysv);
495 mg_copy(MUTABLE_SV(hv), sv, (char *)sv_2mortal(keysv), HEf_SVKEY);
497 mg_copy(MUTABLE_SV(hv), sv, key, klen);
499 if (flags & HVhek_FREEKEY)
501 magic_existspack(svret, mg_find(sv, PERL_MAGIC_tiedelem));
502 /* This cast somewhat evil, but I'm merely using NULL/
503 not NULL to return the boolean exists.
504 And I know hv is not NULL. */
505 return SvTRUE(svret) ? (void *)hv : NULL;
507 #ifdef ENV_IS_CASELESS
508 else if (mg_find((const SV *)hv, PERL_MAGIC_env)) {
509 /* XXX This code isn't UTF8 clean. */
510 char * const keysave = (char * const)key;
511 /* Will need to free this, so set FREEKEY flag. */
512 key = savepvn(key,klen);
513 key = (const char*)strupr((char*)key);
518 if (flags & HVhek_FREEKEY) {
521 flags |= HVhek_FREEKEY;
525 else if (action & HV_FETCH_ISSTORE) {
528 hv_magic_check (hv, &needs_copy, &needs_store);
530 const bool save_taint = TAINT_get;
531 if (keysv || is_utf8) {
533 keysv = newSVpvn_utf8(key, klen, TRUE);
536 TAINT_set(SvTAINTED(keysv));
537 keysv = sv_2mortal(newSVsv(keysv));
538 mg_copy(MUTABLE_SV(hv), val, (char*)keysv, HEf_SVKEY);
540 mg_copy(MUTABLE_SV(hv), val, key, klen);
543 TAINT_IF(save_taint);
544 #ifdef NO_TAINT_SUPPORT
545 PERL_UNUSED_VAR(save_taint);
548 if (flags & HVhek_FREEKEY)
552 #ifdef ENV_IS_CASELESS
553 else if (mg_find((const SV *)hv, PERL_MAGIC_env)) {
554 /* XXX This code isn't UTF8 clean. */
555 const char *keysave = key;
556 /* Will need to free this, so set FREEKEY flag. */
557 key = savepvn(key,klen);
558 key = (const char*)strupr((char*)key);
563 if (flags & HVhek_FREEKEY) {
566 flags |= HVhek_FREEKEY;
574 if ((action & (HV_FETCH_LVALUE | HV_FETCH_ISSTORE))
575 #ifdef DYNAMIC_ENV_FETCH /* if it's an %ENV lookup, we may get it on the fly */
576 || (SvRMAGICAL((const SV *)hv)
577 && mg_find((const SV *)hv, PERL_MAGIC_env))
582 PERL_HV_ARRAY_ALLOC_BYTES(xhv->xhv_max+1 /* HvMAX(hv)+1 */),
584 HvARRAY(hv) = (HE**)array;
586 #ifdef DYNAMIC_ENV_FETCH
587 else if (action & HV_FETCH_ISEXISTS) {
588 /* for an %ENV exists, if we do an insert it's by a recursive
589 store call, so avoid creating HvARRAY(hv) right now. */
593 /* XXX remove at some point? */
594 if (flags & HVhek_FREEKEY)
601 if (is_utf8 && !(flags & HVhek_KEYCANONICAL)) {
602 char * const keysave = (char *)key;
603 key = (char*)bytes_from_utf8((U8*)key, &klen, &is_utf8);
607 flags &= ~HVhek_UTF8;
608 if (key != keysave) {
609 if (flags & HVhek_FREEKEY)
611 flags |= HVhek_WASUTF8 | HVhek_FREEKEY;
612 /* If the caller calculated a hash, it was on the sequence of
613 octets that are the UTF-8 form. We've now changed the sequence
614 of octets stored to that of the equivalent byte representation,
615 so the hash we need is different. */
621 if (keysv && (SvIsCOW_shared_hash(keysv)))
622 hash = SvSHARED_HASH(keysv);
624 PERL_HASH(hash, key, klen);
627 masked_flags = (flags & HVhek_MASK);
629 #ifdef DYNAMIC_ENV_FETCH
630 if (!HvARRAY(hv)) entry = NULL;
634 entry = (HvARRAY(hv))[hash & (I32) HvMAX(hv)];
636 for (; entry; entry = HeNEXT(entry)) {
637 if (HeHASH(entry) != hash) /* strings can't be equal */
639 if (HeKLEN(entry) != (I32)klen)
641 if (HeKEY(entry) != key && memNE(HeKEY(entry),key,klen)) /* is this it? */
643 if ((HeKFLAGS(entry) ^ masked_flags) & HVhek_UTF8)
646 if (action & (HV_FETCH_LVALUE|HV_FETCH_ISSTORE)) {
647 if (HeKFLAGS(entry) != masked_flags) {
648 /* We match if HVhek_UTF8 bit in our flags and hash key's
649 match. But if entry was set previously with HVhek_WASUTF8
650 and key now doesn't (or vice versa) then we should change
651 the key's flag, as this is assignment. */
652 if (HvSHAREKEYS(hv)) {
653 /* Need to swap the key we have for a key with the flags we
654 need. As keys are shared we can't just write to the
655 flag, so we share the new one, unshare the old one. */
656 HEK * const new_hek = share_hek_flags(key, klen, hash,
658 unshare_hek (HeKEY_hek(entry));
659 HeKEY_hek(entry) = new_hek;
661 else if (hv == PL_strtab) {
662 /* PL_strtab is usually the only hash without HvSHAREKEYS,
663 so putting this test here is cheap */
664 if (flags & HVhek_FREEKEY)
666 Perl_croak(aTHX_ S_strtab_error,
667 action & HV_FETCH_LVALUE ? "fetch" : "store");
670 HeKFLAGS(entry) = masked_flags;
671 if (masked_flags & HVhek_ENABLEHVKFLAGS)
674 if (HeVAL(entry) == &PL_sv_placeholder) {
675 /* yes, can store into placeholder slot */
676 if (action & HV_FETCH_LVALUE) {
678 /* This preserves behaviour with the old hv_fetch
679 implementation which at this point would bail out
680 with a break; (at "if we find a placeholder, we
681 pretend we haven't found anything")
683 That break mean that if a placeholder were found, it
684 caused a call into hv_store, which in turn would
685 check magic, and if there is no magic end up pretty
686 much back at this point (in hv_store's code). */
689 /* LVAL fetch which actually needs a store. */
691 HvPLACEHOLDERS(hv)--;
694 if (val != &PL_sv_placeholder)
695 HvPLACEHOLDERS(hv)--;
698 } else if (action & HV_FETCH_ISSTORE) {
699 SvREFCNT_dec(HeVAL(entry));
702 } else if (HeVAL(entry) == &PL_sv_placeholder) {
703 /* if we find a placeholder, we pretend we haven't found
707 if (flags & HVhek_FREEKEY)
710 return entry ? (void *) &HeVAL(entry) : NULL;
714 #ifdef DYNAMIC_ENV_FETCH /* %ENV lookup? If so, try to fetch the value now */
715 if (!(action & HV_FETCH_ISSTORE)
716 && SvRMAGICAL((const SV *)hv)
717 && mg_find((const SV *)hv, PERL_MAGIC_env)) {
719 const char * const env = PerlEnv_ENVgetenv_len(key,&len);
721 sv = newSVpvn(env,len);
723 return hv_common(hv, keysv, key, klen, flags,
724 HV_FETCH_ISSTORE|HV_DISABLE_UVAR_XKEY|return_svp,
730 if (!entry && SvREADONLY(hv) && !(action & HV_FETCH_ISEXISTS)) {
731 hv_notallowed(flags, key, klen,
732 "Attempt to access disallowed key '%"SVf"' in"
733 " a restricted hash");
735 if (!(action & (HV_FETCH_LVALUE|HV_FETCH_ISSTORE))) {
736 /* Not doing some form of store, so return failure. */
737 if (flags & HVhek_FREEKEY)
741 if (action & HV_FETCH_LVALUE) {
742 val = action & HV_FETCH_EMPTY_HE ? NULL : newSV(0);
744 /* At this point the old hv_fetch code would call to hv_store,
745 which in turn might do some tied magic. So we need to make that
746 magic check happen. */
747 /* gonna assign to this, so it better be there */
748 /* If a fetch-as-store fails on the fetch, then the action is to
749 recurse once into "hv_store". If we didn't do this, then that
750 recursive call would call the key conversion routine again.
751 However, as we replace the original key with the converted
752 key, this would result in a double conversion, which would show
753 up as a bug if the conversion routine is not idempotent.
754 Hence the use of HV_DISABLE_UVAR_XKEY. */
755 return hv_common(hv, keysv, key, klen, flags,
756 HV_FETCH_ISSTORE|HV_DISABLE_UVAR_XKEY|return_svp,
758 /* XXX Surely that could leak if the fetch-was-store fails?
759 Just like the hv_fetch. */
763 /* Welcome to hv_store... */
766 /* Not sure if we can get here. I think the only case of oentry being
767 NULL is for %ENV with dynamic env fetch. But that should disappear
768 with magic in the previous code. */
771 PERL_HV_ARRAY_ALLOC_BYTES(xhv->xhv_max+1 /* HvMAX(hv)+1 */),
773 HvARRAY(hv) = (HE**)array;
776 oentry = &(HvARRAY(hv))[hash & (I32) xhv->xhv_max];
779 /* share_hek_flags will do the free for us. This might be considered
782 HeKEY_hek(entry) = share_hek_flags(key, klen, hash, flags);
783 else if (hv == PL_strtab) {
784 /* PL_strtab is usually the only hash without HvSHAREKEYS, so putting
785 this test here is cheap */
786 if (flags & HVhek_FREEKEY)
788 Perl_croak(aTHX_ S_strtab_error,
789 action & HV_FETCH_LVALUE ? "fetch" : "store");
791 else /* gotta do the real thing */
792 HeKEY_hek(entry) = save_hek_flags(key, klen, hash, flags);
795 if (!*oentry && SvOOK(hv)) {
796 /* initial entry, and aux struct present. */
797 struct xpvhv_aux *const aux = HvAUX(hv);
798 if (aux->xhv_fill_lazy)
799 ++aux->xhv_fill_lazy;
802 #ifdef PERL_HASH_RANDOMIZE_KEYS
803 /* This logic semi-randomizes the insert order in a bucket.
804 * Either we insert into the top, or the slot below the top,
805 * making it harder to see if there is a collision. We also
806 * reset the iterator randomizer if there is one.
808 if ( *oentry && PL_HASH_RAND_BITS_ENABLED) {
810 PL_hash_rand_bits= ROTL_UV(PL_hash_rand_bits,1);
811 if ( PL_hash_rand_bits & 1 ) {
812 HeNEXT(entry) = HeNEXT(*oentry);
813 HeNEXT(*oentry) = entry;
815 HeNEXT(entry) = *oentry;
821 HeNEXT(entry) = *oentry;
824 #ifdef PERL_HASH_RANDOMIZE_KEYS
826 /* Currently this makes various tests warn in annoying ways.
827 * So Silenced for now. - Yves | bogus end of comment =>* /
828 if (HvAUX(hv)->xhv_riter != -1) {
829 Perl_ck_warner_d(aTHX_ packWARN(WARN_INTERNAL),
830 "[TESTING] Inserting into a hash during each() traversal results in undefined behavior"
835 if (PL_HASH_RAND_BITS_ENABLED) {
836 if (PL_HASH_RAND_BITS_ENABLED == 1)
837 PL_hash_rand_bits += (PTRV)entry + 1; /* we don't bother to use ptr_hash here */
838 PL_hash_rand_bits= ROTL_UV(PL_hash_rand_bits,1);
840 HvAUX(hv)->xhv_rand= (U32)PL_hash_rand_bits;
844 if (val == &PL_sv_placeholder)
845 HvPLACEHOLDERS(hv)++;
846 if (masked_flags & HVhek_ENABLEHVKFLAGS)
849 xhv->xhv_keys++; /* HvTOTALKEYS(hv)++ */
850 if ( DO_HSPLIT(xhv) ) {
851 const STRLEN oldsize = xhv->xhv_max + 1;
852 const U32 items = (U32)HvPLACEHOLDERS_get(hv);
854 if (items /* hash has placeholders */
855 && !SvREADONLY(hv) /* but is not a restricted hash */) {
856 /* If this hash previously was a "restricted hash" and had
857 placeholders, but the "restricted" flag has been turned off,
858 then the placeholders no longer serve any useful purpose.
859 However, they have the downsides of taking up RAM, and adding
860 extra steps when finding used values. It's safe to clear them
861 at this point, even though Storable rebuilds restricted hashes by
862 putting in all the placeholders (first) before turning on the
863 readonly flag, because Storable always pre-splits the hash.
864 If we're lucky, then we may clear sufficient placeholders to
865 avoid needing to split the hash at all. */
866 clear_placeholders(hv, items);
868 hsplit(hv, oldsize, oldsize * 2);
870 hsplit(hv, oldsize, oldsize * 2);
874 return entry ? (void *) &HeVAL(entry) : NULL;
876 return (void *) entry;
880 S_hv_magic_check(HV *hv, bool *needs_copy, bool *needs_store)
882 const MAGIC *mg = SvMAGIC(hv);
884 PERL_ARGS_ASSERT_HV_MAGIC_CHECK;
889 if (isUPPER(mg->mg_type)) {
891 if (mg->mg_type == PERL_MAGIC_tied) {
892 *needs_store = FALSE;
893 return; /* We've set all there is to set. */
896 mg = mg->mg_moremagic;
901 =for apidoc hv_scalar
903 Evaluates the hash in scalar context and returns the result. Handles magic
904 when the hash is tied.
910 Perl_hv_scalar(pTHX_ HV *hv)
914 PERL_ARGS_ASSERT_HV_SCALAR;
916 if (SvRMAGICAL(hv)) {
917 MAGIC * const mg = mg_find((const SV *)hv, PERL_MAGIC_tied);
919 return magic_scalarpack(hv, mg);
923 if (HvTOTALKEYS((const HV *)hv))
924 Perl_sv_setpvf(aTHX_ sv, "%ld/%ld",
925 (long)HvFILL(hv), (long)HvMAX(hv) + 1);
933 =for apidoc hv_delete
935 Deletes a key/value pair in the hash. The value's SV is removed from
936 the hash, made mortal, and returned to the caller. The absolute
937 value of C<klen> is the length of the key. If C<klen> is negative the
938 key is assumed to be in UTF-8-encoded Unicode. The C<flags> value
939 will normally be zero; if set to G_DISCARD then NULL will be returned.
940 NULL will also be returned if the key is not found.
942 =for apidoc hv_delete_ent
944 Deletes a key/value pair in the hash. The value SV is removed from the hash,
945 made mortal, and returned to the caller. The C<flags> value will normally be
946 zero; if set to G_DISCARD then NULL will be returned. NULL will also be
947 returned if the key is not found. C<hash> can be a valid precomputed hash
948 value, or 0 to ask for it to be computed.
954 S_hv_delete_common(pTHX_ HV *hv, SV *keysv, const char *key, STRLEN klen,
955 int k_flags, I32 d_flags, U32 hash)
961 HE *const *first_entry;
962 bool is_utf8 = (k_flags & HVhek_UTF8) ? TRUE : FALSE;
965 if (SvRMAGICAL(hv)) {
968 hv_magic_check (hv, &needs_copy, &needs_store);
972 entry = (HE *) hv_common(hv, keysv, key, klen,
973 k_flags & ~HVhek_FREEKEY,
974 HV_FETCH_LVALUE|HV_DISABLE_UVAR_XKEY,
976 sv = entry ? HeVAL(entry) : NULL;
982 if (mg_find(sv, PERL_MAGIC_tiedelem)) {
983 /* No longer an element */
984 sv_unmagic(sv, PERL_MAGIC_tiedelem);
987 return NULL; /* element cannot be deleted */
989 #ifdef ENV_IS_CASELESS
990 else if (mg_find((const SV *)hv, PERL_MAGIC_env)) {
991 /* XXX This code isn't UTF8 clean. */
992 keysv = newSVpvn_flags(key, klen, SVs_TEMP);
993 if (k_flags & HVhek_FREEKEY) {
996 key = strupr(SvPVX(keysv));
1005 xhv = (XPVHV*)SvANY(hv);
1009 if (is_utf8 && !(k_flags & HVhek_KEYCANONICAL)) {
1010 const char * const keysave = key;
1011 key = (char*)bytes_from_utf8((U8*)key, &klen, &is_utf8);
1014 k_flags |= HVhek_UTF8;
1016 k_flags &= ~HVhek_UTF8;
1017 if (key != keysave) {
1018 if (k_flags & HVhek_FREEKEY) {
1019 /* This shouldn't happen if our caller does what we expect,
1020 but strictly the API allows it. */
1023 k_flags |= HVhek_WASUTF8 | HVhek_FREEKEY;
1025 HvHASKFLAGS_on(MUTABLE_SV(hv));
1029 if (keysv && (SvIsCOW_shared_hash(keysv)))
1030 hash = SvSHARED_HASH(keysv);
1032 PERL_HASH(hash, key, klen);
1035 masked_flags = (k_flags & HVhek_MASK);
1037 first_entry = oentry = &(HvARRAY(hv))[hash & (I32) HvMAX(hv)];
1039 for (; entry; oentry = &HeNEXT(entry), entry = *oentry) {
1041 U8 mro_changes = 0; /* 1 = isa; 2 = package moved */
1045 if (HeHASH(entry) != hash) /* strings can't be equal */
1047 if (HeKLEN(entry) != (I32)klen)
1049 if (HeKEY(entry) != key && memNE(HeKEY(entry),key,klen)) /* is this it? */
1051 if ((HeKFLAGS(entry) ^ masked_flags) & HVhek_UTF8)
1054 if (hv == PL_strtab) {
1055 if (k_flags & HVhek_FREEKEY)
1057 Perl_croak(aTHX_ S_strtab_error, "delete");
1060 /* if placeholder is here, it's already been deleted.... */
1061 if (HeVAL(entry) == &PL_sv_placeholder) {
1062 if (k_flags & HVhek_FREEKEY)
1066 if (SvREADONLY(hv) && HeVAL(entry) && SvREADONLY(HeVAL(entry))) {
1067 hv_notallowed(k_flags, key, klen,
1068 "Attempt to delete readonly key '%"SVf"' from"
1069 " a restricted hash");
1071 if (k_flags & HVhek_FREEKEY)
1074 /* If this is a stash and the key ends with ::, then someone is
1075 * deleting a package.
1077 if (HeVAL(entry) && HvENAME_get(hv)) {
1078 gv = (GV *)HeVAL(entry);
1079 if (keysv) key = SvPV(keysv, klen);
1081 (klen > 1 && key[klen-2] == ':' && key[klen-1] == ':')
1083 (klen == 1 && key[0] == ':')
1085 && (klen != 6 || hv!=PL_defstash || memNE(key,"main::",6))
1086 && SvTYPE(gv) == SVt_PVGV && (stash = GvHV((GV *)gv))
1087 && HvENAME_get(stash)) {
1088 /* A previous version of this code checked that the
1089 * GV was still in the symbol table by fetching the
1090 * GV with its name. That is not necessary (and
1091 * sometimes incorrect), as HvENAME cannot be set
1092 * on hv if it is not in the symtab. */
1094 /* Hang on to it for a bit. */
1095 SvREFCNT_inc_simple_void_NN(
1096 sv_2mortal((SV *)gv)
1099 else if (klen == 3 && strnEQ(key, "ISA", 3))
1103 sv = d_flags & G_DISCARD ? HeVAL(entry) : sv_2mortal(HeVAL(entry));
1104 HeVAL(entry) = &PL_sv_placeholder;
1106 /* deletion of method from stash */
1107 if (isGV(sv) && isGV_with_GP(sv) && GvCVu(sv)
1109 mro_method_changed_in(hv);
1113 * If a restricted hash, rather than really deleting the entry, put
1114 * a placeholder there. This marks the key as being "approved", so
1115 * we can still access via not-really-existing key without raising
1119 /* We'll be saving this slot, so the number of allocated keys
1120 * doesn't go down, but the number placeholders goes up */
1121 HvPLACEHOLDERS(hv)++;
1123 *oentry = HeNEXT(entry);
1124 if(!*first_entry && SvOOK(hv)) {
1125 /* removed last entry, and aux struct present. */
1126 struct xpvhv_aux *const aux = HvAUX(hv);
1127 if (aux->xhv_fill_lazy)
1128 --aux->xhv_fill_lazy;
1130 if (SvOOK(hv) && entry == HvAUX(hv)->xhv_eiter /* HvEITER(hv) */)
1133 if (SvOOK(hv) && HvLAZYDEL(hv) &&
1134 entry == HeNEXT(HvAUX(hv)->xhv_eiter))
1135 HeNEXT(HvAUX(hv)->xhv_eiter) = HeNEXT(entry);
1136 hv_free_ent(hv, entry);
1138 xhv->xhv_keys--; /* HvTOTALKEYS(hv)-- */
1139 if (xhv->xhv_keys == 0)
1140 HvHASKFLAGS_off(hv);
1143 if (d_flags & G_DISCARD) {
1148 if (mro_changes == 1) mro_isa_changed_in(hv);
1149 else if (mro_changes == 2)
1150 mro_package_moved(NULL, stash, gv, 1);
1154 if (SvREADONLY(hv)) {
1155 hv_notallowed(k_flags, key, klen,
1156 "Attempt to delete disallowed key '%"SVf"' from"
1157 " a restricted hash");
1160 if (k_flags & HVhek_FREEKEY)
1166 S_hsplit(pTHX_ HV *hv, STRLEN const oldsize, STRLEN newsize)
1170 char *a = (char*) HvARRAY(hv);
1173 PERL_ARGS_ASSERT_HSPLIT;
1175 /*PerlIO_printf(PerlIO_stderr(), "hsplit called for %p which had %d\n",
1176 (void*)hv, (int) oldsize);*/
1179 Renew(a, PERL_HV_ARRAY_ALLOC_BYTES(newsize)
1180 + (SvOOK(hv) ? sizeof(struct xpvhv_aux) : 0), char);
1185 #ifdef PERL_HASH_RANDOMIZE_KEYS
1186 /* the idea of this is that we create a "random" value by hashing the address of
1187 * the array, we then use the low bit to decide if we insert at the top, or insert
1188 * second from top. After each such insert we rotate the hashed value. So we can
1189 * use the same hashed value over and over, and in normal build environments use
1190 * very few ops to do so. ROTL32() should produce a single machine operation. */
1191 if (PL_HASH_RAND_BITS_ENABLED) {
1192 if (PL_HASH_RAND_BITS_ENABLED == 1)
1193 PL_hash_rand_bits += ptr_hash((PTRV)a);
1194 PL_hash_rand_bits = ROTL_UV(PL_hash_rand_bits,1);
1199 struct xpvhv_aux *const dest
1200 = (struct xpvhv_aux*) &a[newsize * sizeof(HE*)];
1201 Move(&a[oldsize * sizeof(HE*)], dest, 1, struct xpvhv_aux);
1202 /* we reset the iterator's xhv_rand as well, so they get a totally new ordering */
1203 #ifdef PERL_HASH_RANDOMIZE_KEYS
1204 dest->xhv_rand = (U32)PL_hash_rand_bits;
1206 /* For now, just reset the lazy fill counter.
1207 It would be possible to update the counter in the code below
1209 dest->xhv_fill_lazy = 0;
1213 Zero(&a[oldsize * sizeof(HE*)], (newsize-oldsize) * sizeof(HE*), char); /* zero 2nd half*/
1214 HvMAX(hv) = --newsize;
1215 HvARRAY(hv) = (HE**) a;
1217 if (!HvTOTALKEYS(hv)) /* skip rest if no entries */
1222 HE **oentry = aep + i;
1225 if (!entry) /* non-existent */
1228 U32 j = (HeHASH(entry) & newsize);
1230 *oentry = HeNEXT(entry);
1231 #ifdef PERL_HASH_RANDOMIZE_KEYS
1232 /* if the target cell is empty or PL_HASH_RAND_BITS_ENABLED is false
1233 * insert to top, otherwise rotate the bucket rand 1 bit,
1234 * and use the new low bit to decide if we insert at top,
1235 * or next from top. IOW, we only rotate on a collision.*/
1236 if (aep[j] && PL_HASH_RAND_BITS_ENABLED) {
1237 PL_hash_rand_bits+= ROTL_UV(HeHASH(entry), 17);
1238 PL_hash_rand_bits= ROTL_UV(PL_hash_rand_bits,1);
1239 if (PL_hash_rand_bits & 1) {
1240 HeNEXT(entry)= HeNEXT(aep[j]);
1241 HeNEXT(aep[j])= entry;
1243 /* Note, this is structured in such a way as the optimizer
1244 * should eliminate the duplicated code here and below without
1245 * us needing to explicitly use a goto. */
1246 HeNEXT(entry) = aep[j];
1252 /* see comment above about duplicated code */
1253 HeNEXT(entry) = aep[j];
1258 oentry = &HeNEXT(entry);
1262 } while (i++ < oldsize);
1266 Perl_hv_ksplit(pTHX_ HV *hv, IV newmax)
1269 XPVHV* xhv = (XPVHV*)SvANY(hv);
1270 const I32 oldsize = (I32) xhv->xhv_max+1; /* HvMAX(hv)+1 (sick) */
1274 PERL_ARGS_ASSERT_HV_KSPLIT;
1276 newsize = (I32) newmax; /* possible truncation here */
1277 if (newsize != newmax || newmax <= oldsize)
1279 while ((newsize & (1 + ~newsize)) != newsize) {
1280 newsize &= ~(newsize & (1 + ~newsize)); /* get proper power of 2 */
1282 if (newsize < newmax)
1284 if (newsize < newmax)
1285 return; /* overflow detection */
1287 a = (char *) HvARRAY(hv);
1289 hsplit(hv, oldsize, newsize);
1291 Newxz(a, PERL_HV_ARRAY_ALLOC_BYTES(newsize), char);
1292 xhv->xhv_max = --newsize;
1293 HvARRAY(hv) = (HE **) a;
1297 /* IMO this should also handle cases where hv_max is smaller than hv_keys
1298 * as tied hashes could play silly buggers and mess us around. We will
1299 * do the right thing during hv_store() afterwards, but still - Yves */
1300 #define HV_SET_MAX_ADJUSTED_FOR_KEYS(hv,hv_max,hv_keys) STMT_START {\
1301 /* Can we use fewer buckets? (hv_max is always 2^n-1) */ \
1302 if (hv_max < PERL_HASH_DEFAULT_HvMAX) { \
1303 hv_max = PERL_HASH_DEFAULT_HvMAX; \
1305 while (hv_max > PERL_HASH_DEFAULT_HvMAX && hv_max + 1 >= hv_keys * 2) \
1306 hv_max = hv_max / 2; \
1308 HvMAX(hv) = hv_max; \
1313 Perl_newHVhv(pTHX_ HV *ohv)
1316 HV * const hv = newHV();
1319 if (!ohv || (!HvTOTALKEYS(ohv) && !SvMAGICAL((const SV *)ohv)))
1321 hv_max = HvMAX(ohv);
1323 if (!SvMAGICAL((const SV *)ohv)) {
1324 /* It's an ordinary hash, so copy it fast. AMS 20010804 */
1326 const bool shared = !!HvSHAREKEYS(ohv);
1327 HE **ents, ** const oents = (HE **)HvARRAY(ohv);
1329 Newx(a, PERL_HV_ARRAY_ALLOC_BYTES(hv_max+1), char);
1332 /* In each bucket... */
1333 for (i = 0; i <= hv_max; i++) {
1335 HE *oent = oents[i];
1342 /* Copy the linked list of entries. */
1343 for (; oent; oent = HeNEXT(oent)) {
1344 const U32 hash = HeHASH(oent);
1345 const char * const key = HeKEY(oent);
1346 const STRLEN len = HeKLEN(oent);
1347 const int flags = HeKFLAGS(oent);
1348 HE * const ent = new_HE();
1349 SV *const val = HeVAL(oent);
1351 HeVAL(ent) = SvIMMORTAL(val) ? val : newSVsv(val);
1353 = shared ? share_hek_flags(key, len, hash, flags)
1354 : save_hek_flags(key, len, hash, flags);
1365 HvTOTALKEYS(hv) = HvTOTALKEYS(ohv);
1369 /* Iterate over ohv, copying keys and values one at a time. */
1371 const I32 riter = HvRITER_get(ohv);
1372 HE * const eiter = HvEITER_get(ohv);
1373 STRLEN hv_keys = HvTOTALKEYS(ohv);
1375 HV_SET_MAX_ADJUSTED_FOR_KEYS(hv,hv_max,hv_keys);
1378 while ((entry = hv_iternext_flags(ohv, 0))) {
1379 SV *val = hv_iterval(ohv,entry);
1380 SV * const keysv = HeSVKEY(entry);
1381 val = SvIMMORTAL(val) ? val : newSVsv(val);
1383 (void)hv_store_ent(hv, keysv, val, 0);
1385 (void)hv_store_flags(hv, HeKEY(entry), HeKLEN(entry), val,
1386 HeHASH(entry), HeKFLAGS(entry));
1388 HvRITER_set(ohv, riter);
1389 HvEITER_set(ohv, eiter);
1396 =for apidoc Am|HV *|hv_copy_hints_hv|HV *ohv
1398 A specialised version of L</newHVhv> for copying C<%^H>. I<ohv> must be
1399 a pointer to a hash (which may have C<%^H> magic, but should be generally
1400 non-magical), or C<NULL> (interpreted as an empty hash). The content
1401 of I<ohv> is copied to a new hash, which has the C<%^H>-specific magic
1402 added to it. A pointer to the new hash is returned.
1408 Perl_hv_copy_hints_hv(pTHX_ HV *const ohv)
1410 HV * const hv = newHV();
1413 STRLEN hv_max = HvMAX(ohv);
1414 STRLEN hv_keys = HvTOTALKEYS(ohv);
1416 const I32 riter = HvRITER_get(ohv);
1417 HE * const eiter = HvEITER_get(ohv);
1422 HV_SET_MAX_ADJUSTED_FOR_KEYS(hv,hv_max,hv_keys);
1425 while ((entry = hv_iternext_flags(ohv, 0))) {
1426 SV *const sv = newSVsv(hv_iterval(ohv,entry));
1427 SV *heksv = HeSVKEY(entry);
1428 if (!heksv && sv) heksv = newSVhek(HeKEY_hek(entry));
1429 if (sv) sv_magic(sv, NULL, PERL_MAGIC_hintselem,
1430 (char *)heksv, HEf_SVKEY);
1431 if (heksv == HeSVKEY(entry))
1432 (void)hv_store_ent(hv, heksv, sv, 0);
1434 (void)hv_common(hv, heksv, HeKEY(entry), HeKLEN(entry),
1435 HeKFLAGS(entry), HV_FETCH_ISSTORE|HV_FETCH_JUST_SV, sv, HeHASH(entry));
1436 SvREFCNT_dec_NN(heksv);
1439 HvRITER_set(ohv, riter);
1440 HvEITER_set(ohv, eiter);
1442 SvREFCNT_inc_simple_void_NN(hv);
1445 hv_magic(hv, NULL, PERL_MAGIC_hints);
1448 #undef HV_SET_MAX_ADJUSTED_FOR_KEYS
1450 /* like hv_free_ent, but returns the SV rather than freeing it */
1452 S_hv_free_ent_ret(pTHX_ HV *hv, HE *entry)
1457 PERL_ARGS_ASSERT_HV_FREE_ENT_RET;
1460 if (HeKLEN(entry) == HEf_SVKEY) {
1461 SvREFCNT_dec(HeKEY_sv(entry));
1462 Safefree(HeKEY_hek(entry));
1464 else if (HvSHAREKEYS(hv))
1465 unshare_hek(HeKEY_hek(entry));
1467 Safefree(HeKEY_hek(entry));
1474 Perl_hv_free_ent(pTHX_ HV *hv, HE *entry)
1479 PERL_ARGS_ASSERT_HV_FREE_ENT;
1483 val = hv_free_ent_ret(hv, entry);
1489 Perl_hv_delayfree_ent(pTHX_ HV *hv, HE *entry)
1493 PERL_ARGS_ASSERT_HV_DELAYFREE_ENT;
1497 /* SvREFCNT_inc to counter the SvREFCNT_dec in hv_free_ent */
1498 sv_2mortal(SvREFCNT_inc(HeVAL(entry))); /* free between statements */
1499 if (HeKLEN(entry) == HEf_SVKEY) {
1500 sv_2mortal(SvREFCNT_inc(HeKEY_sv(entry)));
1502 hv_free_ent(hv, entry);
1506 =for apidoc hv_clear
1508 Frees the all the elements of a hash, leaving it empty.
1509 The XS equivalent of C<%hash = ()>. See also L</hv_undef>.
1511 If any destructors are triggered as a result, the hv itself may
1518 Perl_hv_clear(pTHX_ HV *hv)
1525 DEBUG_A(Perl_hv_assert(aTHX_ hv));
1527 xhv = (XPVHV*)SvANY(hv);
1530 SAVEFREESV(SvREFCNT_inc_simple_NN(hv));
1531 if (SvREADONLY(hv) && HvARRAY(hv) != NULL) {
1532 /* restricted hash: convert all keys to placeholders */
1534 for (i = 0; i <= xhv->xhv_max; i++) {
1535 HE *entry = (HvARRAY(hv))[i];
1536 for (; entry; entry = HeNEXT(entry)) {
1537 /* not already placeholder */
1538 if (HeVAL(entry) != &PL_sv_placeholder) {
1540 if (SvREADONLY(HeVAL(entry))) {
1541 SV* const keysv = hv_iterkeysv(entry);
1542 Perl_croak_nocontext(
1543 "Attempt to delete readonly key '%"SVf"' from a restricted hash",
1546 SvREFCNT_dec_NN(HeVAL(entry));
1548 HeVAL(entry) = &PL_sv_placeholder;
1549 HvPLACEHOLDERS(hv)++;
1556 HvPLACEHOLDERS_set(hv, 0);
1559 mg_clear(MUTABLE_SV(hv));
1561 HvHASKFLAGS_off(hv);
1565 mro_isa_changed_in(hv);
1566 HvEITER_set(hv, NULL);
1572 =for apidoc hv_clear_placeholders
1574 Clears any placeholders from a hash. If a restricted hash has any of its keys
1575 marked as readonly and the key is subsequently deleted, the key is not actually
1576 deleted but is marked by assigning it a value of &PL_sv_placeholder. This tags
1577 it so it will be ignored by future operations such as iterating over the hash,
1578 but will still allow the hash to have a value reassigned to the key at some
1579 future point. This function clears any such placeholder keys from the hash.
1580 See Hash::Util::lock_keys() for an example of its use.
1586 Perl_hv_clear_placeholders(pTHX_ HV *hv)
1589 const U32 items = (U32)HvPLACEHOLDERS_get(hv);
1591 PERL_ARGS_ASSERT_HV_CLEAR_PLACEHOLDERS;
1594 clear_placeholders(hv, items);
1598 S_clear_placeholders(pTHX_ HV *hv, U32 items)
1603 PERL_ARGS_ASSERT_CLEAR_PLACEHOLDERS;
1610 /* Loop down the linked list heads */
1611 HE **oentry = &(HvARRAY(hv))[i];
1614 while ((entry = *oentry)) {
1615 if (HeVAL(entry) == &PL_sv_placeholder) {
1616 *oentry = HeNEXT(entry);
1617 if (entry == HvEITER_get(hv))
1620 if (SvOOK(hv) && HvLAZYDEL(hv) &&
1621 entry == HeNEXT(HvAUX(hv)->xhv_eiter))
1622 HeNEXT(HvAUX(hv)->xhv_eiter) = HeNEXT(entry);
1623 hv_free_ent(hv, entry);
1628 HvTOTALKEYS(hv) -= (IV)HvPLACEHOLDERS_get(hv);
1629 if (HvUSEDKEYS(hv) == 0)
1630 HvHASKFLAGS_off(hv);
1631 HvPLACEHOLDERS_set(hv, 0);
1635 oentry = &HeNEXT(entry);
1639 /* You can't get here, hence assertion should always fail. */
1640 assert (items == 0);
1645 S_hfreeentries(pTHX_ HV *hv)
1648 XPVHV * const xhv = (XPVHV*)SvANY(hv);
1651 PERL_ARGS_ASSERT_HFREEENTRIES;
1653 while ((sv = Perl_hfree_next_entry(aTHX_ hv, &index))||xhv->xhv_keys) {
1659 /* hfree_next_entry()
1660 * For use only by S_hfreeentries() and sv_clear().
1661 * Delete the next available HE from hv and return the associated SV.
1662 * Returns null on empty hash. Nevertheless null is not a reliable
1663 * indicator that the hash is empty, as the deleted entry may have a
1665 * indexp is a pointer to the current index into HvARRAY. The index should
1666 * initially be set to 0. hfree_next_entry() may update it. */
1669 Perl_hfree_next_entry(pTHX_ HV *hv, STRLEN *indexp)
1671 struct xpvhv_aux *iter;
1675 STRLEN orig_index = *indexp;
1678 PERL_ARGS_ASSERT_HFREE_NEXT_ENTRY;
1680 if (SvOOK(hv) && ((iter = HvAUX(hv)))) {
1681 if ((entry = iter->xhv_eiter)) {
1682 /* the iterator may get resurrected after each
1683 * destructor call, so check each time */
1684 if (entry && HvLAZYDEL(hv)) { /* was deleted earlier? */
1686 hv_free_ent(hv, entry);
1687 /* warning: at this point HvARRAY may have been
1688 * re-allocated, HvMAX changed etc */
1690 iter->xhv_riter = -1; /* HvRITER(hv) = -1 */
1691 iter->xhv_eiter = NULL; /* HvEITER(hv) = NULL */
1692 #ifdef PERL_HASH_RANDOMIZE_KEYS
1693 iter->xhv_last_rand = iter->xhv_rand;
1696 /* Reset any cached HvFILL() to "unknown". It's unlikely that anyone
1697 will actually call HvFILL() on a hash under destruction, so it
1698 seems pointless attempting to track the number of keys remaining.
1699 But if they do, we want to reset it again. */
1700 if (iter->xhv_fill_lazy)
1701 iter->xhv_fill_lazy = 0;
1704 if (!((XPVHV*)SvANY(hv))->xhv_keys)
1707 array = HvARRAY(hv);
1709 while ( ! ((entry = array[*indexp])) ) {
1710 if ((*indexp)++ >= HvMAX(hv))
1712 assert(*indexp != orig_index);
1714 array[*indexp] = HeNEXT(entry);
1715 ((XPVHV*) SvANY(hv))->xhv_keys--;
1717 if ( PL_phase != PERL_PHASE_DESTRUCT && HvENAME(hv)
1718 && HeVAL(entry) && isGV(HeVAL(entry))
1719 && GvHV(HeVAL(entry)) && HvENAME(GvHV(HeVAL(entry)))
1722 const char * const key = HePV(entry,klen);
1723 if ((klen > 1 && key[klen-1]==':' && key[klen-2]==':')
1724 || (klen == 1 && key[0] == ':')) {
1726 NULL, GvHV(HeVAL(entry)),
1727 (GV *)HeVAL(entry), 0
1731 return hv_free_ent_ret(hv, entry);
1736 =for apidoc hv_undef
1738 Undefines the hash. The XS equivalent of C<undef(%hash)>.
1740 As well as freeing all the elements of the hash (like hv_clear()), this
1741 also frees any auxiliary data and storage associated with the hash.
1743 If any destructors are triggered as a result, the hv itself may
1746 See also L</hv_clear>.
1752 Perl_hv_undef_flags(pTHX_ HV *hv, U32 flags)
1760 save = !!SvREFCNT(hv);
1761 DEBUG_A(Perl_hv_assert(aTHX_ hv));
1762 xhv = (XPVHV*)SvANY(hv);
1764 /* The name must be deleted before the call to hfreeeeentries so that
1765 CVs are anonymised properly. But the effective name must be pre-
1766 served until after that call (and only deleted afterwards if the
1767 call originated from sv_clear). For stashes with one name that is
1768 both the canonical name and the effective name, hv_name_set has to
1769 allocate an array for storing the effective name. We can skip that
1770 during global destruction, as it does not matter where the CVs point
1771 if they will be freed anyway. */
1772 /* note that the code following prior to hfreeentries is duplicated
1773 * in sv_clear(), and changes here should be done there too */
1774 if (PL_phase != PERL_PHASE_DESTRUCT && HvNAME(hv)) {
1775 if (PL_stashcache) {
1776 DEBUG_o(Perl_deb(aTHX_ "hv_undef_flags clearing PL_stashcache for '%"
1777 HEKf"'\n", HvNAME_HEK(hv)));
1778 (void)hv_deletehek(PL_stashcache, HvNAME_HEK(hv), G_DISCARD);
1780 hv_name_set(hv, NULL, 0, 0);
1784 SAVEFREESV(SvREFCNT_inc_simple_NN(hv));
1788 struct xpvhv_aux * const aux = HvAUX(hv);
1789 struct mro_meta *meta;
1792 if (HvENAME_get(hv)) {
1793 if (PL_phase != PERL_PHASE_DESTRUCT)
1794 mro_isa_changed_in(hv);
1795 if (PL_stashcache) {
1796 DEBUG_o(Perl_deb(aTHX_ "hv_undef_flags clearing PL_stashcache for effective name '%"
1797 HEKf"'\n", HvENAME_HEK(hv)));
1798 (void)hv_deletehek(PL_stashcache, HvENAME_HEK(hv), G_DISCARD);
1802 /* If this call originated from sv_clear, then we must check for
1803 * effective names that need freeing, as well as the usual name. */
1805 if (flags & HV_NAME_SETALL ? !!aux->xhv_name_u.xhvnameu_name : !!name) {
1806 if (name && PL_stashcache) {
1807 DEBUG_o(Perl_deb(aTHX_ "hv_undef_flags clearing PL_stashcache for name '%"
1808 HEKf"'\n", HvNAME_HEK(hv)));
1809 (void)hv_deletehek(PL_stashcache, HvNAME_HEK(hv), G_DISCARD);
1811 hv_name_set(hv, NULL, 0, flags);
1813 if((meta = aux->xhv_mro_meta)) {
1814 if (meta->mro_linear_all) {
1815 SvREFCNT_dec_NN(meta->mro_linear_all);
1816 /* mro_linear_current is just acting as a shortcut pointer,
1820 /* Only the current MRO is stored, so this owns the data.
1822 SvREFCNT_dec(meta->mro_linear_current);
1823 SvREFCNT_dec(meta->mro_nextmethod);
1824 SvREFCNT_dec(meta->isa);
1825 SvREFCNT_dec(meta->super);
1827 aux->xhv_mro_meta = NULL;
1829 if (!aux->xhv_name_u.xhvnameu_name && ! aux->xhv_backreferences)
1830 SvFLAGS(hv) &= ~SVf_OOK;
1833 Safefree(HvARRAY(hv));
1834 xhv->xhv_max = PERL_HASH_DEFAULT_HvMAX; /* HvMAX(hv) = 7 (it's a normal hash) */
1837 /* if we're freeing the HV, the SvMAGIC field has been reused for
1838 * other purposes, and so there can't be any placeholder magic */
1840 HvPLACEHOLDERS_set(hv, 0);
1843 mg_clear(MUTABLE_SV(hv));
1850 Returns the number of hash buckets that
1851 happen to be in use. This function is
1852 wrapped by the macro C<HvFILL>.
1854 Previously this value was always stored in the HV structure, which created an
1855 overhead on every hash (and pretty much every object) for something that was
1856 rarely used. Now we calculate it on demand the first
1857 time that it is needed, and cache it if that calculation
1858 is going to be costly to repeat. The cached
1859 value is updated by insertions and deletions, but (currently) discarded if
1866 Perl_hv_fill(pTHX_ HV *const hv)
1869 HE **ents = HvARRAY(hv);
1870 struct xpvhv_aux *aux = SvOOK(hv) ? HvAUX(hv) : NULL;
1872 PERL_ARGS_ASSERT_HV_FILL;
1874 /* No keys implies no buckets used.
1875 One key can only possibly mean one bucket used. */
1876 if (HvTOTALKEYS(hv) < 2)
1877 return HvTOTALKEYS(hv);
1880 if (aux && aux->xhv_fill_lazy)
1881 return aux->xhv_fill_lazy;
1885 HE *const *const last = ents + HvMAX(hv);
1886 count = last + 1 - ents;
1891 } while (++ents <= last);
1895 if (aux->xhv_fill_lazy)
1896 assert(aux->xhv_fill_lazy == count);
1898 aux->xhv_fill_lazy = count;
1899 } else if (HvMAX(hv) >= HV_FILL_THRESHOLD) {
1900 aux = hv_auxinit(hv);
1901 aux->xhv_fill_lazy = count;
1906 /* hash a pointer to a U32 - Used in the hash traversal randomization
1907 * and bucket order randomization code
1909 * this code was derived from Sereal, which was derived from autobox.
1912 PERL_STATIC_INLINE U32 S_ptr_hash(PTRV u) {
1915 * This is one of Thomas Wang's hash functions for 64-bit integers from:
1916 * http://www.concentric.net/~Ttwang/tech/inthash.htm
1918 u = (~u) + (u << 18);
1926 * This is one of Bob Jenkins' hash functions for 32-bit integers
1927 * from: http://burtleburtle.net/bob/hash/integer.html
1929 u = (u + 0x7ed55d16) + (u << 12);
1930 u = (u ^ 0xc761c23c) ^ (u >> 19);
1931 u = (u + 0x165667b1) + (u << 5);
1932 u = (u + 0xd3a2646c) ^ (u << 9);
1933 u = (u + 0xfd7046c5) + (u << 3);
1934 u = (u ^ 0xb55a4f09) ^ (u >> 16);
1940 static struct xpvhv_aux*
1941 S_hv_auxinit(pTHX_ HV *hv) {
1942 struct xpvhv_aux *iter;
1945 PERL_ARGS_ASSERT_HV_AUXINIT;
1949 Newxz(array, PERL_HV_ARRAY_ALLOC_BYTES(HvMAX(hv) + 1)
1950 + sizeof(struct xpvhv_aux), char);
1952 array = (char *) HvARRAY(hv);
1953 Renew(array, PERL_HV_ARRAY_ALLOC_BYTES(HvMAX(hv) + 1)
1954 + sizeof(struct xpvhv_aux), char);
1956 HvARRAY(hv) = (HE**)array;
1959 #ifdef PERL_HASH_RANDOMIZE_KEYS
1960 if (PL_HASH_RAND_BITS_ENABLED) {
1961 /* mix in some new state to PL_hash_rand_bits to "randomize" the traversal order*/
1962 if (PL_HASH_RAND_BITS_ENABLED == 1)
1963 PL_hash_rand_bits += ptr_hash((PTRV)array);
1964 PL_hash_rand_bits = ROTL_UV(PL_hash_rand_bits,1);
1966 iter->xhv_rand = (U32)PL_hash_rand_bits;
1972 iter->xhv_riter = -1; /* HvRITER(hv) = -1 */
1973 iter->xhv_eiter = NULL; /* HvEITER(hv) = NULL */
1974 #ifdef PERL_HASH_RANDOMIZE_KEYS
1975 iter->xhv_last_rand = iter->xhv_rand;
1977 iter->xhv_fill_lazy = 0;
1978 iter->xhv_name_u.xhvnameu_name = 0;
1979 iter->xhv_name_count = 0;
1980 iter->xhv_backreferences = 0;
1981 iter->xhv_mro_meta = NULL;
1982 iter->xhv_aux_flags = 0;
1987 =for apidoc hv_iterinit
1989 Prepares a starting point to traverse a hash table. Returns the number of
1990 keys in the hash (i.e. the same as C<HvUSEDKEYS(hv)>). The return value is
1991 currently only meaningful for hashes without tie magic.
1993 NOTE: Before version 5.004_65, C<hv_iterinit> used to return the number of
1994 hash buckets that happen to be in use. If you still need that esoteric
1995 value, you can get it through the macro C<HvFILL(hv)>.
2002 Perl_hv_iterinit(pTHX_ HV *hv)
2004 PERL_ARGS_ASSERT_HV_ITERINIT;
2006 /* FIXME: Are we not NULL, or do we croak? Place bets now! */
2009 Perl_croak(aTHX_ "Bad hash");
2012 struct xpvhv_aux * const iter = HvAUX(hv);
2013 HE * const entry = iter->xhv_eiter; /* HvEITER(hv) */
2014 if (entry && HvLAZYDEL(hv)) { /* was deleted earlier? */
2016 hv_free_ent(hv, entry);
2018 iter->xhv_riter = -1; /* HvRITER(hv) = -1 */
2019 iter->xhv_eiter = NULL; /* HvEITER(hv) = NULL */
2020 #ifdef PERL_HASH_RANDOMIZE_KEYS
2021 iter->xhv_last_rand = iter->xhv_rand;
2027 /* used to be xhv->xhv_fill before 5.004_65 */
2028 return HvTOTALKEYS(hv);
2032 Perl_hv_riter_p(pTHX_ HV *hv) {
2033 struct xpvhv_aux *iter;
2035 PERL_ARGS_ASSERT_HV_RITER_P;
2038 Perl_croak(aTHX_ "Bad hash");
2040 iter = SvOOK(hv) ? HvAUX(hv) : hv_auxinit(hv);
2041 return &(iter->xhv_riter);
2045 Perl_hv_eiter_p(pTHX_ HV *hv) {
2046 struct xpvhv_aux *iter;
2048 PERL_ARGS_ASSERT_HV_EITER_P;
2051 Perl_croak(aTHX_ "Bad hash");
2053 iter = SvOOK(hv) ? HvAUX(hv) : hv_auxinit(hv);
2054 return &(iter->xhv_eiter);
2058 Perl_hv_riter_set(pTHX_ HV *hv, I32 riter) {
2059 struct xpvhv_aux *iter;
2061 PERL_ARGS_ASSERT_HV_RITER_SET;
2064 Perl_croak(aTHX_ "Bad hash");
2072 iter = hv_auxinit(hv);
2074 iter->xhv_riter = riter;
2078 Perl_hv_rand_set(pTHX_ HV *hv, U32 new_xhv_rand) {
2079 struct xpvhv_aux *iter;
2081 PERL_ARGS_ASSERT_HV_RAND_SET;
2083 #ifdef PERL_HASH_RANDOMIZE_KEYS
2085 Perl_croak(aTHX_ "Bad hash");
2090 iter = hv_auxinit(hv);
2092 iter->xhv_rand = new_xhv_rand;
2094 Perl_croak(aTHX_ "This Perl has not been built with support for randomized hash key traversal but something called Perl_hv_rand_set().");
2099 Perl_hv_eiter_set(pTHX_ HV *hv, HE *eiter) {
2100 struct xpvhv_aux *iter;
2102 PERL_ARGS_ASSERT_HV_EITER_SET;
2105 Perl_croak(aTHX_ "Bad hash");
2110 /* 0 is the default so don't go malloc()ing a new structure just to
2115 iter = hv_auxinit(hv);
2117 iter->xhv_eiter = eiter;
2121 Perl_hv_name_set(pTHX_ HV *hv, const char *name, U32 len, U32 flags)
2124 struct xpvhv_aux *iter;
2128 PERL_ARGS_ASSERT_HV_NAME_SET;
2131 Perl_croak(aTHX_ "panic: hv name too long (%"UVuf")", (UV) len);
2135 if (iter->xhv_name_u.xhvnameu_name) {
2136 if(iter->xhv_name_count) {
2137 if(flags & HV_NAME_SETALL) {
2138 HEK ** const name = HvAUX(hv)->xhv_name_u.xhvnameu_names;
2139 HEK **hekp = name + (
2140 iter->xhv_name_count < 0
2141 ? -iter->xhv_name_count
2142 : iter->xhv_name_count
2144 while(hekp-- > name+1)
2145 unshare_hek_or_pvn(*hekp, 0, 0, 0);
2146 /* The first elem may be null. */
2147 if(*name) unshare_hek_or_pvn(*name, 0, 0, 0);
2149 spot = &iter->xhv_name_u.xhvnameu_name;
2150 iter->xhv_name_count = 0;
2153 if(iter->xhv_name_count > 0) {
2154 /* shift some things over */
2156 iter->xhv_name_u.xhvnameu_names, iter->xhv_name_count + 1, HEK *
2158 spot = iter->xhv_name_u.xhvnameu_names;
2159 spot[iter->xhv_name_count] = spot[1];
2161 iter->xhv_name_count = -(iter->xhv_name_count + 1);
2163 else if(*(spot = iter->xhv_name_u.xhvnameu_names)) {
2164 unshare_hek_or_pvn(*spot, 0, 0, 0);
2168 else if (flags & HV_NAME_SETALL) {
2169 unshare_hek_or_pvn(iter->xhv_name_u.xhvnameu_name, 0, 0, 0);
2170 spot = &iter->xhv_name_u.xhvnameu_name;
2173 HEK * const existing_name = iter->xhv_name_u.xhvnameu_name;
2174 Newx(iter->xhv_name_u.xhvnameu_names, 2, HEK *);
2175 iter->xhv_name_count = -2;
2176 spot = iter->xhv_name_u.xhvnameu_names;
2177 spot[1] = existing_name;
2180 else { spot = &iter->xhv_name_u.xhvnameu_name; iter->xhv_name_count = 0; }
2185 iter = hv_auxinit(hv);
2186 spot = &iter->xhv_name_u.xhvnameu_name;
2188 PERL_HASH(hash, name, len);
2189 *spot = name ? share_hek(name, flags & SVf_UTF8 ? -(I32)len : (I32)len, hash) : NULL;
2193 This is basically sv_eq_flags() in sv.c, but we avoid the magic
2198 hek_eq_pvn_flags(pTHX_ const HEK *hek, const char* pv, const I32 pvlen, const U32 flags) {
2199 if ( (HEK_UTF8(hek) ? 1 : 0) != (flags & SVf_UTF8 ? 1 : 0) ) {
2200 if (flags & SVf_UTF8)
2201 return (bytes_cmp_utf8(
2202 (const U8*)HEK_KEY(hek), HEK_LEN(hek),
2203 (const U8*)pv, pvlen) == 0);
2205 return (bytes_cmp_utf8(
2206 (const U8*)pv, pvlen,
2207 (const U8*)HEK_KEY(hek), HEK_LEN(hek)) == 0);
2210 return HEK_LEN(hek) == pvlen && ((HEK_KEY(hek) == pv)
2211 || memEQ(HEK_KEY(hek), pv, pvlen));
2215 =for apidoc hv_ename_add
2217 Adds a name to a stash's internal list of effective names. See
2220 This is called when a stash is assigned to a new location in the symbol
2227 Perl_hv_ename_add(pTHX_ HV *hv, const char *name, U32 len, U32 flags)
2230 struct xpvhv_aux *aux = SvOOK(hv) ? HvAUX(hv) : hv_auxinit(hv);
2233 PERL_ARGS_ASSERT_HV_ENAME_ADD;
2236 Perl_croak(aTHX_ "panic: hv name too long (%"UVuf")", (UV) len);
2238 PERL_HASH(hash, name, len);
2240 if (aux->xhv_name_count) {
2241 HEK ** const xhv_name = aux->xhv_name_u.xhvnameu_names;
2242 I32 count = aux->xhv_name_count;
2243 HEK **hekp = xhv_name + (count < 0 ? -count : count);
2244 while (hekp-- > xhv_name)
2246 (HEK_UTF8(*hekp) || (flags & SVf_UTF8))
2247 ? hek_eq_pvn_flags(aTHX_ *hekp, name, (I32)len, flags)
2248 : (HEK_LEN(*hekp) == (I32)len && memEQ(HEK_KEY(*hekp), name, len))
2250 if (hekp == xhv_name && count < 0)
2251 aux->xhv_name_count = -count;
2254 if (count < 0) aux->xhv_name_count--, count = -count;
2255 else aux->xhv_name_count++;
2256 Renew(aux->xhv_name_u.xhvnameu_names, count + 1, HEK *);
2257 (aux->xhv_name_u.xhvnameu_names)[count] = share_hek(name, (flags & SVf_UTF8 ? -(I32)len : (I32)len), hash);
2260 HEK *existing_name = aux->xhv_name_u.xhvnameu_name;
2263 (HEK_UTF8(existing_name) || (flags & SVf_UTF8))
2264 ? hek_eq_pvn_flags(aTHX_ existing_name, name, (I32)len, flags)
2265 : (HEK_LEN(existing_name) == (I32)len && memEQ(HEK_KEY(existing_name), name, len))
2268 Newx(aux->xhv_name_u.xhvnameu_names, 2, HEK *);
2269 aux->xhv_name_count = existing_name ? 2 : -2;
2270 *aux->xhv_name_u.xhvnameu_names = existing_name;
2271 (aux->xhv_name_u.xhvnameu_names)[1] = share_hek(name, (flags & SVf_UTF8 ? -(I32)len : (I32)len), hash);
2276 =for apidoc hv_ename_delete
2278 Removes a name from a stash's internal list of effective names. If this is
2279 the name returned by C<HvENAME>, then another name in the list will take
2280 its place (C<HvENAME> will use it).
2282 This is called when a stash is deleted from the symbol table.
2288 Perl_hv_ename_delete(pTHX_ HV *hv, const char *name, U32 len, U32 flags)
2291 struct xpvhv_aux *aux;
2293 PERL_ARGS_ASSERT_HV_ENAME_DELETE;
2296 Perl_croak(aTHX_ "panic: hv name too long (%"UVuf")", (UV) len);
2298 if (!SvOOK(hv)) return;
2301 if (!aux->xhv_name_u.xhvnameu_name) return;
2303 if (aux->xhv_name_count) {
2304 HEK ** const namep = aux->xhv_name_u.xhvnameu_names;
2305 I32 const count = aux->xhv_name_count;
2306 HEK **victim = namep + (count < 0 ? -count : count);
2307 while (victim-- > namep + 1)
2309 (HEK_UTF8(*victim) || (flags & SVf_UTF8))
2310 ? hek_eq_pvn_flags(aTHX_ *victim, name, (I32)len, flags)
2311 : (HEK_LEN(*victim) == (I32)len && memEQ(HEK_KEY(*victim), name, len))
2313 unshare_hek_or_pvn(*victim, 0, 0, 0);
2314 if (count < 0) ++aux->xhv_name_count;
2315 else --aux->xhv_name_count;
2317 (aux->xhv_name_count == 1 || aux->xhv_name_count == -1)
2319 ) { /* if there are none left */
2321 aux->xhv_name_u.xhvnameu_names = NULL;
2322 aux->xhv_name_count = 0;
2325 /* Move the last one back to fill the empty slot. It
2326 does not matter what order they are in. */
2327 *victim = *(namep + (count < 0 ? -count : count) - 1);
2332 count > 0 && (HEK_UTF8(*namep) || (flags & SVf_UTF8))
2333 ? hek_eq_pvn_flags(aTHX_ *namep, name, (I32)len, flags)
2334 : (HEK_LEN(*namep) == (I32)len && memEQ(HEK_KEY(*namep), name, len))
2336 aux->xhv_name_count = -count;
2340 (HEK_UTF8(aux->xhv_name_u.xhvnameu_name) || (flags & SVf_UTF8))
2341 ? hek_eq_pvn_flags(aTHX_ aux->xhv_name_u.xhvnameu_name, name, (I32)len, flags)
2342 : (HEK_LEN(aux->xhv_name_u.xhvnameu_name) == (I32)len &&
2343 memEQ(HEK_KEY(aux->xhv_name_u.xhvnameu_name), name, len))
2345 HEK * const namehek = aux->xhv_name_u.xhvnameu_name;
2346 Newx(aux->xhv_name_u.xhvnameu_names, 1, HEK *);
2347 *aux->xhv_name_u.xhvnameu_names = namehek;
2348 aux->xhv_name_count = -1;
2353 Perl_hv_backreferences_p(pTHX_ HV *hv) {
2354 struct xpvhv_aux * const iter = SvOOK(hv) ? HvAUX(hv) : hv_auxinit(hv);
2356 PERL_ARGS_ASSERT_HV_BACKREFERENCES_P;
2357 PERL_UNUSED_CONTEXT;
2359 return &(iter->xhv_backreferences);
2363 Perl_hv_kill_backrefs(pTHX_ HV *hv) {
2366 PERL_ARGS_ASSERT_HV_KILL_BACKREFS;
2371 av = HvAUX(hv)->xhv_backreferences;
2374 HvAUX(hv)->xhv_backreferences = 0;
2375 Perl_sv_kill_backrefs(aTHX_ MUTABLE_SV(hv), av);
2376 if (SvTYPE(av) == SVt_PVAV)
2377 SvREFCNT_dec_NN(av);
2382 hv_iternext is implemented as a macro in hv.h
2384 =for apidoc hv_iternext
2386 Returns entries from a hash iterator. See C<hv_iterinit>.
2388 You may call C<hv_delete> or C<hv_delete_ent> on the hash entry that the
2389 iterator currently points to, without losing your place or invalidating your
2390 iterator. Note that in this case the current entry is deleted from the hash
2391 with your iterator holding the last reference to it. Your iterator is flagged
2392 to free the entry on the next call to C<hv_iternext>, so you must not discard
2393 your iterator immediately else the entry will leak - call C<hv_iternext> to
2394 trigger the resource deallocation.
2396 =for apidoc hv_iternext_flags
2398 Returns entries from a hash iterator. See C<hv_iterinit> and C<hv_iternext>.
2399 The C<flags> value will normally be zero; if HV_ITERNEXT_WANTPLACEHOLDERS is
2400 set the placeholders keys (for restricted hashes) will be returned in addition
2401 to normal keys. By default placeholders are automatically skipped over.
2402 Currently a placeholder is implemented with a value that is
2403 C<&PL_sv_placeholder>. Note that the implementation of placeholders and
2404 restricted hashes may change, and the implementation currently is
2405 insufficiently abstracted for any change to be tidy.
2411 Perl_hv_iternext_flags(pTHX_ HV *hv, I32 flags)
2418 struct xpvhv_aux *iter;
2420 PERL_ARGS_ASSERT_HV_ITERNEXT_FLAGS;
2423 Perl_croak(aTHX_ "Bad hash");
2425 xhv = (XPVHV*)SvANY(hv);
2428 /* Too many things (well, pp_each at least) merrily assume that you can
2429 call hv_iternext without calling hv_iterinit, so we'll have to deal
2435 oldentry = entry = iter->xhv_eiter; /* HvEITER(hv) */
2436 if (SvMAGICAL(hv) && SvRMAGICAL(hv)) {
2437 if ( ( mg = mg_find((const SV *)hv, PERL_MAGIC_tied) ) ) {
2438 SV * const key = sv_newmortal();
2440 sv_setsv(key, HeSVKEY_force(entry));
2441 SvREFCNT_dec(HeSVKEY(entry)); /* get rid of previous key */
2442 HeSVKEY_set(entry, NULL);
2448 /* one HE per MAGICAL hash */
2449 iter->xhv_eiter = entry = new_HE(); /* HvEITER(hv) = new_HE() */
2450 HvLAZYDEL_on(hv); /* make sure entry gets freed */
2452 Newxz(k, HEK_BASESIZE + sizeof(const SV *), char);
2454 HeKEY_hek(entry) = hek;
2455 HeKLEN(entry) = HEf_SVKEY;
2457 magic_nextpack(MUTABLE_SV(hv),mg,key);
2459 /* force key to stay around until next time */
2460 HeSVKEY_set(entry, SvREFCNT_inc_simple_NN(key));
2461 return entry; /* beware, hent_val is not set */
2463 SvREFCNT_dec(HeVAL(entry));
2464 Safefree(HeKEY_hek(entry));
2466 iter->xhv_eiter = NULL; /* HvEITER(hv) = NULL */
2471 #if defined(DYNAMIC_ENV_FETCH) && !defined(__riscos__) /* set up %ENV for iteration */
2472 if (!entry && SvRMAGICAL((const SV *)hv)
2473 && mg_find((const SV *)hv, PERL_MAGIC_env)) {
2476 /* The prime_env_iter() on VMS just loaded up new hash values
2477 * so the iteration count needs to be reset back to the beginning
2481 oldentry = entry = iter->xhv_eiter; /* HvEITER(hv) */
2486 /* hv_iterinit now ensures this. */
2487 assert (HvARRAY(hv));
2489 /* At start of hash, entry is NULL. */
2492 entry = HeNEXT(entry);
2493 if (!(flags & HV_ITERNEXT_WANTPLACEHOLDERS)) {
2495 * Skip past any placeholders -- don't want to include them in
2498 while (entry && HeVAL(entry) == &PL_sv_placeholder) {
2499 entry = HeNEXT(entry);
2504 #ifdef PERL_HASH_RANDOMIZE_KEYS
2505 if (iter->xhv_last_rand != iter->xhv_rand) {
2506 if (iter->xhv_riter != -1) {
2507 Perl_ck_warner_d(aTHX_ packWARN(WARN_INTERNAL),
2508 "Use of each() on hash after insertion without resetting hash iterator results in undefined behavior"
2512 iter->xhv_last_rand = iter->xhv_rand;
2516 /* Skip the entire loop if the hash is empty. */
2517 if ((flags & HV_ITERNEXT_WANTPLACEHOLDERS)
2518 ? HvTOTALKEYS(hv) : HvUSEDKEYS(hv)) {
2520 /* OK. Come to the end of the current list. Grab the next one. */
2522 iter->xhv_riter++; /* HvRITER(hv)++ */
2523 if (iter->xhv_riter > (I32)xhv->xhv_max /* HvRITER(hv) > HvMAX(hv) */) {
2524 /* There is no next one. End of the hash. */
2525 iter->xhv_riter = -1; /* HvRITER(hv) = -1 */
2526 #ifdef PERL_HASH_RANDOMIZE_KEYS
2527 iter->xhv_last_rand = iter->xhv_rand; /* reset xhv_last_rand so we can detect inserts during traversal */
2531 entry = (HvARRAY(hv))[ PERL_HASH_ITER_BUCKET(iter) & xhv->xhv_max ];
2533 if (!(flags & HV_ITERNEXT_WANTPLACEHOLDERS)) {
2534 /* If we have an entry, but it's a placeholder, don't count it.
2536 while (entry && HeVAL(entry) == &PL_sv_placeholder)
2537 entry = HeNEXT(entry);
2539 /* Will loop again if this linked list starts NULL
2540 (for HV_ITERNEXT_WANTPLACEHOLDERS)
2541 or if we run through it and find only placeholders. */
2545 iter->xhv_riter = -1;
2546 #ifdef PERL_HASH_RANDOMIZE_KEYS
2547 iter->xhv_last_rand = iter->xhv_rand;
2551 if (oldentry && HvLAZYDEL(hv)) { /* was deleted earlier? */
2553 hv_free_ent(hv, oldentry);
2556 iter->xhv_eiter = entry; /* HvEITER(hv) = entry */
2561 =for apidoc hv_iterkey
2563 Returns the key from the current position of the hash iterator. See
2570 Perl_hv_iterkey(pTHX_ HE *entry, I32 *retlen)
2572 PERL_ARGS_ASSERT_HV_ITERKEY;
2574 if (HeKLEN(entry) == HEf_SVKEY) {
2576 char * const p = SvPV(HeKEY_sv(entry), len);
2581 *retlen = HeKLEN(entry);
2582 return HeKEY(entry);
2586 /* unlike hv_iterval(), this always returns a mortal copy of the key */
2588 =for apidoc hv_iterkeysv
2590 Returns the key as an C<SV*> from the current position of the hash
2591 iterator. The return value will always be a mortal copy of the key. Also
2598 Perl_hv_iterkeysv(pTHX_ HE *entry)
2600 PERL_ARGS_ASSERT_HV_ITERKEYSV;
2602 return sv_2mortal(newSVhek(HeKEY_hek(entry)));
2606 =for apidoc hv_iterval
2608 Returns the value from the current position of the hash iterator. See
2615 Perl_hv_iterval(pTHX_ HV *hv, HE *entry)
2617 PERL_ARGS_ASSERT_HV_ITERVAL;
2619 if (SvRMAGICAL(hv)) {
2620 if (mg_find((const SV *)hv, PERL_MAGIC_tied)) {
2621 SV* const sv = sv_newmortal();
2622 if (HeKLEN(entry) == HEf_SVKEY)
2623 mg_copy(MUTABLE_SV(hv), sv, (char*)HeKEY_sv(entry), HEf_SVKEY);
2625 mg_copy(MUTABLE_SV(hv), sv, HeKEY(entry), HeKLEN(entry));
2629 return HeVAL(entry);
2633 =for apidoc hv_iternextsv
2635 Performs an C<hv_iternext>, C<hv_iterkey>, and C<hv_iterval> in one
2642 Perl_hv_iternextsv(pTHX_ HV *hv, char **key, I32 *retlen)
2644 HE * const he = hv_iternext_flags(hv, 0);
2646 PERL_ARGS_ASSERT_HV_ITERNEXTSV;
2650 *key = hv_iterkey(he, retlen);
2651 return hv_iterval(hv, he);
2658 =for apidoc hv_magic
2660 Adds magic to a hash. See C<sv_magic>.
2665 /* possibly free a shared string if no one has access to it
2666 * len and hash must both be valid for str.
2669 Perl_unsharepvn(pTHX_ const char *str, I32 len, U32 hash)
2671 unshare_hek_or_pvn (NULL, str, len, hash);
2676 Perl_unshare_hek(pTHX_ HEK *hek)
2679 unshare_hek_or_pvn(hek, NULL, 0, 0);
2682 /* possibly free a shared string if no one has access to it
2683 hek if non-NULL takes priority over the other 3, else str, len and hash
2684 are used. If so, len and hash must both be valid for str.
2687 S_unshare_hek_or_pvn(pTHX_ const HEK *hek, const char *str, I32 len, U32 hash)
2693 bool is_utf8 = FALSE;
2695 const char * const save = str;
2696 struct shared_he *he = NULL;
2699 /* Find the shared he which is just before us in memory. */
2700 he = (struct shared_he *)(((char *)hek)
2701 - STRUCT_OFFSET(struct shared_he,
2704 /* Assert that the caller passed us a genuine (or at least consistent)
2706 assert (he->shared_he_he.hent_hek == hek);
2708 if (he->shared_he_he.he_valu.hent_refcount - 1) {
2709 --he->shared_he_he.he_valu.hent_refcount;
2713 hash = HEK_HASH(hek);
2714 } else if (len < 0) {
2715 STRLEN tmplen = -len;
2717 /* See the note in hv_fetch(). --jhi */
2718 str = (char*)bytes_from_utf8((U8*)str, &tmplen, &is_utf8);
2721 k_flags = HVhek_UTF8;
2723 k_flags |= HVhek_WASUTF8 | HVhek_FREEKEY;
2726 /* what follows was the moral equivalent of:
2727 if ((Svp = hv_fetch(PL_strtab, tmpsv, FALSE, hash))) {
2729 hv_delete(PL_strtab, str, len, G_DISCARD, hash);
2731 xhv = (XPVHV*)SvANY(PL_strtab);
2732 /* assert(xhv_array != 0) */
2733 oentry = &(HvARRAY(PL_strtab))[hash & (I32) HvMAX(PL_strtab)];
2735 const HE *const he_he = &(he->shared_he_he);
2736 for (entry = *oentry; entry; oentry = &HeNEXT(entry), entry = *oentry) {
2741 const int flags_masked = k_flags & HVhek_MASK;
2742 for (entry = *oentry; entry; oentry = &HeNEXT(entry), entry = *oentry) {
2743 if (HeHASH(entry) != hash) /* strings can't be equal */
2745 if (HeKLEN(entry) != len)
2747 if (HeKEY(entry) != str && memNE(HeKEY(entry),str,len)) /* is this it? */
2749 if (HeKFLAGS(entry) != flags_masked)
2756 if (--entry->he_valu.hent_refcount == 0) {
2757 *oentry = HeNEXT(entry);
2759 xhv->xhv_keys--; /* HvTOTALKEYS(hv)-- */
2764 Perl_ck_warner_d(aTHX_ packWARN(WARN_INTERNAL),
2765 "Attempt to free nonexistent shared string '%s'%s"
2767 hek ? HEK_KEY(hek) : str,
2768 ((k_flags & HVhek_UTF8) ? " (utf8)" : "") pTHX__VALUE);
2769 if (k_flags & HVhek_FREEKEY)
2773 /* get a (constant) string ptr from the global string table
2774 * string will get added if it is not already there.
2775 * len and hash must both be valid for str.
2778 Perl_share_hek(pTHX_ const char *str, I32 len, U32 hash)
2780 bool is_utf8 = FALSE;
2782 const char * const save = str;
2784 PERL_ARGS_ASSERT_SHARE_HEK;
2787 STRLEN tmplen = -len;
2789 /* See the note in hv_fetch(). --jhi */
2790 str = (char*)bytes_from_utf8((U8*)str, &tmplen, &is_utf8);
2792 /* If we were able to downgrade here, then than means that we were passed
2793 in a key which only had chars 0-255, but was utf8 encoded. */
2796 /* If we found we were able to downgrade the string to bytes, then
2797 we should flag that it needs upgrading on keys or each. Also flag
2798 that we need share_hek_flags to free the string. */
2801 PERL_HASH(hash, str, len);
2802 flags |= HVhek_WASUTF8 | HVhek_FREEKEY;
2806 return share_hek_flags (str, len, hash, flags);
2810 S_share_hek_flags(pTHX_ const char *str, I32 len, U32 hash, int flags)
2814 const int flags_masked = flags & HVhek_MASK;
2815 const U32 hindex = hash & (I32) HvMAX(PL_strtab);
2816 XPVHV * const xhv = (XPVHV*)SvANY(PL_strtab);
2818 PERL_ARGS_ASSERT_SHARE_HEK_FLAGS;
2820 /* what follows is the moral equivalent of:
2822 if (!(Svp = hv_fetch(PL_strtab, str, len, FALSE)))
2823 hv_store(PL_strtab, str, len, NULL, hash);
2825 Can't rehash the shared string table, so not sure if it's worth
2826 counting the number of entries in the linked list
2829 /* assert(xhv_array != 0) */
2830 entry = (HvARRAY(PL_strtab))[hindex];
2831 for (;entry; entry = HeNEXT(entry)) {
2832 if (HeHASH(entry) != hash) /* strings can't be equal */
2834 if (HeKLEN(entry) != len)
2836 if (HeKEY(entry) != str && memNE(HeKEY(entry),str,len)) /* is this it? */
2838 if (HeKFLAGS(entry) != flags_masked)
2844 /* What used to be head of the list.
2845 If this is NULL, then we're the first entry for this slot, which
2846 means we need to increate fill. */
2847 struct shared_he *new_entry;
2850 HE **const head = &HvARRAY(PL_strtab)[hindex];
2851 HE *const next = *head;
2853 /* We don't actually store a HE from the arena and a regular HEK.
2854 Instead we allocate one chunk of memory big enough for both,
2855 and put the HEK straight after the HE. This way we can find the
2856 HE directly from the HEK.
2859 Newx(k, STRUCT_OFFSET(struct shared_he,
2860 shared_he_hek.hek_key[0]) + len + 2, char);
2861 new_entry = (struct shared_he *)k;
2862 entry = &(new_entry->shared_he_he);
2863 hek = &(new_entry->shared_he_hek);
2865 Copy(str, HEK_KEY(hek), len, char);
2866 HEK_KEY(hek)[len] = 0;
2868 HEK_HASH(hek) = hash;
2869 HEK_FLAGS(hek) = (unsigned char)flags_masked;
2871 /* Still "point" to the HEK, so that other code need not know what
2873 HeKEY_hek(entry) = hek;
2874 entry->he_valu.hent_refcount = 0;
2875 HeNEXT(entry) = next;
2878 xhv->xhv_keys++; /* HvTOTALKEYS(hv)++ */
2879 if (!next) { /* initial entry? */
2880 } else if ( DO_HSPLIT(xhv) ) {
2881 const STRLEN oldsize = xhv->xhv_max + 1;
2882 hsplit(PL_strtab, oldsize, oldsize * 2);
2886 ++entry->he_valu.hent_refcount;
2888 if (flags & HVhek_FREEKEY)
2891 return HeKEY_hek(entry);
2895 Perl_hv_placeholders_p(pTHX_ HV *hv)
2898 MAGIC *mg = mg_find((const SV *)hv, PERL_MAGIC_rhash);
2900 PERL_ARGS_ASSERT_HV_PLACEHOLDERS_P;
2903 mg = sv_magicext(MUTABLE_SV(hv), 0, PERL_MAGIC_rhash, 0, 0, 0);
2906 Perl_die(aTHX_ "panic: hv_placeholders_p");
2909 return &(mg->mg_len);
2914 Perl_hv_placeholders_get(pTHX_ const HV *hv)
2917 MAGIC * const mg = mg_find((const SV *)hv, PERL_MAGIC_rhash);
2919 PERL_ARGS_ASSERT_HV_PLACEHOLDERS_GET;
2921 return mg ? mg->mg_len : 0;
2925 Perl_hv_placeholders_set(pTHX_ HV *hv, I32 ph)
2928 MAGIC * const mg = mg_find((const SV *)hv, PERL_MAGIC_rhash);
2930 PERL_ARGS_ASSERT_HV_PLACEHOLDERS_SET;
2935 if (!sv_magicext(MUTABLE_SV(hv), 0, PERL_MAGIC_rhash, 0, 0, ph))
2936 Perl_die(aTHX_ "panic: hv_placeholders_set");
2938 /* else we don't need to add magic to record 0 placeholders. */
2942 S_refcounted_he_value(pTHX_ const struct refcounted_he *he)
2947 PERL_ARGS_ASSERT_REFCOUNTED_HE_VALUE;
2949 switch(he->refcounted_he_data[0] & HVrhek_typemask) {
2954 value = &PL_sv_placeholder;
2957 value = newSViv(he->refcounted_he_val.refcounted_he_u_iv);
2960 value = newSVuv(he->refcounted_he_val.refcounted_he_u_uv);
2963 case HVrhek_PV_UTF8:
2964 /* Create a string SV that directly points to the bytes in our
2966 value = newSV_type(SVt_PV);
2967 SvPV_set(value, (char *) he->refcounted_he_data + 1);
2968 SvCUR_set(value, he->refcounted_he_val.refcounted_he_u_len);
2969 /* This stops anything trying to free it */
2970 SvLEN_set(value, 0);
2972 SvREADONLY_on(value);
2973 if ((he->refcounted_he_data[0] & HVrhek_typemask) == HVrhek_PV_UTF8)
2977 Perl_croak(aTHX_ "panic: refcounted_he_value bad flags %"UVxf,
2978 (UV)he->refcounted_he_data[0]);
2984 =for apidoc m|HV *|refcounted_he_chain_2hv|const struct refcounted_he *c|U32 flags
2986 Generates and returns a C<HV *> representing the content of a
2987 C<refcounted_he> chain.
2988 I<flags> is currently unused and must be zero.
2993 Perl_refcounted_he_chain_2hv(pTHX_ const struct refcounted_he *chain, U32 flags)
2997 U32 placeholders, max;
3000 Perl_croak(aTHX_ "panic: refcounted_he_chain_2hv bad flags %"UVxf,
3003 /* We could chase the chain once to get an idea of the number of keys,
3004 and call ksplit. But for now we'll make a potentially inefficient
3005 hash with only 8 entries in its array. */
3010 Newxz(array, PERL_HV_ARRAY_ALLOC_BYTES(max + 1), char);
3011 HvARRAY(hv) = (HE**)array;
3017 U32 hash = chain->refcounted_he_hash;
3019 U32 hash = HEK_HASH(chain->refcounted_he_hek);
3021 HE **oentry = &((HvARRAY(hv))[hash & max]);
3022 HE *entry = *oentry;
3025 for (; entry; entry = HeNEXT(entry)) {
3026 if (HeHASH(entry) == hash) {
3027 /* We might have a duplicate key here. If so, entry is older
3028 than the key we've already put in the hash, so if they are
3029 the same, skip adding entry. */
3031 const STRLEN klen = HeKLEN(entry);
3032 const char *const key = HeKEY(entry);
3033 if (klen == chain->refcounted_he_keylen
3034 && (!!HeKUTF8(entry)
3035 == !!(chain->refcounted_he_data[0] & HVhek_UTF8))
3036 && memEQ(key, REF_HE_KEY(chain), klen))
3039 if (HeKEY_hek(entry) == chain->refcounted_he_hek)
3041 if (HeKLEN(entry) == HEK_LEN(chain->refcounted_he_hek)
3042 && HeKUTF8(entry) == HEK_UTF8(chain->refcounted_he_hek)
3043 && memEQ(HeKEY(entry), HEK_KEY(chain->refcounted_he_hek),
3054 = share_hek_flags(REF_HE_KEY(chain),
3055 chain->refcounted_he_keylen,
3056 chain->refcounted_he_hash,
3057 (chain->refcounted_he_data[0]
3058 & (HVhek_UTF8|HVhek_WASUTF8)));
3060 HeKEY_hek(entry) = share_hek_hek(chain->refcounted_he_hek);
3062 value = refcounted_he_value(chain);
3063 if (value == &PL_sv_placeholder)
3065 HeVAL(entry) = value;
3067 /* Link it into the chain. */
3068 HeNEXT(entry) = *oentry;
3074 chain = chain->refcounted_he_next;
3078 clear_placeholders(hv, placeholders);
3079 HvTOTALKEYS(hv) -= placeholders;
3082 /* We could check in the loop to see if we encounter any keys with key
3083 flags, but it's probably not worth it, as this per-hash flag is only
3084 really meant as an optimisation for things like Storable. */
3086 DEBUG_A(Perl_hv_assert(aTHX_ hv));
3092 =for apidoc m|SV *|refcounted_he_fetch_pvn|const struct refcounted_he *chain|const char *keypv|STRLEN keylen|U32 hash|U32 flags
3094 Search along a C<refcounted_he> chain for an entry with the key specified
3095 by I<keypv> and I<keylen>. If I<flags> has the C<REFCOUNTED_HE_KEY_UTF8>
3096 bit set, the key octets are interpreted as UTF-8, otherwise they
3097 are interpreted as Latin-1. I<hash> is a precomputed hash of the key
3098 string, or zero if it has not been precomputed. Returns a mortal scalar
3099 representing the value associated with the key, or C<&PL_sv_placeholder>
3100 if there is no value associated with the key.
3106 Perl_refcounted_he_fetch_pvn(pTHX_ const struct refcounted_he *chain,
3107 const char *keypv, STRLEN keylen, U32 hash, U32 flags)
3111 PERL_ARGS_ASSERT_REFCOUNTED_HE_FETCH_PVN;
3113 if (flags & ~(REFCOUNTED_HE_KEY_UTF8|REFCOUNTED_HE_EXISTS))
3114 Perl_croak(aTHX_ "panic: refcounted_he_fetch_pvn bad flags %"UVxf,
3117 return &PL_sv_placeholder;
3118 if (flags & REFCOUNTED_HE_KEY_UTF8) {
3119 /* For searching purposes, canonicalise to Latin-1 where possible. */
3120 const char *keyend = keypv + keylen, *p;
3121 STRLEN nonascii_count = 0;
3122 for (p = keypv; p != keyend; p++) {
3123 if (! UTF8_IS_INVARIANT(*p)) {
3124 if (! UTF8_IS_NEXT_CHAR_DOWNGRADEABLE(p, keyend)) {
3125 goto canonicalised_key;
3131 if (nonascii_count) {
3133 const char *p = keypv, *keyend = keypv + keylen;
3134 keylen -= nonascii_count;
3135 Newx(q, keylen, char);
3138 for (; p != keyend; p++, q++) {
3140 if (UTF8_IS_INVARIANT(c)) {
3145 *q = (char) TWO_BYTE_UTF8_TO_NATIVE(c, *p);
3149 flags &= ~REFCOUNTED_HE_KEY_UTF8;
3150 canonicalised_key: ;
3152 utf8_flag = (flags & REFCOUNTED_HE_KEY_UTF8) ? HVhek_UTF8 : 0;
3154 PERL_HASH(hash, keypv, keylen);
3156 for (; chain; chain = chain->refcounted_he_next) {
3159 hash == chain->refcounted_he_hash &&
3160 keylen == chain->refcounted_he_keylen &&
3161 memEQ(REF_HE_KEY(chain), keypv, keylen) &&
3162 utf8_flag == (chain->refcounted_he_data[0] & HVhek_UTF8)
3164 hash == HEK_HASH(chain->refcounted_he_hek) &&
3165 keylen == (STRLEN)HEK_LEN(chain->refcounted_he_hek) &&
3166 memEQ(HEK_KEY(chain->refcounted_he_hek), keypv, keylen) &&
3167 utf8_flag == (HEK_FLAGS(chain->refcounted_he_hek) & HVhek_UTF8)
3170 if (flags & REFCOUNTED_HE_EXISTS)
3171 return (chain->refcounted_he_data[0] & HVrhek_typemask)
3173 ? NULL : &PL_sv_yes;
3174 return sv_2mortal(refcounted_he_value(chain));
3177 return flags & REFCOUNTED_HE_EXISTS ? NULL : &PL_sv_placeholder;
3181 =for apidoc m|SV *|refcounted_he_fetch_pv|const struct refcounted_he *chain|const char *key|U32 hash|U32 flags
3183 Like L</refcounted_he_fetch_pvn>, but takes a nul-terminated string
3184 instead of a string/length pair.
3190 Perl_refcounted_he_fetch_pv(pTHX_ const struct refcounted_he *chain,
3191 const char *key, U32 hash, U32 flags)
3193 PERL_ARGS_ASSERT_REFCOUNTED_HE_FETCH_PV;
3194 return refcounted_he_fetch_pvn(chain, key, strlen(key), hash, flags);
3198 =for apidoc m|SV *|refcounted_he_fetch_sv|const struct refcounted_he *chain|SV *key|U32 hash|U32 flags
3200 Like L</refcounted_he_fetch_pvn>, but takes a Perl scalar instead of a
3207 Perl_refcounted_he_fetch_sv(pTHX_ const struct refcounted_he *chain,
3208 SV *key, U32 hash, U32 flags)
3212 PERL_ARGS_ASSERT_REFCOUNTED_HE_FETCH_SV;
3213 if (flags & REFCOUNTED_HE_KEY_UTF8)
3214 Perl_croak(aTHX_ "panic: refcounted_he_fetch_sv bad flags %"UVxf,
3216 keypv = SvPV_const(key, keylen);
3218 flags |= REFCOUNTED_HE_KEY_UTF8;
3219 if (!hash && SvIsCOW_shared_hash(key))
3220 hash = SvSHARED_HASH(key);
3221 return refcounted_he_fetch_pvn(chain, keypv, keylen, hash, flags);
3225 =for apidoc m|struct refcounted_he *|refcounted_he_new_pvn|struct refcounted_he *parent|const char *keypv|STRLEN keylen|U32 hash|SV *value|U32 flags
3227 Creates a new C<refcounted_he>. This consists of a single key/value
3228 pair and a reference to an existing C<refcounted_he> chain (which may
3229 be empty), and thus forms a longer chain. When using the longer chain,
3230 the new key/value pair takes precedence over any entry for the same key
3231 further along the chain.
3233 The new key is specified by I<keypv> and I<keylen>. If I<flags> has
3234 the C<REFCOUNTED_HE_KEY_UTF8> bit set, the key octets are interpreted
3235 as UTF-8, otherwise they are interpreted as Latin-1. I<hash> is
3236 a precomputed hash of the key string, or zero if it has not been
3239 I<value> is the scalar value to store for this key. I<value> is copied
3240 by this function, which thus does not take ownership of any reference
3241 to it, and later changes to the scalar will not be reflected in the
3242 value visible in the C<refcounted_he>. Complex types of scalar will not
3243 be stored with referential integrity, but will be coerced to strings.
3244 I<value> may be either null or C<&PL_sv_placeholder> to indicate that no
3245 value is to be associated with the key; this, as with any non-null value,
3246 takes precedence over the existence of a value for the key further along
3249 I<parent> points to the rest of the C<refcounted_he> chain to be
3250 attached to the new C<refcounted_he>. This function takes ownership
3251 of one reference to I<parent>, and returns one reference to the new
3257 struct refcounted_he *
3258 Perl_refcounted_he_new_pvn(pTHX_ struct refcounted_he *parent,
3259 const char *keypv, STRLEN keylen, U32 hash, SV *value, U32 flags)
3262 STRLEN value_len = 0;
3263 const char *value_p = NULL;
3267 STRLEN key_offset = 1;
3268 struct refcounted_he *he;
3269 PERL_ARGS_ASSERT_REFCOUNTED_HE_NEW_PVN;
3271 if (!value || value == &PL_sv_placeholder) {
3272 value_type = HVrhek_delete;
3273 } else if (SvPOK(value)) {
3274 value_type = HVrhek_PV;
3275 } else if (SvIOK(value)) {
3276 value_type = SvUOK((const SV *)value) ? HVrhek_UV : HVrhek_IV;
3277 } else if (!SvOK(value)) {
3278 value_type = HVrhek_undef;
3280 value_type = HVrhek_PV;
3282 is_pv = value_type == HVrhek_PV;
3284 /* Do it this way so that the SvUTF8() test is after the SvPV, in case
3285 the value is overloaded, and doesn't yet have the UTF-8flag set. */
3286 value_p = SvPV_const(value, value_len);
3288 value_type = HVrhek_PV_UTF8;
3289 key_offset = value_len + 2;
3291 hekflags = value_type;
3293 if (flags & REFCOUNTED_HE_KEY_UTF8) {
3294 /* Canonicalise to Latin-1 where possible. */
3295 const char *keyend = keypv + keylen, *p;
3296 STRLEN nonascii_count = 0;
3297 for (p = keypv; p != keyend; p++) {
3298 if (! UTF8_IS_INVARIANT(*p)) {
3299 if (! UTF8_IS_NEXT_CHAR_DOWNGRADEABLE(p, keyend)) {
3300 goto canonicalised_key;
3306 if (nonascii_count) {
3308 const char *p = keypv, *keyend = keypv + keylen;
3309 keylen -= nonascii_count;
3310 Newx(q, keylen, char);
3313 for (; p != keyend; p++, q++) {
3315 if (UTF8_IS_INVARIANT(c)) {
3320 *q = (char) TWO_BYTE_UTF8_TO_NATIVE(c, *p);
3324 flags &= ~REFCOUNTED_HE_KEY_UTF8;
3325 canonicalised_key: ;
3327 if (flags & REFCOUNTED_HE_KEY_UTF8)
3328 hekflags |= HVhek_UTF8;
3330 PERL_HASH(hash, keypv, keylen);
3333 he = (struct refcounted_he*)
3334 PerlMemShared_malloc(sizeof(struct refcounted_he) - 1
3338 he = (struct refcounted_he*)
3339 PerlMemShared_malloc(sizeof(struct refcounted_he) - 1
3343 he->refcounted_he_next = parent;
3346 Copy(value_p, he->refcounted_he_data + 1, value_len + 1, char);
3347 he->refcounted_he_val.refcounted_he_u_len = value_len;
3348 } else if (value_type == HVrhek_IV) {
3349 he->refcounted_he_val.refcounted_he_u_iv = SvIVX(value);
3350 } else if (value_type == HVrhek_UV) {
3351 he->refcounted_he_val.refcounted_he_u_uv = SvUVX(value);
3355 he->refcounted_he_hash = hash;
3356 he->refcounted_he_keylen = keylen;
3357 Copy(keypv, he->refcounted_he_data + key_offset, keylen, char);
3359 he->refcounted_he_hek = share_hek_flags(keypv, keylen, hash, hekflags);
3362 he->refcounted_he_data[0] = hekflags;
3363 he->refcounted_he_refcnt = 1;
3369 =for apidoc m|struct refcounted_he *|refcounted_he_new_pv|struct refcounted_he *parent|const char *key|U32 hash|SV *value|U32 flags
3371 Like L</refcounted_he_new_pvn>, but takes a nul-terminated string instead
3372 of a string/length pair.
3377 struct refcounted_he *
3378 Perl_refcounted_he_new_pv(pTHX_ struct refcounted_he *parent,
3379 const char *key, U32 hash, SV *value, U32 flags)
3381 PERL_ARGS_ASSERT_REFCOUNTED_HE_NEW_PV;
3382 return refcounted_he_new_pvn(parent, key, strlen(key), hash, value, flags);
3386 =for apidoc m|struct refcounted_he *|refcounted_he_new_sv|struct refcounted_he *parent|SV *key|U32 hash|SV *value|U32 flags
3388 Like L</refcounted_he_new_pvn>, but takes a Perl scalar instead of a
3394 struct refcounted_he *
3395 Perl_refcounted_he_new_sv(pTHX_ struct refcounted_he *parent,
3396 SV *key, U32 hash, SV *value, U32 flags)
3400 PERL_ARGS_ASSERT_REFCOUNTED_HE_NEW_SV;
3401 if (flags & REFCOUNTED_HE_KEY_UTF8)
3402 Perl_croak(aTHX_ "panic: refcounted_he_new_sv bad flags %"UVxf,
3404 keypv = SvPV_const(key, keylen);
3406 flags |= REFCOUNTED_HE_KEY_UTF8;
3407 if (!hash && SvIsCOW_shared_hash(key))
3408 hash = SvSHARED_HASH(key);
3409 return refcounted_he_new_pvn(parent, keypv, keylen, hash, value, flags);
3413 =for apidoc m|void|refcounted_he_free|struct refcounted_he *he
3415 Decrements the reference count of a C<refcounted_he> by one. If the
3416 reference count reaches zero the structure's memory is freed, which
3417 (recursively) causes a reduction of its parent C<refcounted_he>'s
3418 reference count. It is safe to pass a null pointer to this function:
3419 no action occurs in this case.
3425 Perl_refcounted_he_free(pTHX_ struct refcounted_he *he) {
3427 PERL_UNUSED_CONTEXT;
3430 struct refcounted_he *copy;
3434 new_count = --he->refcounted_he_refcnt;
3435 HINTS_REFCNT_UNLOCK;
3441 #ifndef USE_ITHREADS
3442 unshare_hek_or_pvn (he->refcounted_he_hek, 0, 0, 0);
3445 he = he->refcounted_he_next;
3446 PerlMemShared_free(copy);
3451 =for apidoc m|struct refcounted_he *|refcounted_he_inc|struct refcounted_he *he
3453 Increment the reference count of a C<refcounted_he>. The pointer to the
3454 C<refcounted_he> is also returned. It is safe to pass a null pointer
3455 to this function: no action occurs and a null pointer is returned.
3460 struct refcounted_he *
3461 Perl_refcounted_he_inc(pTHX_ struct refcounted_he *he)
3466 he->refcounted_he_refcnt++;
3467 HINTS_REFCNT_UNLOCK;
3473 =for apidoc cop_fetch_label
3475 Returns the label attached to a cop.
3476 The flags pointer may be set to C<SVf_UTF8> or 0.
3481 /* pp_entereval is aware that labels are stored with a key ':' at the top of
3484 Perl_cop_fetch_label(pTHX_ COP *const cop, STRLEN *len, U32 *flags) {
3485 struct refcounted_he *const chain = cop->cop_hints_hash;
3487 PERL_ARGS_ASSERT_COP_FETCH_LABEL;
3492 if (chain->refcounted_he_keylen != 1)
3494 if (*REF_HE_KEY(chain) != ':')
3497 if ((STRLEN)HEK_LEN(chain->refcounted_he_hek) != 1)
3499 if (*HEK_KEY(chain->refcounted_he_hek) != ':')
3502 /* Stop anyone trying to really mess us up by adding their own value for
3504 if ((chain->refcounted_he_data[0] & HVrhek_typemask) != HVrhek_PV
3505 && (chain->refcounted_he_data[0] & HVrhek_typemask) != HVrhek_PV_UTF8)
3509 *len = chain->refcounted_he_val.refcounted_he_u_len;
3511 *flags = ((chain->refcounted_he_data[0] & HVrhek_typemask)
3512 == HVrhek_PV_UTF8) ? SVf_UTF8 : 0;
3514 return chain->refcounted_he_data + 1;
3518 =for apidoc cop_store_label
3520 Save a label into a C<cop_hints_hash>.
3521 You need to set flags to C<SVf_UTF8>
3528 Perl_cop_store_label(pTHX_ COP *const cop, const char *label, STRLEN len,
3532 PERL_ARGS_ASSERT_COP_STORE_LABEL;
3534 if (flags & ~(SVf_UTF8))
3535 Perl_croak(aTHX_ "panic: cop_store_label illegal flag bits 0x%" UVxf,
3537 labelsv = newSVpvn_flags(label, len, SVs_TEMP);
3538 if (flags & SVf_UTF8)
3541 = refcounted_he_new_pvs(cop->cop_hints_hash, ":", labelsv, 0);
3545 =for apidoc hv_assert
3547 Check that a hash is in an internally consistent state.
3555 Perl_hv_assert(pTHX_ HV *hv)
3560 int placeholders = 0;
3563 const I32 riter = HvRITER_get(hv);
3564 HE *eiter = HvEITER_get(hv);
3566 PERL_ARGS_ASSERT_HV_ASSERT;
3568 (void)hv_iterinit(hv);
3570 while ((entry = hv_iternext_flags(hv, HV_ITERNEXT_WANTPLACEHOLDERS))) {
3571 /* sanity check the values */
3572 if (HeVAL(entry) == &PL_sv_placeholder)
3576 /* sanity check the keys */
3577 if (HeSVKEY(entry)) {
3578 NOOP; /* Don't know what to check on SV keys. */
3579 } else if (HeKUTF8(entry)) {
3581 if (HeKWASUTF8(entry)) {
3582 PerlIO_printf(Perl_debug_log,
3583 "hash key has both WASUTF8 and UTF8: '%.*s'\n",
3584 (int) HeKLEN(entry), HeKEY(entry));
3587 } else if (HeKWASUTF8(entry))
3590 if (!SvTIED_mg((const SV *)hv, PERL_MAGIC_tied)) {
3591 static const char bad_count[] = "Count %d %s(s), but hash reports %d\n";
3592 const int nhashkeys = HvUSEDKEYS(hv);
3593 const int nhashplaceholders = HvPLACEHOLDERS_get(hv);
3595 if (nhashkeys != real) {
3596 PerlIO_printf(Perl_debug_log, bad_count, real, "keys", nhashkeys );
3599 if (nhashplaceholders != placeholders) {
3600 PerlIO_printf(Perl_debug_log, bad_count, placeholders, "placeholder", nhashplaceholders );
3604 if (withflags && ! HvHASKFLAGS(hv)) {
3605 PerlIO_printf(Perl_debug_log,
3606 "Hash has HASKFLAGS off but I count %d key(s) with flags\n",
3611 sv_dump(MUTABLE_SV(hv));
3613 HvRITER_set(hv, riter); /* Restore hash iterator state */
3614 HvEITER_set(hv, eiter);
3621 * c-indentation-style: bsd
3623 * indent-tabs-mode: nil
3626 * ex: set ts=8 sts=4 sw=4 et: