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 * '...for the Entwives desired order, and plenty, and peace (by which they
13 * meant that things should remain where they had set them).' --Treebeard
15 * [p.476 of _The Lord of the Rings_, III/iv: "Treebeard"]
19 =head1 Array Manipulation Functions
27 Perl_av_reify(pTHX_ AV *av)
32 PERL_ARGS_ASSERT_AV_REIFY;
33 assert(SvTYPE(av) == SVt_PVAV);
38 if (SvTIED_mg((const SV *)av, PERL_MAGIC_tied) && ckWARN_d(WARN_DEBUGGING))
39 Perl_warner(aTHX_ packWARN(WARN_DEBUGGING), "av_reify called on tied array");
42 while (key > AvFILLp(av) + 1)
43 AvARRAY(av)[--key] = &PL_sv_undef;
45 SV * const sv = AvARRAY(av)[--key];
47 if (sv != &PL_sv_undef)
48 SvREFCNT_inc_simple_void_NN(sv);
50 key = AvARRAY(av) - AvALLOC(av);
52 AvALLOC(av)[--key] = &PL_sv_undef;
60 Pre-extend an array. The C<key> is the index to which the array should be
67 Perl_av_extend(pTHX_ AV *av, I32 key)
72 PERL_ARGS_ASSERT_AV_EXTEND;
73 assert(SvTYPE(av) == SVt_PVAV);
75 mg = SvTIED_mg((const SV *)av, PERL_MAGIC_tied);
80 PUSHSTACKi(PERLSI_MAGIC);
83 PUSHs(SvTIED_obj(MUTABLE_SV(av), mg));
86 call_method("EXTEND", G_SCALAR|G_DISCARD);
92 if (key > AvMAX(av)) {
97 if (AvALLOC(av) != AvARRAY(av)) {
98 ary = AvALLOC(av) + AvFILLp(av) + 1;
99 tmp = AvARRAY(av) - AvALLOC(av);
100 Move(AvARRAY(av), AvALLOC(av), AvFILLp(av)+1, SV*);
102 AvARRAY(av) = AvALLOC(av);
105 ary[--tmp] = &PL_sv_undef;
107 if (key > AvMAX(av) - 10) {
108 newmax = key + AvMAX(av);
113 #ifdef PERL_MALLOC_WRAP
114 static const char oom_array_extend[] =
115 "Out of memory during array extend"; /* Duplicated in pp_hot.c */
119 #if !defined(STRANGE_MALLOC) && !defined(MYMALLOC)
124 #ifdef Perl_safesysmalloc_size
125 /* Whilst it would be quite possible to move this logic around
126 (as I did in the SV code), so as to set AvMAX(av) early,
127 based on calling Perl_safesysmalloc_size() immediately after
128 allocation, I'm not convinced that it is a great idea here.
129 In an array we have to loop round setting everything to
130 &PL_sv_undef, which means writing to memory, potentially lots
131 of it, whereas for the SV buffer case we don't touch the
132 "bonus" memory. So there there is no cost in telling the
133 world about it, whereas here we have to do work before we can
134 tell the world about it, and that work involves writing to
135 memory that might never be read. So, I feel, better to keep
136 the current lazy system of only writing to it if our caller
137 has a need for more space. NWC */
138 newmax = Perl_safesysmalloc_size((void*)AvALLOC(av)) /
139 sizeof(const SV *) - 1;
144 newmax = key + AvMAX(av) / 5;
146 MEM_WRAP_CHECK_1(newmax+1, SV*, oom_array_extend);
147 #if defined(STRANGE_MALLOC) || defined(MYMALLOC)
148 Renew(AvALLOC(av),newmax+1, SV*);
150 bytes = (newmax + 1) * sizeof(const SV *);
151 #define MALLOC_OVERHEAD 16
152 itmp = MALLOC_OVERHEAD;
153 while ((MEM_SIZE)(itmp - MALLOC_OVERHEAD) < bytes)
155 itmp -= MALLOC_OVERHEAD;
156 itmp /= sizeof(const SV *);
157 assert(itmp > newmax);
159 assert(newmax >= AvMAX(av));
160 Newx(ary, newmax+1, SV*);
161 Copy(AvALLOC(av), ary, AvMAX(av)+1, SV*);
163 offer_nice_chunk(AvALLOC(av),
164 (AvMAX(av)+1) * sizeof(const SV *));
166 Safefree(AvALLOC(av));
169 #ifdef Perl_safesysmalloc_size
172 ary = AvALLOC(av) + AvMAX(av) + 1;
173 tmp = newmax - AvMAX(av);
174 if (av == PL_curstack) { /* Oops, grew stack (via av_store()?) */
175 PL_stack_sp = AvALLOC(av) + (PL_stack_sp - PL_stack_base);
176 PL_stack_base = AvALLOC(av);
177 PL_stack_max = PL_stack_base + newmax;
181 newmax = key < 3 ? 3 : key;
182 MEM_WRAP_CHECK_1(newmax+1, SV*, oom_array_extend);
183 Newx(AvALLOC(av), newmax+1, SV*);
184 ary = AvALLOC(av) + 1;
186 AvALLOC(av)[0] = &PL_sv_undef; /* For the stacks */
190 ary[--tmp] = &PL_sv_undef;
193 AvARRAY(av) = AvALLOC(av);
202 Returns the SV at the specified index in the array. The C<key> is the
203 index. If C<lval> is set then the fetch will be part of a store. Check
204 that the return value is non-null before dereferencing it to a C<SV*>.
206 See L<perlguts/"Understanding the Magic of Tied Hashes and Arrays"> for
207 more information on how to use this function on tied arrays.
213 Perl_av_fetch(pTHX_ register AV *av, I32 key, I32 lval)
217 PERL_ARGS_ASSERT_AV_FETCH;
218 assert(SvTYPE(av) == SVt_PVAV);
220 if (SvRMAGICAL(av)) {
221 const MAGIC * const tied_magic
222 = mg_find((const SV *)av, PERL_MAGIC_tied);
223 if (tied_magic || mg_find((const SV *)av, PERL_MAGIC_regdata)) {
226 I32 adjust_index = 1;
228 /* Handle negative array indices 20020222 MJD */
229 SV * const * const negative_indices_glob =
230 hv_fetch(SvSTASH(SvRV(SvTIED_obj(MUTABLE_SV(av),
232 NEGATIVE_INDICES_VAR, 16, 0);
234 if (negative_indices_glob && SvTRUE(GvSV(*negative_indices_glob)))
239 key += AvFILL(av) + 1;
246 sv_upgrade(sv, SVt_PVLV);
247 mg_copy(MUTABLE_SV(av), sv, 0, key);
249 LvTARG(sv) = sv; /* fake (SV**) */
250 return &(LvTARG(sv));
255 key += AvFILL(av) + 1;
260 if (key > AvFILLp(av)) {
263 return av_store(av,key,newSV(0));
265 if (AvARRAY(av)[key] == &PL_sv_undef) {
268 return av_store(av,key,newSV(0));
272 && (!AvARRAY(av)[key] /* eg. @_ could have freed elts */
273 || SvIS_FREED(AvARRAY(av)[key]))) {
274 AvARRAY(av)[key] = &PL_sv_undef; /* 1/2 reify */
277 return &AvARRAY(av)[key];
283 Stores an SV in an array. The array index is specified as C<key>. The
284 return value will be NULL if the operation failed or if the value did not
285 need to be actually stored within the array (as in the case of tied
286 arrays). Otherwise it can be dereferenced to get the original C<SV*>. Note
287 that the caller is responsible for suitably incrementing the reference
288 count of C<val> before the call, and decrementing it if the function
291 See L<perlguts/"Understanding the Magic of Tied Hashes and Arrays"> for
292 more information on how to use this function on tied arrays.
298 Perl_av_store(pTHX_ register AV *av, I32 key, SV *val)
303 PERL_ARGS_ASSERT_AV_STORE;
304 assert(SvTYPE(av) == SVt_PVAV);
306 /* S_regclass relies on being able to pass in a NULL sv
307 (unicode_alternate may be NULL).
313 if (SvRMAGICAL(av)) {
314 const MAGIC * const tied_magic = mg_find((const SV *)av, PERL_MAGIC_tied);
316 /* Handle negative array indices 20020222 MJD */
318 bool adjust_index = 1;
319 SV * const * const negative_indices_glob =
320 hv_fetch(SvSTASH(SvRV(SvTIED_obj(MUTABLE_SV(av),
322 NEGATIVE_INDICES_VAR, 16, 0);
323 if (negative_indices_glob
324 && SvTRUE(GvSV(*negative_indices_glob)))
327 key += AvFILL(av) + 1;
332 if (val != &PL_sv_undef) {
333 mg_copy(MUTABLE_SV(av), val, 0, key);
341 key += AvFILL(av) + 1;
346 if (SvREADONLY(av) && key >= AvFILL(av))
347 Perl_croak(aTHX_ "%s", PL_no_modify);
349 if (!AvREAL(av) && AvREIFY(av))
354 if (AvFILLp(av) < key) {
356 if (av == PL_curstack && key > PL_stack_sp - PL_stack_base)
357 PL_stack_sp = PL_stack_base + key; /* XPUSH in disguise */
359 ary[++AvFILLp(av)] = &PL_sv_undef;
360 } while (AvFILLp(av) < key);
365 SvREFCNT_dec(ary[key]);
367 if (SvSMAGICAL(av)) {
368 const MAGIC* const mg = SvMAGIC(av);
369 if (val != &PL_sv_undef) {
370 sv_magic(val, MUTABLE_SV(av), toLOWER(mg->mg_type), 0, key);
372 if (PL_delaymagic && mg->mg_type == PERL_MAGIC_isa)
373 PL_delaymagic |= DM_ARRAY;
375 mg_set(MUTABLE_SV(av));
383 Creates a new AV and populates it with a list of SVs. The SVs are copied
384 into the array, so they may be freed after the call to av_make. The new AV
385 will have a reference count of 1.
391 Perl_av_make(pTHX_ register I32 size, register SV **strp)
393 register AV * const av = MUTABLE_AV(newSV_type(SVt_PVAV));
394 /* sv_upgrade does AvREAL_only() */
395 PERL_ARGS_ASSERT_AV_MAKE;
396 assert(SvTYPE(av) == SVt_PVAV);
398 if (size) { /* "defined" was returning undef for size==0 anyway. */
404 AvFILLp(av) = AvMAX(av) = size - 1;
405 for (i = 0; i < size; i++) {
408 sv_setsv(ary[i], *strp);
418 Clears an array, making it empty. Does not free the memory used by the
425 Perl_av_clear(pTHX_ register AV *av)
430 PERL_ARGS_ASSERT_AV_CLEAR;
431 assert(SvTYPE(av) == SVt_PVAV);
434 if (SvREFCNT(av) == 0 && ckWARN_d(WARN_DEBUGGING)) {
435 Perl_warner(aTHX_ packWARN(WARN_DEBUGGING), "Attempt to clear deleted array");
440 Perl_croak(aTHX_ "%s", PL_no_modify);
442 /* Give any tie a chance to cleanup first */
443 if (SvRMAGICAL(av)) {
444 const MAGIC* const mg = SvMAGIC(av);
445 if (PL_delaymagic && mg && mg->mg_type == PERL_MAGIC_isa)
446 PL_delaymagic |= DM_ARRAY;
448 mg_clear(MUTABLE_SV(av));
455 SV** const ary = AvARRAY(av);
456 I32 index = AvFILLp(av) + 1;
458 SV * const sv = ary[--index];
459 /* undef the slot before freeing the value, because a
460 * destructor might try to modify this array */
461 ary[index] = &PL_sv_undef;
465 extra = AvARRAY(av) - AvALLOC(av);
468 AvARRAY(av) = AvALLOC(av);
477 Undefines the array. Frees the memory used by the array itself.
483 Perl_av_undef(pTHX_ register AV *av)
485 PERL_ARGS_ASSERT_AV_UNDEF;
486 assert(SvTYPE(av) == SVt_PVAV);
488 /* Give any tie a chance to cleanup first */
489 if (SvTIED_mg((const SV *)av, PERL_MAGIC_tied))
493 register I32 key = AvFILLp(av) + 1;
495 SvREFCNT_dec(AvARRAY(av)[--key]);
498 Safefree(AvALLOC(av));
501 AvMAX(av) = AvFILLp(av) = -1;
503 if(SvRMAGICAL(av)) mg_clear(MUTABLE_SV(av));
508 =for apidoc av_create_and_push
510 Push an SV onto the end of the array, creating the array if necessary.
511 A small internal helper function to remove a commonly duplicated idiom.
517 Perl_av_create_and_push(pTHX_ AV **const avp, SV *const val)
519 PERL_ARGS_ASSERT_AV_CREATE_AND_PUSH;
529 Pushes an SV onto the end of the array. The array will grow automatically
530 to accommodate the addition.
536 Perl_av_push(pTHX_ register AV *av, SV *val)
541 PERL_ARGS_ASSERT_AV_PUSH;
542 assert(SvTYPE(av) == SVt_PVAV);
545 Perl_croak(aTHX_ "%s", PL_no_modify);
547 if ((mg = SvTIED_mg((const SV *)av, PERL_MAGIC_tied))) {
549 PUSHSTACKi(PERLSI_MAGIC);
552 PUSHs(SvTIED_obj(MUTABLE_SV(av), mg));
556 call_method("PUSH", G_SCALAR|G_DISCARD);
561 av_store(av,AvFILLp(av)+1,val);
567 Pops an SV off the end of the array. Returns C<&PL_sv_undef> if the array
574 Perl_av_pop(pTHX_ register AV *av)
580 PERL_ARGS_ASSERT_AV_POP;
581 assert(SvTYPE(av) == SVt_PVAV);
584 Perl_croak(aTHX_ "%s", PL_no_modify);
585 if ((mg = SvTIED_mg((const SV *)av, PERL_MAGIC_tied))) {
587 PUSHSTACKi(PERLSI_MAGIC);
589 XPUSHs(SvTIED_obj(MUTABLE_SV(av), mg));
592 if (call_method("POP", G_SCALAR)) {
593 retval = newSVsv(*PL_stack_sp--);
595 retval = &PL_sv_undef;
603 retval = AvARRAY(av)[AvFILLp(av)];
604 AvARRAY(av)[AvFILLp(av)--] = &PL_sv_undef;
606 mg_set(MUTABLE_SV(av));
612 =for apidoc av_create_and_unshift_one
614 Unshifts an SV onto the beginning of the array, creating the array if
616 A small internal helper function to remove a commonly duplicated idiom.
622 Perl_av_create_and_unshift_one(pTHX_ AV **const avp, SV *const val)
624 PERL_ARGS_ASSERT_AV_CREATE_AND_UNSHIFT_ONE;
629 return av_store(*avp, 0, val);
633 =for apidoc av_unshift
635 Unshift the given number of C<undef> values onto the beginning of the
636 array. The array will grow automatically to accommodate the addition. You
637 must then use C<av_store> to assign values to these new elements.
643 Perl_av_unshift(pTHX_ register AV *av, register I32 num)
649 PERL_ARGS_ASSERT_AV_UNSHIFT;
650 assert(SvTYPE(av) == SVt_PVAV);
653 Perl_croak(aTHX_ "%s", PL_no_modify);
655 if ((mg = SvTIED_mg((const SV *)av, PERL_MAGIC_tied))) {
657 PUSHSTACKi(PERLSI_MAGIC);
660 PUSHs(SvTIED_obj(MUTABLE_SV(av), mg));
666 call_method("UNSHIFT", G_SCALAR|G_DISCARD);
674 if (!AvREAL(av) && AvREIFY(av))
676 i = AvARRAY(av) - AvALLOC(av);
684 AvARRAY(av) = AvARRAY(av) - i;
688 const I32 i = AvFILLp(av);
689 /* Create extra elements */
690 const I32 slide = i > 0 ? i : 0;
692 av_extend(av, i + num);
695 Move(ary, ary + num, i + 1, SV*);
697 ary[--num] = &PL_sv_undef;
699 /* Make extra elements into a buffer */
701 AvFILLp(av) -= slide;
702 AvARRAY(av) = AvARRAY(av) + slide;
709 Shifts an SV off the beginning of the array. Returns C<&PL_sv_undef> if the
716 Perl_av_shift(pTHX_ register AV *av)
722 PERL_ARGS_ASSERT_AV_SHIFT;
723 assert(SvTYPE(av) == SVt_PVAV);
726 Perl_croak(aTHX_ "%s", PL_no_modify);
727 if ((mg = SvTIED_mg((const SV *)av, PERL_MAGIC_tied))) {
729 PUSHSTACKi(PERLSI_MAGIC);
731 XPUSHs(SvTIED_obj(MUTABLE_SV(av), mg));
734 if (call_method("SHIFT", G_SCALAR)) {
735 retval = newSVsv(*PL_stack_sp--);
737 retval = &PL_sv_undef;
745 retval = *AvARRAY(av);
747 *AvARRAY(av) = &PL_sv_undef;
748 AvARRAY(av) = AvARRAY(av) + 1;
752 mg_set(MUTABLE_SV(av));
759 Returns the highest index in the array. The number of elements in the
760 array is C<av_len(av) + 1>. Returns -1 if the array is empty.
766 Perl_av_len(pTHX_ AV *av)
768 PERL_ARGS_ASSERT_AV_LEN;
769 assert(SvTYPE(av) == SVt_PVAV);
777 Set the highest index in the array to the given number, equivalent to
778 Perl's C<$#array = $fill;>.
780 The number of elements in the an array will be C<fill + 1> after
781 av_fill() returns. If the array was previously shorter then the
782 additional elements appended are set to C<PL_sv_undef>. If the array
783 was longer, then the excess elements are freed. C<av_fill(av, -1)> is
784 the same as C<av_clear(av)>.
789 Perl_av_fill(pTHX_ register AV *av, I32 fill)
794 PERL_ARGS_ASSERT_AV_FILL;
795 assert(SvTYPE(av) == SVt_PVAV);
799 if ((mg = SvTIED_mg((const SV *)av, PERL_MAGIC_tied))) {
803 PUSHSTACKi(PERLSI_MAGIC);
806 PUSHs(SvTIED_obj(MUTABLE_SV(av), mg));
809 call_method("STORESIZE", G_SCALAR|G_DISCARD);
815 if (fill <= AvMAX(av)) {
816 I32 key = AvFILLp(av);
817 SV** const ary = AvARRAY(av);
821 SvREFCNT_dec(ary[key]);
822 ary[key--] = &PL_sv_undef;
827 ary[++key] = &PL_sv_undef;
832 mg_set(MUTABLE_SV(av));
835 (void)av_store(av,fill,&PL_sv_undef);
839 =for apidoc av_delete
841 Deletes the element indexed by C<key> from the array. Returns the
842 deleted element. If C<flags> equals C<G_DISCARD>, the element is freed
843 and null is returned.
848 Perl_av_delete(pTHX_ AV *av, I32 key, I32 flags)
853 PERL_ARGS_ASSERT_AV_DELETE;
854 assert(SvTYPE(av) == SVt_PVAV);
857 Perl_croak(aTHX_ "%s", PL_no_modify);
859 if (SvRMAGICAL(av)) {
860 const MAGIC * const tied_magic
861 = mg_find((const SV *)av, PERL_MAGIC_tied);
862 if ((tied_magic || mg_find((const SV *)av, PERL_MAGIC_regdata))) {
863 /* Handle negative array indices 20020222 MJD */
866 unsigned adjust_index = 1;
868 SV * const * const negative_indices_glob =
869 hv_fetch(SvSTASH(SvRV(SvTIED_obj(MUTABLE_SV(av),
871 NEGATIVE_INDICES_VAR, 16, 0);
872 if (negative_indices_glob
873 && SvTRUE(GvSV(*negative_indices_glob)))
877 key += AvFILL(av) + 1;
882 svp = av_fetch(av, key, TRUE);
886 if (mg_find(sv, PERL_MAGIC_tiedelem)) {
887 sv_unmagic(sv, PERL_MAGIC_tiedelem); /* No longer an element */
896 key += AvFILL(av) + 1;
901 if (key > AvFILLp(av))
904 if (!AvREAL(av) && AvREIFY(av))
906 sv = AvARRAY(av)[key];
907 if (key == AvFILLp(av)) {
908 AvARRAY(av)[key] = &PL_sv_undef;
911 } while (--key >= 0 && AvARRAY(av)[key] == &PL_sv_undef);
914 AvARRAY(av)[key] = &PL_sv_undef;
916 mg_set(MUTABLE_SV(av));
918 if (flags & G_DISCARD) {
928 =for apidoc av_exists
930 Returns true if the element indexed by C<key> has been initialized.
932 This relies on the fact that uninitialized array elements are set to
938 Perl_av_exists(pTHX_ AV *av, I32 key)
941 PERL_ARGS_ASSERT_AV_EXISTS;
942 assert(SvTYPE(av) == SVt_PVAV);
944 if (SvRMAGICAL(av)) {
945 const MAGIC * const tied_magic
946 = mg_find((const SV *)av, PERL_MAGIC_tied);
947 if (tied_magic || mg_find((const SV *)av, PERL_MAGIC_regdata)) {
948 SV * const sv = sv_newmortal();
950 /* Handle negative array indices 20020222 MJD */
952 unsigned adjust_index = 1;
954 SV * const * const negative_indices_glob =
955 hv_fetch(SvSTASH(SvRV(SvTIED_obj(MUTABLE_SV(av),
957 NEGATIVE_INDICES_VAR, 16, 0);
958 if (negative_indices_glob
959 && SvTRUE(GvSV(*negative_indices_glob)))
963 key += AvFILL(av) + 1;
969 mg_copy(MUTABLE_SV(av), sv, 0, key);
970 mg = mg_find(sv, PERL_MAGIC_tiedelem);
972 magic_existspack(sv, mg);
973 return (bool)SvTRUE(sv);
980 key += AvFILL(av) + 1;
985 if (key <= AvFILLp(av) && AvARRAY(av)[key] != &PL_sv_undef
995 S_get_aux_mg(pTHX_ AV *av) {
999 PERL_ARGS_ASSERT_GET_AUX_MG;
1000 assert(SvTYPE(av) == SVt_PVAV);
1002 mg = mg_find((const SV *)av, PERL_MAGIC_arylen_p);
1005 mg = sv_magicext(MUTABLE_SV(av), 0, PERL_MAGIC_arylen_p,
1006 &PL_vtbl_arylen_p, 0, 0);
1008 /* sv_magicext won't set this for us because we pass in a NULL obj */
1009 mg->mg_flags |= MGf_REFCOUNTED;
1015 Perl_av_arylen_p(pTHX_ AV *av) {
1016 MAGIC *const mg = get_aux_mg(av);
1018 PERL_ARGS_ASSERT_AV_ARYLEN_P;
1019 assert(SvTYPE(av) == SVt_PVAV);
1021 return &(mg->mg_obj);
1025 Perl_av_iter_p(pTHX_ AV *av) {
1026 MAGIC *const mg = get_aux_mg(av);
1028 PERL_ARGS_ASSERT_AV_ITER_P;
1029 assert(SvTYPE(av) == SVt_PVAV);
1031 #if IVSIZE == I32SIZE
1032 return (IV *)&(mg->mg_len);
1036 mg->mg_len = IVSIZE;
1038 mg->mg_ptr = (char *) temp;
1040 return (IV *)mg->mg_ptr;
1046 * c-indentation-style: bsd
1048 * indent-tabs-mode: t
1051 * ex: set ts=8 sts=4 sw=4 noet: