This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
method.t: Add basic tests for SUPER
[perl5.git] / t / op / method.t
CommitLineData
9bfdb36e 1#!./perl -w
92d69e20
IZ
2
3#
4# test method calls and autoloading.
5#
6
4755096e
GS
7BEGIN {
8 chdir 't' if -d 't';
6dc4e5ce
JH
9 @INC = qw(. ../lib);
10 require "test.pl";
4755096e
GS
11}
12
9bfdb36e
NC
13use strict;
14no warnings 'once';
15
697efb9b 16plan(tests => 107);
92d69e20
IZ
17
18@A::ISA = 'B';
19@B::ISA = 'C';
20
21sub C::d {"C::d"}
22sub D::d {"D::d"}
23
567ce7b1 24# First, some basic checks of method-calling syntax:
9bfdb36e 25my $obj = bless [], "Pack";
567ce7b1 26sub Pack::method { shift; join(",", "method", @_) }
9bfdb36e 27my $mname = "method";
567ce7b1 28
6dc4e5ce
JH
29is(Pack->method("a","b","c"), "method,a,b,c");
30is(Pack->$mname("a","b","c"), "method,a,b,c");
31is(method Pack ("a","b","c"), "method,a,b,c");
32is((method Pack "a","b","c"), "method,a,b,c");
567ce7b1 33
6dc4e5ce
JH
34is(Pack->method(), "method");
35is(Pack->$mname(), "method");
36is(method Pack (), "method");
37is(Pack->method, "method");
38is(Pack->$mname, "method");
39is(method Pack, "method");
567ce7b1 40
6dc4e5ce
JH
41is($obj->method("a","b","c"), "method,a,b,c");
42is($obj->$mname("a","b","c"), "method,a,b,c");
43is((method $obj ("a","b","c")), "method,a,b,c");
44is((method $obj "a","b","c"), "method,a,b,c");
145eb477 45
6dc4e5ce
JH
46is($obj->method(0), "method,0");
47is($obj->method(1), "method,1");
567ce7b1 48
6dc4e5ce
JH
49is($obj->method(), "method");
50is($obj->$mname(), "method");
51is((method $obj ()), "method");
52is($obj->method, "method");
53is($obj->$mname, "method");
54is(method $obj, "method");
567ce7b1 55
6dc4e5ce 56is( A->d, "C::d"); # Update hash table;
92d69e20
IZ
57
58*B::d = \&D::d; # Import now.
6dc4e5ce 59is(A->d, "D::d"); # Update hash table;
92d69e20 60
44a8e56a 61{
fb73857a 62 local @A::ISA = qw(C); # Update hash table with split() assignment
6dc4e5ce 63 is(A->d, "C::d");
fb73857a 64 $#A::ISA = -1;
6dc4e5ce 65 is(eval { A->d } || "fail", "fail");
fb73857a 66}
6dc4e5ce 67is(A->d, "D::d");
fb73857a
PP
68
69{
44a8e56a
PP
70 local *B::d;
71 eval 'sub B::d {"B::d1"}'; # Import now.
6dc4e5ce 72 is(A->d, "B::d1"); # Update hash table;
44a8e56a 73 undef &B::d;
6dc4e5ce 74 is((eval { A->d }, ($@ =~ /Undefined subroutine/)), 1);
44a8e56a 75}
92d69e20 76
6dc4e5ce 77is(A->d, "D::d"); # Back to previous state
92d69e20 78
9bfdb36e 79eval 'no warnings "redefine"; sub B::d {"B::d2"}'; # Import now.
6dc4e5ce 80is(A->d, "B::d2"); # Update hash table;
92d69e20
IZ
81
82# What follows is hardly guarantied to work, since the names in scripts
94e1fbae
JK
83# are already linked to "pruned" globs. Say, 'undef &B::d' if it were
84# after 'delete $B::{d}; sub B::d {}' would reach an old subroutine.
92d69e20
IZ
85
86undef &B::d;
87delete $B::{d};
5743f2a3
FC
88is(A->d, "C::d");
89
90eval 'sub B::d {"B::d2.5"}';
91A->d; # Update hash table;
92my $glob = \delete $B::{d}; # non-void context; hang on to the glob
6dc4e5ce 93is(A->d, "C::d"); # Update hash table;
92d69e20
IZ
94
95eval 'sub B::d {"B::d3"}'; # Import now.
6dc4e5ce 96is(A->d, "B::d3"); # Update hash table;
92d69e20
IZ
97
98delete $B::{d};
99*dummy::dummy = sub {}; # Mark as updated
6dc4e5ce 100is(A->d, "C::d");
92d69e20
IZ
101
102eval 'sub B::d {"B::d4"}'; # Import now.
6dc4e5ce 103is(A->d, "B::d4"); # Update hash table;
92d69e20
IZ
104
105delete $B::{d}; # Should work without any help too
6dc4e5ce 106is(A->d, "C::d");
92d69e20 107
fae75791
CS
108{
109 local *C::d;
6dc4e5ce 110 is(eval { A->d } || "nope", "nope");
fae75791 111}
6dc4e5ce 112is(A->d, "C::d");
fae75791 113
9bfdb36e 114*A::x = *A::d;
44a8e56a 115A->d;
9bfdb36e
NC
116is(eval { A->x } || "nope", "nope", 'cache should not follow synonyms');
117
118my $counter;
44a8e56a 119
92d69e20
IZ
120eval <<'EOF';
121sub C::e;
09280a33 122BEGIN { *B::e = \&C::e } # Shouldn't prevent AUTOLOAD in original pkg
92d69e20
IZ
123sub Y::f;
124$counter = 0;
125
54310121 126@X::ISA = 'Y';
dc848c6f 127@Y::ISA = 'B';
92d69e20
IZ
128
129sub B::AUTOLOAD {
130 my $c = ++$counter;
131 my $method = $B::AUTOLOAD;
09280a33
CS
132 my $msg = "B: In $method, $c";
133 eval "sub $method { \$msg }";
134 goto &$method;
92d69e20
IZ
135}
136sub C::AUTOLOAD {
137 my $c = ++$counter;
138 my $method = $C::AUTOLOAD;
09280a33
CS
139 my $msg = "C: In $method, $c";
140 eval "sub $method { \$msg }";
141 goto &$method;
92d69e20
IZ
142}
143EOF
144
6dc4e5ce
JH
145is(A->e(), "C: In C::e, 1"); # We get a correct autoload
146is(A->e(), "C: In C::e, 1"); # Which sticks
92d69e20 147
6dc4e5ce
JH
148is(A->ee(), "B: In A::ee, 2"); # We get a generic autoload, method in top
149is(A->ee(), "B: In A::ee, 2"); # Which sticks
92d69e20 150
6dc4e5ce
JH
151is(Y->f(), "B: In Y::f, 3"); # We vivify a correct method
152is(Y->f(), "B: In Y::f, 3"); # Which sticks
92d69e20
IZ
153
154# This test is not intended to be reasonable. It is here just to let you
155# know that you broke some old construction. Feel free to rewrite the test
156# if your patch breaks it.
157
9bfdb36e
NC
158{
159no warnings 'redefine';
92d69e20 160*B::AUTOLOAD = sub {
9bfdb36e 161 use warnings;
92d69e20 162 my $c = ++$counter;
9bfdb36e
NC
163 my $method = $::AUTOLOAD;
164 no strict 'refs';
165 *$::AUTOLOAD = sub { "new B: In $method, $c" };
166 goto &$::AUTOLOAD;
92d69e20 167};
9bfdb36e 168}
92d69e20 169
6dc4e5ce
JH
170is(A->eee(), "new B: In A::eee, 4"); # We get a correct $autoload
171is(A->eee(), "new B: In A::eee, 4"); # Which sticks
fb73857a 172
9bfdb36e
NC
173{
174 no strict 'refs';
33f89799 175 no warnings 'deprecated';
9bfdb36e 176 # this test added due to bug discovery (in 5.004_04, fb73857aa0bfa8ed)
33f89799
NC
177 # Possibly kill this test now that defined @::array is finally properly
178 # deprecated?
9bfdb36e
NC
179 is(defined(@{"unknown_package::ISA"}) ? "defined" : "undefined", "undefined");
180}
f6ec51f7
GS
181
182# test that failed subroutine calls don't affect method calls
183{
184 package A1;
185 sub foo { "foo" }
186 package A2;
9bfdb36e 187 @A2::ISA = 'A1';
f6ec51f7 188 package main;
6dc4e5ce
JH
189 is(A2->foo(), "foo");
190 is(do { eval 'A2::foo()'; $@ ? 1 : 0}, 1);
191 is(A2->foo(), "foo");
f6ec51f7 192}
c1899e02 193
af09ea45
IK
194## This test was totally misguided. It passed before only because the
195## code to determine if a package was loaded used to look for the hash
196## %Foo::Bar instead of the package Foo::Bar:: -- and Config.pm just
197## happens to export %Config.
198# {
6dc4e5ce 199# is(do { use Config; eval 'Config->foo()';
af09ea45 200# $@ =~ /^\QCan't locate object method "foo" via package "Config" at/ ? 1 : $@}, 1);
6dc4e5ce 201# is(do { use Config; eval '$d = bless {}, "Config"; $d->foo()';
af09ea45
IK
202# $@ =~ /^\QCan't locate object method "foo" via package "Config" at/ ? 1 : $@}, 1);
203# }
204
af09ea45 205# test error messages if method loading fails
9bfdb36e
NC
206my $e;
207
2f907243
NC
208eval '$e = bless {}, "E::A"; E::A->foo()';
209like ($@, qr/^\QCan't locate object method "foo" via package "E::A" at/);
210eval '$e = bless {}, "E::B"; $e->foo()';
211like ($@, qr/^\QCan't locate object method "foo" via package "E::B" at/);
212eval 'E::C->foo()';
213like ($@, qr/^\QCan't locate object method "foo" via package "E::C" (perhaps /);
214
215eval 'UNIVERSAL->E::D::foo()';
216like ($@, qr/^\QCan't locate object method "foo" via package "E::D" (perhaps /);
9bfdb36e 217eval 'my $e = bless {}, "UNIVERSAL"; $e->E::E::foo()';
2f907243 218like ($@, qr/^\QCan't locate object method "foo" via package "E::E" (perhaps /);
af09ea45
IK
219
220$e = bless {}, "E::F"; # force package to exist
2f907243
NC
221eval 'UNIVERSAL->E::F::foo()';
222like ($@, qr/^\QCan't locate object method "foo" via package "E::F" at/);
223eval '$e = bless {}, "UNIVERSAL"; $e->E::F::foo()';
224like ($@, qr/^\QCan't locate object method "foo" via package "E::F" at/);
af09ea45 225
697efb9b
FC
226# SUPER:: pseudoclass
227@Saab::ISA = "Souper";
228sub Souper::method { @_ }
229@OtherSaab::ISA = "OtherSouper";
230sub OtherSouper::method { "Isidore Ropen, Draft Manager" }
231{
232 my $o = bless [], "Saab";
233 package Saab;
234 my @ret = $o->SUPER::method('whatever');
235 ::is $ret[0], $o, 'object passed to SUPER::method';
236 ::is $ret[1], 'whatever', 'argument passed to SUPER::method';
237 @ret = $o->SUPER'method('whatever');
238 ::is $ret[0], $o, "object passed to SUPER'method";
239 ::is $ret[1], 'whatever', "argument passed to SUPER'method";
240 @ret = Saab->SUPER::method;
241 ::is $ret[0], 'Saab', "package name passed to SUPER::method";
242 @ret = OtherSaab->SUPER::method;
243 ::is $ret[0], 'OtherSaab',
244 "->SUPER::method uses current package, not invocant";
245}
af09ea45
IK
246
247# failed method call or UNIVERSAL::can() should not autovivify packages
6dc4e5ce
JH
248is( $::{"Foo::"} || "none", "none"); # sanity check 1
249is( $::{"Foo::"} || "none", "none"); # sanity check 2
c1899e02 250
6dc4e5ce
JH
251is( UNIVERSAL::can("Foo", "boogie") ? "yes":"no", "no" );
252is( $::{"Foo::"} || "none", "none"); # still missing?
af09ea45 253
6dc4e5ce
JH
254is( Foo->UNIVERSAL::can("boogie") ? "yes":"no", "no" );
255is( $::{"Foo::"} || "none", "none"); # still missing?
af09ea45 256
6dc4e5ce
JH
257is( Foo->can("boogie") ? "yes":"no", "no" );
258is( $::{"Foo::"} || "none", "none"); # still missing?
af09ea45 259
6dc4e5ce
JH
260is( eval 'Foo->boogie(); 1' ? "yes":"no", "no" );
261is( $::{"Foo::"} || "none", "none"); # still missing?
af09ea45 262
6dc4e5ce 263is(do { eval 'Foo->boogie()';
af09ea45
IK
264 $@ =~ /^\QCan't locate object method "boogie" via package "Foo" (perhaps / ? 1 : $@}, 1);
265
266eval 'sub Foo::boogie { "yes, sir!" }';
6dc4e5ce
JH
267is( $::{"Foo::"} ? "ok" : "none", "ok"); # should exist now
268is( Foo->boogie(), "yes, sir!");
af09ea45
IK
269
270# TODO: universal.t should test NoSuchPackage->isa()/can()
c1899e02 271
f0670693
SC
272# This is actually testing parsing of indirect objects and undefined subs
273# print foo("bar") where foo does not exist is not an indirect object.
274# print foo "bar" where foo does not exist is an indirect object.
84251760 275eval 'sub AUTOLOAD { "ok ", shift, "\n"; }';
6dc4e5ce 276ok(1);
af09ea45 277
a397c3d9 278# Bug ID 20010902.002
6dc4e5ce 279is(
a397c3d9 280 eval q[
9bfdb36e 281 my $x = 'x'; # Lexical or package variable, 5.6.1 panics.
a397c3d9
RGS
282 sub Foo::x : lvalue { $x }
283 Foo->$x = 'ok';
284 ] || $@, 'ok'
285);
286
3ad83ce7
AMS
287# An autoloaded, inherited DESTROY may be invoked differently than normal
288# methods, and has been known to give rise to spurious warnings
289# eg <200203121600.QAA11064@gizmo.fdgroup.co.uk>
290
291{
292 use warnings;
293 my $w = '';
294 local $SIG{__WARN__} = sub { $w = $_[0] };
295
296 sub AutoDest::Base::AUTOLOAD {}
297 @AutoDest::ISA = qw(AutoDest::Base);
298 { my $x = bless {}, 'AutoDest'; }
299 $w =~ s/\n//g;
6dc4e5ce 300 is($w, '');
3ad83ce7
AMS
301}
302
e189a56d
IK
303# [ID 20020305.025] PACKAGE::SUPER doesn't work anymore
304
305package main;
306our @X;
307package Amajor;
308sub test {
309 push @main::X, 'Amajor', @_;
310}
311package Bminor;
312use base qw(Amajor);
313package main;
314sub Bminor::test {
315 $_[0]->Bminor::SUPER::test('x', 'y');
316 push @main::X, 'Bminor', @_;
317}
318Bminor->test('y', 'z');
319is("@X", "Amajor Bminor x y Bminor Bminor y z");
320
0dae17bd
GS
321package main;
322for my $meth (['Bar', 'Foo::Bar'],
323 ['SUPER::Bar', 'main::SUPER::Bar'],
324 ['Xyz::SUPER::Bar', 'Xyz::SUPER::Bar'])
325{
326 fresh_perl_is(<<EOT,
327package UNIVERSAL; sub AUTOLOAD { my \$c = shift; print "\$c \$AUTOLOAD\\n" }
328package Xyz;
329package main; Foo->$meth->[0]();
330EOT
331 "Foo $meth->[1]",
332 { switches => [ '-w' ] },
333 "check if UNIVERSAL::AUTOLOAD works",
334 );
335}
1f15e670
NT
336
337# Test for #71952: crash when looking for a nonexistent destructor
338# Regression introduced by fbb3ee5af3d4
339{
340 fresh_perl_is(<<'EOT',
341sub M::DESTROY; bless {}, "M" ; print "survived\n";
342EOT
343 "survived",
344 {},
345 "no crash with a declared but missing DESTROY method"
346 );
347}
348
da6b625f
FC
349# Test for calling a method on a packag name return by a magic variable
350sub TIESCALAR{bless[]}
351sub FETCH{"main"}
352my $kalled;
353sub bolgy { ++$kalled; }
354tie my $a, "";
355$a->bolgy;
356is $kalled, 1, 'calling a class method via a magic variable';
f937af42
BF
357
358{
359 package NulTest;
360 sub method { 1 }
361
362 package main;
363 eval {
364 NulTest->${ \"method\0Whoops" };
365 };
366 like $@, qr/Can't locate object method "method\0Whoops" via package "NulTest" at/,
367 "method lookup is nul-clean";
368
369 *NulTest::AUTOLOAD = sub { our $AUTOLOAD; return $AUTOLOAD };
370
371 like(NulTest->${ \"nul\0test" }, "nul\0test", "AUTOLOAD is nul-clean");
372}
2a0f5ef0
BF
373
374
375{
376 fresh_perl_is(
377 q! sub T::DESTROY { $x = $_[0]; } bless [], "T";!,
378 "DESTROY created new reference to dead object 'T' during global destruction.",
379 {},
380 "DESTROY creating a new reference to the object generates a warning."
381 );
382}
71481574
FC
383
384# [perl #43663]
385{
386 $::{"Just"} = \1;
387 sub Just::a_japh { return "$_[0] another Perl hacker," }
388 is eval { "Just"->a_japh }, "Just another Perl hacker,",
389 'constants do not interfere with class methods';
390}
0865059d
FC
391
392# [perl #109264]
393{
394 no strict 'vars';
395 sub bliggles { 1 }
396 sub lbiggles :lvalue { index "foo", "f" }
397 ok eval { main->bliggles(my($foo,$bar)) },
398 'foo->bar(my($foo,$bar)) is not called in lvalue context';
399 ok eval { main->bliggles(our($foo,$bar)) },
400 'foo->bar(our($foo,$bar)) is not called in lvalue context';
401 ok eval { main->bliggles(local($foo,$bar)) },
402 'foo->bar(local($foo,$bar)) is not called in lvalue context';
403 ok eval { () = main->lbiggles(my($foo,$bar)); 1 },
404 'foo->lv(my($foo,$bar)) is not called in lvalue context';
405 ok eval { () = main->lbiggles(our($foo,$bar)); 1 },
406 'foo->lv(our($foo,$bar)) is not called in lvalue context';
407 ok eval { () = main->lbiggles(local($foo,$bar)); 1 },
408 'foo->lv(local($foo,$bar)) is not called in lvalue context';
409}
544b72e2
BF
410
411{
412 # AUTOLOAD and DESTROY can be declared without a leading sub,
413 # like BEGIN and friends.
414 package NoSub;
415
416 eval 'AUTOLOAD { our $AUTOLOAD; return $AUTOLOAD }';
417 ::ok( !$@, "AUTOLOAD without a leading sub is legal" );
418
419 eval "DESTROY { ::pass( q!DESTROY without a leading sub is legal and gets called! ) }";
420 {
421 ::ok( NoSub->can("AUTOLOAD"), "...and sets up an AUTOLOAD normally" );
422 ::is( eval { NoSub->bluh }, "NoSub::bluh", "...which works as expected" );
423 }
424 { bless {}, "NoSub"; }
425}
f226e9be
FC
426
427eval { () = 3; new {} };
428like $@,
429 qr/^Can't call method "new" without a package or object reference/,
430 'Err msg from new{} when stack contains a number';
431eval { () = "foo"; new {} };
432like $@,
433 qr/^Can't call method "new" without a package or object reference/,
434 'Err msg from new{} when stack contains a word';
435eval { () = undef; new {} };
436like $@,
437 qr/^Can't call method "new" without a package or object reference/,
438 'Err msg from new{} when stack contains undef';
bfde49d4
FC
439
440package egakacp {
441 our @ISA = 'ASI';
442 sub ASI::m { shift; "@_" };
443 my @a = (bless([]), 'arg');
444 my $r = SUPER::m{@a};
445 ::is $r, 'arg', 'method{@array}';
446 $r = SUPER::m{}@a;
447 ::is $r, 'arg', 'method{}@array';
448 $r = SUPER::m{@a}"b";
449 ::is $r, 'arg b', 'method{@array}$more_args';
450}