This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
4edbed309c67a981121d88ec9f4e2421ebf31abd
[perl5.git] / t / op / universal.t
1 #!./perl
2 #
3 # check UNIVERSAL
4 #
5
6 BEGIN {
7     chdir 't' if -d 't';
8     @INC = '../lib';
9     $| = 1;
10     require "./test.pl";
11 }
12
13 plan tests => 142;
14
15 $a = {};
16 bless $a, "Bob";
17 ok $a->isa("Bob");
18
19 package Human;
20 sub eat {}
21
22 package Female;
23 @ISA=qw(Human);
24
25 package Alice;
26 @ISA=qw(Bob Female);
27 sub sing;
28 sub drink { return "drinking " . $_[1]  }
29 sub new { bless {} }
30
31 $Alice::VERSION = 2.718;
32
33 {
34     package Cedric;
35     our @ISA;
36     use base qw(Human);
37 }
38
39 {
40     package Programmer;
41     our $VERSION = 1.667;
42
43     sub write_perl { 1 }
44 }
45
46 package main;
47
48
49
50 $a = new Alice;
51
52 ok $a->isa("Alice");
53 ok $a->isa("main::Alice");    # check that alternate class names work
54
55 ok(("main::Alice"->new)->isa("Alice"));
56
57 ok $a->isa("Bob");
58 ok $a->isa("main::Bob");
59
60 ok $a->isa("Female");
61
62 ok ! $a->isa("Female\0NOT REALLY!"), "->isa is nul-clean.";
63
64 ok $a->isa("Human");
65
66 ok ! $a->isa("Male");
67
68 ok ! $a->isa('Programmer');
69
70 ok $a->isa("HASH");
71
72 ok $a->can("eat");
73 ok ! $a->can("eat\0Except not!"), "->can is nul-clean.";
74 ok ! $a->can("sleep");
75 ok my $ref = $a->can("drink");        # returns a coderef
76 is $a->$ref("tea"), "drinking tea"; # ... which works
77 ok $ref = $a->can("sing");
78 eval { $a->$ref() };
79 ok $@;                                # ... but not if no actual subroutine
80
81 ok (!Cedric->isa('Programmer'));
82
83 ok (Cedric->isa('Human'));
84
85 push(@Cedric::ISA,'Programmer');
86
87 ok (Cedric->isa('Programmer'));
88
89 {
90     package Alice;
91     base::->import('Programmer');
92 }
93
94 ok $a->isa('Programmer');
95 ok $a->isa("Female");
96
97 @Cedric::ISA = qw(Bob);
98
99 ok (!Cedric->isa('Programmer'));
100
101 my $b = 'abc';
102 my @refs = qw(SCALAR SCALAR     LVALUE      GLOB ARRAY HASH CODE);
103 my @vals = (  \$b,   \3.14, \substr($b,1,1), \*b,  [],  {}, sub {} );
104 for ($p=0; $p < @refs; $p++) {
105     for ($q=0; $q < @vals; $q++) {
106         is UNIVERSAL::isa($vals[$p], $refs[$q]), ($p==$q or $p+$q==1);
107     };
108 };
109
110 ok UNIVERSAL::can(23, "can");
111 ++${"23::foo"};
112 ok UNIVERSAL::can("23", "can"), '"23" can can when the pack exists';
113 ok UNIVERSAL::can(23, "can"), '23 can can when the pack exists';
114 {
115     local $::TODO = '[perl #113932]';
116     ok UNIVERSAL::can(*STDOUT, 'print'), 'globs with IOs can can';
117     ok UNIVERSAL::can(\*STDOUT, 'print'), 'globrefs with IOs can can';
118     sub IO::Handle::turn {}
119     # Should this pass?  Or is the existing behaviour correct?
120     ok UNIVERSAL::can("STDOUT", 'turn'), 'IO barewords can';
121 }
122
123 ok $a->can("VERSION");
124
125 ok $a->can("can");
126 ok ! $a->can("export_tags");    # a method in Exporter
127
128 cmp_ok eval { $a->VERSION }, '==', 2.718;
129
130 ok ! (eval { $a->VERSION(2.719) });
131 like $@, qr/^Alice version 2.719 required--this is only version 2.718 at /;
132
133 ok (eval { $a->VERSION(2.718) });
134 is $@, '';
135
136 ok ! (eval { $a->VERSION("version") });
137 like $@, qr/^Invalid version format/;
138
139 $aversion::VERSION = "version";
140 ok ! (eval { aversion->VERSION(2.719) });
141 like $@, qr/^Invalid version format/;
142
143 my $subs = join ' ', sort grep { defined &{"UNIVERSAL::$_"} } keys %UNIVERSAL::;
144 ## The test for import here is *not* because we want to ensure that UNIVERSAL
145 ## can always import; it is an historical accident that UNIVERSAL can import.
146 if ('a' lt 'A') {
147     is $subs, "can import isa DOES VERSION";
148 } else {
149     is $subs, "DOES VERSION can import isa";
150 }
151
152 ok $a->isa("UNIVERSAL");
153
154 ok ! UNIVERSAL::isa([], "UNIVERSAL");
155
156 ok ! UNIVERSAL::can({}, "can");
157
158 ok UNIVERSAL::isa(Alice => "UNIVERSAL");
159
160 cmp_ok UNIVERSAL::can(Alice => "can"), '==', \&UNIVERSAL::can;
161
162 # now use UNIVERSAL.pm and see what changes
163 eval "use UNIVERSAL";
164
165 ok $a->isa("UNIVERSAL");
166
167 my $sub2 = join ' ', sort grep { defined &{"UNIVERSAL::$_"} } keys %UNIVERSAL::;
168 # XXX import being here is really a bug
169 if ('a' lt 'A') {
170     is $sub2, "can import isa DOES VERSION";
171 } else {
172     is $sub2, "DOES VERSION can import isa";
173 }
174
175 eval 'sub UNIVERSAL::sleep {}';
176 ok $a->can("sleep");
177
178 ok UNIVERSAL::can($b, "can");
179
180 ok ! $a->can("export_tags");    # a method in Exporter
181
182 ok ! UNIVERSAL::isa("\xff\xff\xff\0", 'HASH');
183
184 {
185     package Pickup;
186     no warnings "deprecated";
187     use UNIVERSAL qw( isa can VERSION );
188
189     ::ok isa "Pickup", UNIVERSAL;
190     ::cmp_ok can( "Pickup", "can" ), '==', \&UNIVERSAL::can;
191     ::ok VERSION "UNIVERSAL" ;
192 }
193
194 {
195     # test isa() and can() on magic variables
196     "Human" =~ /(.*)/;
197     ok $1->isa("Human");
198     ok $1->can("eat");
199     package HumanTie;
200     sub TIESCALAR { bless {} }
201     sub FETCH { "Human" }
202     tie my($x), "HumanTie";
203     ::ok $x->isa("Human");
204     ::ok $x->can("eat");
205 }
206
207 # bugid 3284
208 # a second call to isa('UNIVERSAL') when @ISA is null failed due to caching
209
210 @X::ISA=();
211 my $x = {}; bless $x, 'X';
212 ok $x->isa('UNIVERSAL');
213 ok $x->isa('UNIVERSAL');
214
215
216 # Check that the "historical accident" of UNIVERSAL having an import()
217 # method doesn't effect anyone else.
218 eval { Some::Package->import("bar") };
219 is $@, '';
220
221
222 # This segfaulted in a blead.
223 fresh_perl_is('package Foo; Foo->VERSION;  print "ok"', 'ok');
224
225 # So did this.
226 fresh_perl_is('$:; UNIVERSAL::isa(":","Unicode::String");print "ok"','ok');
227
228 package Foo;
229
230 sub DOES { 1 }
231
232 package Bar;
233
234 @Bar::ISA = 'Foo';
235
236 package Baz;
237
238 package main;
239 ok( Foo->DOES( 'bar' ), 'DOES() should call DOES() on class' );
240 ok( Bar->DOES( 'Bar' ), '... and should fall back to isa()' );
241 ok( Bar->DOES( 'Foo' ), '... even when inherited' );
242 ok( Baz->DOES( 'Baz' ), '... even without inheriting any other DOES()' );
243 ok( ! Baz->DOES( 'Foo' ), '... returning true or false appropriately' );
244
245 ok( ! "T"->DOES( "T\0" ), 'DOES() is nul-clean' );
246 ok( ! Baz->DOES( "Baz\0Boy howdy" ), 'DOES() is nul-clean' );
247
248 package Pig;
249 package Bodine;
250 Bodine->isa('Pig');
251 *isa = \&UNIVERSAL::isa;
252 eval { isa({}, 'HASH') };
253 ::is($@, '', "*isa correctly found");
254
255 package main;
256 eval { UNIVERSAL::DOES([], "foo") };
257 like( $@, qr/Can't call method "DOES" on unblessed reference/,
258     'DOES call error message says DOES, not isa' );
259
260 # Tests for can seem to be split between here and method.t
261 # Add the verbatim perl code mentioned in the comments of
262 # http://www.xray.mpe.mpg.de/mailing-lists/perl5-porters/2001-05/msg01710.html
263 # but never actually tested.
264 is(UNIVERSAL->can("NoSuchPackage::foo"), undef);
265
266 @splatt::ISA = 'zlopp';
267 ok (splatt->isa('zlopp'));
268 ok (!splatt->isa('plop'));
269
270 # This should reset the ->isa lookup cache
271 @splatt::ISA = 'plop';
272 # And here is the new truth.
273 ok (!splatt->isa('zlopp'));
274 ok (splatt->isa('plop'));
275
276 use warnings "deprecated";
277 {
278     my $m;
279     local $SIG{__WARN__} = sub { $m = $_[0] };
280     eval "use UNIVERSAL 'can'";
281     like($m, qr/^UNIVERSAL->import is deprecated/,
282         "deprecation warning for UNIVERSAL->import('can')");
283
284           undef $m;
285     eval "use UNIVERSAL";
286     is($m, undef,
287         "no deprecation warning for UNIVERSAL->import");
288 }
289
290 # Test: [perl #66112]: change @ISA inside  sub isa
291 {
292     package RT66112::A;
293
294     package RT66112::B;
295
296     sub isa {
297         my $self = shift;
298         @ISA = qw/RT66112::A/;
299         return $self->SUPER::isa(@_);
300     }
301
302     package RT66112::C;
303
304     package RT66112::D;
305
306     sub isa {
307         my $self = shift;
308         @RT66112::E::ISA = qw/RT66112::A/;
309         return $self->SUPER::isa(@_);
310     }
311
312     package RT66112::E;
313
314     package main;
315
316     @RT66112::B::ISA = qw//;
317     @RT66112::C::ISA = qw/RT66112::B/;
318     @RT66112::T1::ISA = qw/RT66112::C/;
319     ok(RT66112::T1->isa('RT66112::C'), "modify \@ISA in isa (RT66112::T1 isa RT66112::C)");
320
321     @RT66112::B::ISA = qw//;
322     @RT66112::C::ISA = qw/RT66112::B/;
323     @RT66112::T2::ISA = qw/RT66112::C/;
324     ok(RT66112::T2->isa('RT66112::B'), "modify \@ISA in isa (RT66112::T2 isa RT66112::B)");
325
326     @RT66112::B::ISA = qw//;
327     @RT66112::C::ISA = qw/RT66112::B/;
328     @RT66112::T3::ISA = qw/RT66112::C/;
329     ok(RT66112::T3->isa('RT66112::A'), "modify \@ISA in isa (RT66112::T3 isa RT66112::A)") or require mro, diag "@{mro::get_linear_isa('RT66112::T3')}";
330
331     @RT66112::E::ISA = qw/RT66112::D/;
332     @RT66112::T4::ISA = qw/RT66112::E/;
333     ok(RT66112::T4->isa('RT66112::E'), "modify \@ISA in isa (RT66112::T4 isa RT66112::E)");
334
335     @RT66112::E::ISA = qw/RT66112::D/;
336     @RT66112::T5::ISA = qw/RT66112::E/;
337     ok(! RT66112::T5->isa('RT66112::D'), "modify \@ISA in isa (RT66112::T5 not isa RT66112::D)");
338
339     @RT66112::E::ISA = qw/RT66112::D/;
340     @RT66112::T6::ISA = qw/RT66112::E/;
341     ok(RT66112::T6->isa('RT66112::A'), "modify \@ISA in isa (RT66112::T6 isa RT66112::A)");
342 }
343
344 ok(Undeclared->can("can"));
345 sub Undeclared::foo { }
346 ok(Undeclared->can("foo"));
347 ok(!Undeclared->can("something_else"));
348
349 ok(Undeclared->isa("UNIVERSAL"));