t/op/ref.t

   1 #!./perl
   2
   3 BEGIN {
   4     chdir 't' if -d 't';
   5     @INC = qw(. ../lib);
   6 }
   7
   8 print "1..68\n";
   9
  10 require 'test.pl';
  11
  12 # Test glob operations.
  13
  14 $bar = "ok 1\n";
  15 $foo = "ok 2\n";
  16 {
  17     local(*foo) = *bar;
  18     print $foo;
  19 }
  20 print $foo;
  21
  22 $baz = "ok 3\n";
  23 $foo = "ok 4\n";
  24 {
  25     local(*foo) = 'baz';
  26     print $foo;
  27 }
  28 print $foo;
  29
  30 $foo = "ok 6\n";
  31 {
  32     local(*foo);
  33     print $foo;
  34     $foo = "ok 5\n";
  35     print $foo;
  36 }
  37 print $foo;
  38
  39 # Test fake references.
  40
  41 $baz = "ok 7\n";
  42 $bar = 'baz';
  43 $foo = 'bar';
  44 print $$$foo;
  45
  46 # Test real references.
  47
  48 $FOO = \$BAR;
  49 $BAR = \$BAZ;
  50 $BAZ = "ok 8\n";
  51 print $$$FOO;
  52
  53 # Test references to real arrays.
  54
  55 @ary = (9,10,11,12);
  56 $ref[0] = \@a;
  57 $ref[1] = \@b;
  58 $ref[2] = \@c;
  59 $ref[3] = \@d;
  60 for $i (3,1,2,0) {
  61     push(@{$ref[$i]}, "ok $ary[$i]\n");
  62 }
  63 print @a;
  64 print ${$ref[1]}[0];
  65 print @{$ref[2]}[0];
  66 print @{'d'};
  67
  68 # Test references to references.
  69
  70 $refref = \\$x;
  71 $x = "ok 13\n";
  72 print $$$refref;
  73
  74 # Test nested anonymous lists.
  75
  76 $ref = [[],2,[3,4,5,]];
  77 print scalar @$ref == 3 ? "ok 14\n" : "not ok 14\n";
  78 print $$ref[1] == 2 ? "ok 15\n" : "not ok 15\n";
  79 print ${$$ref[2]}[2] == 5 ? "ok 16\n" : "not ok 16\n";
  80 print scalar @{$$ref[0]} == 0 ? "ok 17\n" : "not ok 17\n";
  81
  82 print $ref->[1] == 2 ? "ok 18\n" : "not ok 18\n";
  83 print $ref->[2]->[0] == 3 ? "ok 19\n" : "not ok 19\n";
  84
  85 # Test references to hashes of references.
  86
  87 $refref = \%whatever;
  88 $refref->{"key"} = $ref;
  89 print $refref->{"key"}->[2]->[0] == 3 ? "ok 20\n" : "not ok 20\n";
  90
  91 # Test to see if anonymous subarrays spring into existence.
  92
  93 $spring[5]->[0] = 123;
  94 $spring[5]->[1] = 456;
  95 push(@{$spring[5]}, 789);
  96 print join(':',@{$spring[5]}) eq "123:456:789" ? "ok 21\n" : "not ok 21\n";
  97
  98 # Test to see if anonymous subhashes spring into existence.
  99
 100 @{$spring2{"foo"}} = (1,2,3);
 101 $spring2{"foo"}->[3] = 4;
 102 print join(':',@{$spring2{"foo"}}) eq "1:2:3:4" ? "ok 22\n" : "not ok 22\n";
 103
 104 # Test references to subroutines.
 105
 106 sub mysub { print "ok 23\n" }
 107 $subref = \&mysub;
 108 &$subref;
 109
 110 $subrefref = \\&mysub2;
 111 $$subrefref->("ok 24\n");
 112 sub mysub2 { print shift }
 113
 114 # Test the ref operator.
 115
 116 print ref $subref       eq CODE  ? "ok 25\n" : "not ok 25\n";
 117 print ref $ref          eq ARRAY ? "ok 26\n" : "not ok 26\n";
 118 print ref $refref       eq HASH  ? "ok 27\n" : "not ok 27\n";
 119
 120 # Test anonymous hash syntax.
 121
 122 $anonhash = {};
 123 print ref $anonhash     eq HASH  ? "ok 28\n" : "not ok 28\n";
 124 $anonhash2 = {FOO => BAR, ABC => XYZ,};
 125 print join('', sort values %$anonhash2) eq BARXYZ ? "ok 29\n" : "not ok 29\n";
 126
 127 # Test bless operator.
 128
 129 package MYHASH;
 130
 131 $object = bless $main'anonhash2;
 132 print ref $object       eq MYHASH  ? "ok 30\n" : "not ok 30\n";
 133 print $object->{ABC}    eq XYZ     ? "ok 31\n" : "not ok 31\n";
 134
 135 $object2 = bless {};
 136 print ref $object2      eq MYHASH  ? "ok 32\n" : "not ok 32\n";
 137
 138 # Test ordinary call on object method.
 139
 140 &mymethod($object,33);
 141
 142 sub mymethod {
 143     local($THIS, @ARGS) = @_;
 144     die 'Got a "' . ref($THIS). '" instead of a MYHASH'
 145         unless ref $THIS eq MYHASH;
 146     print $THIS->{FOO} eq BAR  ? "ok $ARGS[0]\n" : "not ok $ARGS[0]\n";
 147 }
 148
 149 # Test automatic destructor call.
 150
 151 $string = "not ok 34\n";
 152 $object = "foo";
 153 $string = "ok 34\n";
 154 $main'anonhash2 = "foo";
 155 $string = "";
 156
 157 DESTROY {
 158     return unless $string;
 159     print $string;
 160
 161     # Test that the object has not already been "cursed".
 162     print ref shift ne HASH ? "ok 35\n" : "not ok 35\n";
 163 }
 164
 165 # Now test inheritance of methods.
 166
 167 package OBJ;
 168
 169 @ISA = (BASEOBJ);
 170
 171 $main'object = bless {FOO => foo, BAR => bar};
 172
 173 package main;
 174
 175 # Test arrow-style method invocation.
 176
 177 print $object->doit("BAR") eq bar ? "ok 36\n" : "not ok 36\n";
 178
 179 # Test indirect-object-style method invocation.
 180
 181 $foo = doit $object "FOO";
 182 print $foo eq foo ? "ok 37\n" : "not ok 37\n";
 183
 184 sub BASEOBJ'doit {
 185     local $ref = shift;
 186     die "Not an OBJ" unless ref $ref eq OBJ;
 187     $ref->{shift()};
 188 }
 189
 190 package UNIVERSAL;
 191 @ISA = 'LASTCHANCE';
 192
 193 package LASTCHANCE;
 194 sub foo { print $_[1] }
 195
 196 package WHATEVER;
 197 foo WHATEVER "ok 38\n";
 198
 199 #
 200 # test the \(@foo) construct
 201 #
 202 package main;
 203 @foo = \(1..3);
 204 @bar = \(@foo);
 205 @baz = \(1,@foo,@bar);
 206 print @bar == 3 ? "ok 39\n" : "not ok 39\n";
 207 print grep(ref($_), @bar) == 3 ? "ok 40\n" : "not ok 40\n";
 208 print @baz == 3 ? "ok 41\n" : "not ok 41\n";
 209
 210 my(@fuu) = \(1..2,3);
 211 my(@baa) = \(@fuu);
 212 my(@bzz) = \(1,@fuu,@baa);
 213 print @baa == 3 ? "ok 42\n" : "not ok 42\n";
 214 print grep(ref($_), @baa) == 3 ? "ok 43\n" : "not ok 43\n";
 215 print @bzz == 3 ? "ok 44\n" : "not ok 44\n";
 216
 217 # also, it can't be an lvalue
 218 eval '\\($x, $y) = (1, 2);';
 219 print $@ =~ /Can\'t modify.*ref.*in.*assignment/ ? "ok 45\n" : "not ok 45\n";
 220
 221 # test for proper destruction of lexical objects
 222
 223 sub larry::DESTROY { print "# larry\nok 46\n"; }
 224 sub curly::DESTROY { print "# curly\nok 47\n"; }
 225 sub moe::DESTROY   { print "# moe\nok 48\n"; }
 226
 227 {
 228     my ($joe, @curly, %larry);
 229     my $moe = bless \$joe, 'moe';
 230     my $curly = bless \@curly, 'curly';
 231     my $larry = bless \%larry, 'larry';
 232     print "# leaving block\n";
 233 }
 234
 235 print "# left block\n";
 236
 237 # another glob test
 238
 239 $foo = "not ok 49";
 240 { local(*bar) = "foo" }
 241 $bar = "ok 49";
 242 local(*bar) = *bar;
 243 print "$bar\n";
 244
 245 $var = "ok 50";
 246 $_   = \$var;
 247 print $$_,"\n";
 248
 249 # test if reblessing during destruction results in more destruction
 250
 251 {
 252     package A;
 253     sub new { bless {}, shift }
 254     DESTROY { print "# destroying 'A'\nok 52\n" }
 255     package _B;
 256     sub new { bless {}, shift }
 257     DESTROY { print "# destroying '_B'\nok 51\n"; bless shift, 'A' }
 258     package main;
 259     my $b = _B->new;
 260 }
 261
 262 # test if $_[0] is properly protected in DESTROY()
 263
 264 {
 265     my $i = 0;
 266     local $SIG{'__DIE__'} = sub {
 267         my $m = shift;
 268         if ($i++ > 4) {
 269             print "# infinite recursion, bailing\nnot ok 53\n";
 270             exit 1;
 271         }
 272         print "# $m";
 273         if ($m =~ /^Modification of a read-only/) { print "ok 53\n" }
 274     };
 275     package C;
 276     sub new { bless {}, shift }
 277     DESTROY { $_[0] = 'foo' }
 278     {
 279         print "# should generate an error...\n";
 280         my $c = C->new;
 281     }
 282     print "# good, didn't recurse\n";
 283 }
 284
 285 # test if refgen behaves with autoviv magic
 286
 287 {
 288     my @a;
 289     $a[1] = "ok 54\n";
 290     print ${\$_} for @a;
 291 }
 292
 293 # This test is the reason for postponed destruction in sv_unref
 294 $a = [1,2,3];
 295 $a = $a->[1];
 296 print "not " unless $a == 2;
 297 print "ok 55\n";
 298
 299 # This test used to coredump. The BEGIN block is important as it causes the
 300 # op that created the constant reference to be freed. Hence the only
 301 # reference to the constant string "pass" is in $a. The hack that made
 302 # sure $a = $a->[1] would work didn't work with references to constants.
 303
 304 my $test = 56;
 305
 306 foreach my $lexical ('', 'my $a; ') {
 307   my $expect = "pass\n";
 308   my $result = runperl (switches => ['-wl'], stderr => 1,
 309     prog => $lexical . 'BEGIN {$a = \q{pass}}; $a = $$a; print $a');
 310
 311   if ($? == 0 and $result eq $expect) {
 312     print "ok $test\n";
 313   } else {
 314     print "not ok $test # \$? = $?\n";
 315     print "# expected ", _qq ($expect), ", got ", _qq ($result), "\n";
 316   }
 317   $test++;
 318 }
 319
 320 sub x::DESTROY {print "ok ", $test + shift->[0], "\n"}
 321 { my $a1 = bless [3],"x";
 322   my $a2 = bless [2],"x";
 323   { my $a3 = bless [1],"x";
 324     my $a4 = bless [0],"x";
 325     567;
 326   }
 327 }
 328 $test+=4;
 329
 330 my $result = runperl (switches=>['-l'],
 331                       prog=> 'print 1; print qq-*$\*-;print 1;');
 332 my $expect = "1\n*\n*\n1\n";
 333 if ($result eq $expect) {
 334   print "ok $test\n";
 335 } else {
 336   print "not ok $test\n";
 337   foreach ($expect, $result) {
 338     s/\n/\\n/gs;
 339   }
 340   print "# expected \"$expect\", got \"$result\"\n";
 341 }
 342
 343 # bug #21347
 344
 345 runperl(prog => 'sub UNIVERSAL::AUTOLOAD { qr// } a->p' );
 346 if ($? != 0) { print "not " };
 347 print "ok ",++$test," - UNIVERSAL::AUTOLOAD called when freeing qr//\n";
 348
 349 runperl(prog => 'sub UNIVERSAL::DESTROY { warn } bless \$a, A', stderr => 1);
 350 if ($? != 0) { print "not " };
 351 print "ok ",++$test," - warn called inside UNIVERSAL::DESTROY\n";
 352
 353
 354 # bug #22719
 355
 356 runperl(prog => 'sub f { my $x = shift; *z = $x; } f({}); f();');
 357 if ($? != 0) { print "not " };
 358 print "ok ",++$test," - coredump on typeglob = (SvRV && !SvROK)\n";
 359
 360
 361 # test global destruction
 362
 363 ++$test;
 364 my $test1 = $test + 1;
 365 my $test2 = $test + 2;
 366
 367 package FINALE;
 368
 369 {
 370     $ref3 = bless ["ok $test2\n"];      # package destruction
 371     my $ref2 = bless ["ok $test1\n"];   # lexical destruction
 372     local $ref1 = bless ["ok $test\n"]; # dynamic destruction
 373     1;                                  # flush any temp values on stack
 374 }
 375
 376 DESTROY {
 377     print $_[0][0];
 378 }