Move the require './test.pl' to the end of t/comp/hints.t
[p5sagit/p5-mst-13.2.git] / t / op / ref.t
1 #!./perl
2
3 BEGIN {
4     chdir 't' if -d 't';
5     @INC = qw(. ../lib);
6 }
7
8 require 'test.pl';
9 use strict qw(refs subs);
10
11 plan(189);
12
13 # Test glob operations.
14
15 $bar = "one";
16 $foo = "two";
17 {
18     local(*foo) = *bar;
19     is($foo, 'one');
20 }
21 is ($foo, 'two');
22
23 $baz = "three";
24 $foo = "four";
25 {
26     local(*foo) = 'baz';
27     is ($foo, 'three');
28 }
29 is ($foo, 'four');
30
31 $foo = "global";
32 {
33     local(*foo);
34     is ($foo, undef);
35     $foo = "local";
36     is ($foo, 'local');
37 }
38 is ($foo, 'global');
39
40 {
41     no strict 'refs';
42 # Test fake references.
43
44     $baz = "valid";
45     $bar = 'baz';
46     $foo = 'bar';
47     is ($$$foo, 'valid');
48 }
49
50 # Test real references.
51
52 $FOO = \$BAR;
53 $BAR = \$BAZ;
54 $BAZ = "hit";
55 is ($$$FOO, 'hit');
56
57 # Test references to real arrays.
58
59 my $test = curr_test();
60 @ary = ($test,$test+1,$test+2,$test+3);
61 $ref[0] = \@a;
62 $ref[1] = \@b;
63 $ref[2] = \@c;
64 $ref[3] = \@d;
65 for $i (3,1,2,0) {
66     push(@{$ref[$i]}, "ok $ary[$i]\n");
67 }
68 print @a;
69 print ${$ref[1]}[0];
70 print @{$ref[2]}[0];
71 {
72     no strict 'refs';
73     print @{'d'};
74 }
75 curr_test($test+4);
76
77 # Test references to references.
78
79 $refref = \\$x;
80 $x = "Good";
81 is ($$$refref, 'Good');
82
83 # Test nested anonymous lists.
84
85 $ref = [[],2,[3,4,5,]];
86 is (scalar @$ref, 3);
87 is ($$ref[1], 2);
88 is (${$$ref[2]}[2], 5);
89 is (scalar @{$$ref[0]}, 0);
90
91 is ($ref->[1], 2);
92 is ($ref->[2]->[0], 3);
93
94 # Test references to hashes of references.
95
96 $refref = \%whatever;
97 $refref->{"key"} = $ref;
98 is ($refref->{"key"}->[2]->[0], 3);
99
100 # Test to see if anonymous subarrays spring into existence.
101
102 $spring[5]->[0] = 123;
103 $spring[5]->[1] = 456;
104 push(@{$spring[5]}, 789);
105 is (join(':',@{$spring[5]}), "123:456:789");
106
107 # Test to see if anonymous subhashes spring into existence.
108
109 @{$spring2{"foo"}} = (1,2,3);
110 $spring2{"foo"}->[3] = 4;
111 is (join(':',@{$spring2{"foo"}}), "1:2:3:4");
112
113 # Test references to subroutines.
114
115 {
116     my $called;
117     sub mysub { $called++; }
118     $subref = \&mysub;
119     &$subref;
120     is ($called, 1);
121 }
122
123 $subrefref = \\&mysub2;
124 is ($$subrefref->("GOOD"), "good");
125 sub mysub2 { lc shift }
126
127 # Test the ref operator.
128
129 sub PVBM () { 'foo' }
130 { my $dummy = index 'foo', PVBM }
131
132 my $pviv = 1; "$pviv";
133 my $pvnv = 1.0; "$pvnv";
134 my $x;
135
136 # we don't test
137 #   tied lvalue => SCALAR, as we haven't tested tie yet
138 #   BIND, 'cos we can't create them yet
139 #   REGEXP, 'cos that requires overload or Scalar::Util
140 #   LVALUE ref, 'cos I can't work out how to create one :)
141
142 for (
143     [ 'undef',          SCALAR  => \undef               ],
144     [ 'constant IV',    SCALAR  => \1                   ],
145     [ 'constant NV',    SCALAR  => \1.0                 ],
146     [ 'constant PV',    SCALAR  => \'f'                 ],
147     [ 'scalar',         SCALAR  => \$x                  ],
148     [ 'PVIV',           SCALAR  => \$pviv               ],
149     [ 'PVNV',           SCALAR  => \$pvnv               ],
150     [ 'PVMG',           SCALAR  => \$0                  ],
151     [ 'PVBM',           SCALAR  => \PVBM                ],
152     [ 'vstring',        VSTRING => \v1                  ],
153     [ 'ref',            REF     => \\1                  ],
154     [ 'lvalue',         LVALUE  => \substr($x, 0, 0)    ],
155     [ 'named array',    ARRAY   => \@ary                ],
156     [ 'anon array',     ARRAY   => [ 1 ]                ],
157     [ 'named hash',     HASH    => \%whatever           ],
158     [ 'anon hash',      HASH    => { a => 1 }           ],
159     [ 'named sub',      CODE    => \&mysub,             ],
160     [ 'anon sub',       CODE    => sub { 1; }           ],
161     [ 'glob',           GLOB    => \*foo                ],
162     [ 'format',         FORMAT  => *STDERR{FORMAT}      ],
163 ) {
164     my ($desc, $type, $ref) = @$_;
165     is (ref $ref, $type, "ref() for ref to $desc");
166     like ("$ref", qr/^$type\(0x[0-9a-f]+\)$/, "stringify for ref to $desc");
167 }
168
169 is (ref *STDOUT{IO}, 'IO::Handle', 'IO refs are blessed into IO::Handle');
170 like (*STDOUT{IO}, qr/^IO::Handle=IO\(0x[0-9a-f]+\)$/,
171     'stringify for IO refs');
172
173 # Test anonymous hash syntax.
174
175 $anonhash = {};
176 is (ref $anonhash, 'HASH');
177 $anonhash2 = {FOO => 'BAR', ABC => 'XYZ',};
178 is (join('', sort values %$anonhash2), 'BARXYZ');
179
180 # Test bless operator.
181
182 package MYHASH;
183
184 $object = bless $main'anonhash2;
185 main::is (ref $object, 'MYHASH');
186 main::is ($object->{ABC}, 'XYZ');
187
188 $object2 = bless {};
189 main::is (ref $object2, 'MYHASH');
190
191 # Test ordinary call on object method.
192
193 &mymethod($object,"argument");
194
195 sub mymethod {
196     local($THIS, @ARGS) = @_;
197     die 'Got a "' . ref($THIS). '" instead of a MYHASH'
198         unless ref $THIS eq 'MYHASH';
199     main::is ($ARGS[0], "argument");
200     main::is ($THIS->{FOO}, 'BAR');
201 }
202
203 # Test automatic destructor call.
204
205 $string = "bad";
206 $object = "foo";
207 $string = "good";
208 $main'anonhash2 = "foo";
209 $string = "";
210
211 DESTROY {
212     return unless $string;
213     main::is ($string, 'good');
214
215     # Test that the object has not already been "cursed".
216     main::isnt (ref shift, 'HASH');
217 }
218
219 # Now test inheritance of methods.
220
221 package OBJ;
222
223 @ISA = ('BASEOBJ');
224
225 $main'object = bless {FOO => 'foo', BAR => 'bar'};
226
227 package main;
228
229 # Test arrow-style method invocation.
230
231 is ($object->doit("BAR"), 'bar');
232
233 # Test indirect-object-style method invocation.
234
235 $foo = doit $object "FOO";
236 main::is ($foo, 'foo');
237
238 sub BASEOBJ'doit {
239     local $ref = shift;
240     die "Not an OBJ" unless ref $ref eq 'OBJ';
241     $ref->{shift()};
242 }
243
244 package UNIVERSAL;
245 @ISA = 'LASTCHANCE';
246
247 package LASTCHANCE;
248 sub foo { main::is ($_[1], 'works') }
249
250 package WHATEVER;
251 foo WHATEVER "works";
252
253 #
254 # test the \(@foo) construct
255 #
256 package main;
257 @foo = \(1..3);
258 @bar = \(@foo);
259 @baz = \(1,@foo,@bar);
260 is (scalar (@bar), 3);
261 is (scalar grep(ref($_), @bar), 3);
262 is (scalar (@baz), 3);
263
264 my(@fuu) = \(1..2,3);
265 my(@baa) = \(@fuu);
266 my(@bzz) = \(1,@fuu,@baa);
267 is (scalar (@baa), 3);
268 is (scalar grep(ref($_), @baa), 3);
269 is (scalar (@bzz), 3);
270
271 # also, it can't be an lvalue
272 eval '\\($x, $y) = (1, 2);';
273 like ($@, qr/Can\'t modify.*ref.*in.*assignment/);
274
275 # test for proper destruction of lexical objects
276 $test = curr_test();
277 sub larry::DESTROY { print "# larry\nok $test\n"; }
278 sub curly::DESTROY { print "# curly\nok ", $test + 1, "\n"; }
279 sub moe::DESTROY   { print "# moe\nok ", $test + 2, "\n"; }
280
281 {
282     my ($joe, @curly, %larry);
283     my $moe = bless \$joe, 'moe';
284     my $curly = bless \@curly, 'curly';
285     my $larry = bless \%larry, 'larry';
286     print "# leaving block\n";
287 }
288
289 print "# left block\n";
290 curr_test($test + 3);
291
292 # another glob test
293
294
295 $foo = "garbage";
296 { local(*bar) = "foo" }
297 $bar = "glob 3";
298 local(*bar) = *bar;
299 is ($bar, "glob 3");
300
301 $var = "glob 4";
302 $_   = \$var;
303 is ($$_, 'glob 4');
304
305
306 # test if reblessing during destruction results in more destruction
307 $test = curr_test();
308 {
309     package A;
310     sub new { bless {}, shift }
311     DESTROY { print "# destroying 'A'\nok ", $test + 1, "\n" }
312     package _B;
313     sub new { bless {}, shift }
314     DESTROY { print "# destroying '_B'\nok $test\n"; bless shift, 'A' }
315     package main;
316     my $b = _B->new;
317 }
318 curr_test($test + 2);
319
320 # test if $_[0] is properly protected in DESTROY()
321
322 {
323     my $test = curr_test();
324     my $i = 0;
325     local $SIG{'__DIE__'} = sub {
326         my $m = shift;
327         if ($i++ > 4) {
328             print "# infinite recursion, bailing\nnot ok $test\n";
329             exit 1;
330         }
331         like ($m, qr/^Modification of a read-only/);
332     };
333     package C;
334     sub new { bless {}, shift }
335     DESTROY { $_[0] = 'foo' }
336     {
337         print "# should generate an error...\n";
338         my $c = C->new;
339     }
340     print "# good, didn't recurse\n";
341 }
342
343 # test if refgen behaves with autoviv magic
344 {
345     my @a;
346     $a[1] = "good";
347     my $got;
348     for (@a) {
349         $got .= ${\$_};
350         $got .= ';';
351     }
352     is ($got, ";good;");
353 }
354
355 # This test is the reason for postponed destruction in sv_unref
356 $a = [1,2,3];
357 $a = $a->[1];
358 is ($a, 2);
359
360 # This test used to coredump. The BEGIN block is important as it causes the
361 # op that created the constant reference to be freed. Hence the only
362 # reference to the constant string "pass" is in $a. The hack that made
363 # sure $a = $a->[1] would work didn't work with references to constants.
364
365
366 foreach my $lexical ('', 'my $a; ') {
367   my $expect = "pass\n";
368   my $result = runperl (switches => ['-wl'], stderr => 1,
369     prog => $lexical . 'BEGIN {$a = \q{pass}}; $a = $$a; print $a');
370
371   is ($?, 0);
372   is ($result, $expect);
373 }
374
375 $test = curr_test();
376 sub x::DESTROY {print "ok ", $test + shift->[0], "\n"}
377 { my $a1 = bless [3],"x";
378   my $a2 = bless [2],"x";
379   { my $a3 = bless [1],"x";
380     my $a4 = bless [0],"x";
381     567;
382   }
383 }
384 curr_test($test+4);
385
386 is (runperl (switches=>['-l'],
387              prog=> 'print 1; print qq-*$\*-;print 1;'),
388     "1\n*\n*\n1\n");
389
390 # bug #21347
391
392 runperl(prog => 'sub UNIVERSAL::AUTOLOAD { qr// } a->p' );
393 is ($?, 0, 'UNIVERSAL::AUTOLOAD called when freeing qr//');
394
395 runperl(prog => 'sub UNIVERSAL::DESTROY { warn } bless \$a, A', stderr => 1);
396 is ($?, 0, 'warn called inside UNIVERSAL::DESTROY');
397
398
399 # bug #22719
400
401 runperl(prog => 'sub f { my $x = shift; *z = $x; } f({}); f();');
402 is ($?, 0, 'coredump on typeglob = (SvRV && !SvROK)');
403
404 # bug #27268: freeing self-referential typeglobs could trigger
405 # "Attempt to free unreferenced scalar" warnings
406
407 is (runperl(
408     prog => 'use Symbol;my $x=bless \gensym,"t"; print;*$$x=$x',
409     stderr => 1
410 ), '', 'freeing self-referential typeglob');
411
412 # using a regex in the destructor for STDOUT segfaulted because the
413 # REGEX pad had already been freed (ithreads build only). The
414 # object is required to trigger the early freeing of GV refs to to STDOUT
415
416 like (runperl(
417     prog => '$x=bless[]; sub IO::Handle::DESTROY{$_="bad";s/bad/ok/;print}',
418     stderr => 1
419       ), qr/^(ok)+$/, 'STDOUT destructor');
420
421 TODO: {
422     no strict 'refs';
423     $name8 = chr 163;
424     $name_utf8 = $name8 . chr 256;
425     chop $name_utf8;
426
427     is ($$name8, undef, 'Nothing before we start');
428     is ($$name_utf8, undef, 'Nothing before we start');
429     $$name8 = "Pound";
430     is ($$name8, "Pound", 'Accessing via 8 bit symref works');
431     local $TODO = "UTF8 mangled in symrefs";
432     is ($$name_utf8, "Pound", 'Accessing via UTF8 symref works');
433 }
434
435 TODO: {
436     no strict 'refs';
437     $name_utf8 = $name = chr 9787;
438     utf8::encode $name_utf8;
439
440     is (length $name, 1, "Name is 1 char");
441     is (length $name_utf8, 3, "UTF8 representation is 3 chars");
442
443     is ($$name, undef, 'Nothing before we start');
444     is ($$name_utf8, undef, 'Nothing before we start');
445     $$name = "Face";
446     is ($$name, "Face", 'Accessing via Unicode symref works');
447     local $TODO = "UTF8 mangled in symrefs";
448     is ($$name_utf8, undef,
449         'Accessing via the UTF8 byte sequence gives nothing');
450 }
451
452 {
453     no strict 'refs';
454     $name1 = "\0Chalk";
455     $name2 = "\0Cheese";
456
457     isnt ($name1, $name2, "They differ");
458
459     is ($$name1, undef, 'Nothing before we start (scalars)');
460     is ($$name2, undef, 'Nothing before we start');
461     $$name1 = "Yummy";
462     is ($$name1, "Yummy", 'Accessing via the correct name works');
463     is ($$name2, undef,
464         'Accessing via a different NUL-containing name gives nothing');
465     # defined uses a different code path
466     ok (defined $$name1, 'defined via the correct name works');
467     ok (!defined $$name2,
468         'defined via a different NUL-containing name gives nothing');
469
470     is ($name1->[0], undef, 'Nothing before we start (arrays)');
471     is ($name2->[0], undef, 'Nothing before we start');
472     $name1->[0] = "Yummy";
473     is ($name1->[0], "Yummy", 'Accessing via the correct name works');
474     is ($name2->[0], undef,
475         'Accessing via a different NUL-containing name gives nothing');
476     ok (defined $name1->[0], 'defined via the correct name works');
477     ok (!defined$name2->[0],
478         'defined via a different NUL-containing name gives nothing');
479
480     my (undef, $one) = @{$name1}[2,3];
481     my (undef, $two) = @{$name2}[2,3];
482     is ($one, undef, 'Nothing before we start (array slices)');
483     is ($two, undef, 'Nothing before we start');
484     @{$name1}[2,3] = ("Very", "Yummy");
485     (undef, $one) = @{$name1}[2,3];
486     (undef, $two) = @{$name2}[2,3];
487     is ($one, "Yummy", 'Accessing via the correct name works');
488     is ($two, undef,
489         'Accessing via a different NUL-containing name gives nothing');
490     ok (defined $one, 'defined via the correct name works');
491     ok (!defined $two,
492         'defined via a different NUL-containing name gives nothing');
493
494     is ($name1->{PWOF}, undef, 'Nothing before we start (hashes)');
495     is ($name2->{PWOF}, undef, 'Nothing before we start');
496     $name1->{PWOF} = "Yummy";
497     is ($name1->{PWOF}, "Yummy", 'Accessing via the correct name works');
498     is ($name2->{PWOF}, undef,
499         'Accessing via a different NUL-containing name gives nothing');
500     ok (defined $name1->{PWOF}, 'defined via the correct name works');
501     ok (!defined $name2->{PWOF},
502         'defined via a different NUL-containing name gives nothing');
503
504     my (undef, $one) = @{$name1}{'SNIF', 'BEEYOOP'};
505     my (undef, $two) = @{$name2}{'SNIF', 'BEEYOOP'};
506     is ($one, undef, 'Nothing before we start (hash slices)');
507     is ($two, undef, 'Nothing before we start');
508     @{$name1}{'SNIF', 'BEEYOOP'} = ("Very", "Yummy");
509     (undef, $one) = @{$name1}{'SNIF', 'BEEYOOP'};
510     (undef, $two) = @{$name2}{'SNIF', 'BEEYOOP'};
511     is ($one, "Yummy", 'Accessing via the correct name works');
512     is ($two, undef,
513         'Accessing via a different NUL-containing name gives nothing');
514     ok (defined $one, 'defined via the correct name works');
515     ok (!defined $two,
516         'defined via a different NUL-containing name gives nothing');
517
518     $name1 = "Left"; $name2 = "Left\0Right";
519     my $glob2 = *{$name2};
520
521     is ($glob1, undef, "We get different typeglobs. In fact, undef");
522
523     *{$name1} = sub {"One"};
524     *{$name2} = sub {"Two"};
525
526     is (&{$name1}, "One");
527     is (&{$name2}, "Two");
528 }
529
530 # test derefs after list slice
531
532 is ( ({foo => "bar"})[0]{foo}, "bar", 'hash deref from list slice w/o ->' );
533 is ( ({foo => "bar"})[0]->{foo}, "bar", 'hash deref from list slice w/ ->' );
534 is ( ([qw/foo bar/])[0][1], "bar", 'array deref from list slice w/o ->' );
535 is ( ([qw/foo bar/])[0]->[1], "bar", 'array deref from list slice w/ ->' );
536 is ( (sub {"bar"})[0](), "bar", 'code deref from list slice w/o ->' );
537 is ( (sub {"bar"})[0]->(), "bar", 'code deref from list slice w/ ->' );
538
539 # deref on empty list shouldn't autovivify
540 {
541     local $@;
542     eval { ()[0]{foo} };
543     like ( "$@", "Can't use an undefined value as a HASH reference",
544            "deref of undef from list slice fails" );
545 }
546
547 # test dereferencing errors
548 {
549     format STDERR =
550 .
551     my $ref;
552     foreach $ref (*STDOUT{IO}, *STDERR{FORMAT}) {
553         eval q/ $$ref /;
554         like($@, qr/Not a SCALAR reference/, "Scalar dereference");
555         eval q/ @$ref /;
556         like($@, qr/Not an ARRAY reference/, "Array dereference");
557         eval q/ %$ref /;
558         like($@, qr/Not a HASH reference/, "Hash dereference");
559         eval q/ &$ref /;
560         like($@, qr/Not a CODE reference/, "Code dereference");
561     }
562
563     $ref = *STDERR{FORMAT};
564     eval q/ *$ref /;
565     like($@, qr/Not a GLOB reference/, "Glob dereference");
566
567     $ref = *STDOUT{IO};
568     eval q/ *$ref /;
569     is($@, '', "Glob dereference of PVIO is acceptable");
570
571     is($ref, *{$ref}{IO}, "IO slot of the temporary glob is set correctly");
572 }
573
574 # these will segfault if they fail
575
576 my $pvbm = PVBM;
577 my $rpvbm = \$pvbm;
578
579 ok (!eval { *$rpvbm }, 'PVBM ref is not a GLOB ref');
580 ok (!eval { *$pvbm }, 'PVBM is not a GLOB ref');
581 ok (!eval { $$pvbm }, 'PVBM is not a SCALAR ref');
582 ok (!eval { @$pvbm }, 'PVBM is not an ARRAY ref');
583 ok (!eval { %$pvbm }, 'PVBM is not a HASH ref');
584 ok (!eval { $pvbm->() }, 'PVBM is not a CODE ref');
585 ok (!eval { $rpvbm->foo }, 'PVBM is not an object');
586
587 # bug 24254
588 is( runperl(stderr => 1, prog => 'map eval qq(exit),1 for 1'), "");
589 is( runperl(stderr => 1, prog => 'eval { for (1) { map { die } 2 } };'), "");
590 is( runperl(stderr => 1, prog => 'for (125) { map { exit } (213)}'), "");
591 my $hushed = $^O eq 'VMS' ? 'use vmsish qw(hushed);' : '';
592 is( runperl(stderr => 1, prog => $hushed . 'map die,4 for 3'), "Died at -e line 1.\n");
593 is( runperl(stderr => 1, prog => $hushed . 'grep die,4 for 3'), "Died at -e line 1.\n");
594 is( runperl(stderr => 1, prog => $hushed . 'for $a (3) {@b=sort {die} 4,5}'), "Died at -e line 1.\n");
595
596 # bug 57564
597 is( runperl(stderr => 1, prog => 'my $i;for $i (1) { for $i (2) { } }'), "");
598
599
600 # Bit of a hack to make test.pl happy. There are 3 more tests after it leaves.
601 $test = curr_test();
602 curr_test($test + 3);
603 # test global destruction
604
605 my $test1 = $test + 1;
606 my $test2 = $test + 2;
607
608 package FINALE;
609
610 {
611     $ref3 = bless ["ok $test2\n"];      # package destruction
612     my $ref2 = bless ["ok $test1\n"];   # lexical destruction
613     local $ref1 = bless ["ok $test\n"]; # dynamic destruction
614     1;                                  # flush any temp values on stack
615 }
616
617 DESTROY {
618     print $_[0][0];
619 }
620