xref: /openbsd/gnu/usr.bin/perl/pod/perlobj.pod (revision d89ec533)
1=encoding utf8
2
3=for comment
4Consistent formatting of this file is achieved with:
5  perl ./Porting/podtidy pod/perlobj.pod
6
7=head1 NAME
8X<object> X<OOP>
9
10perlobj - Perl object reference
11
12=head1 DESCRIPTION
13
14This document provides a reference for Perl's object orientation
15features. If you're looking for an introduction to object-oriented
16programming in Perl, please see L<perlootut>.
17
18In order to understand Perl objects, you first need to understand
19references in Perl. See L<perlreftut> for details.
20
21This document describes all of Perl's object-oriented (OO) features
22from the ground up. If you're just looking to write some
23object-oriented code of your own, you are probably better served by
24using one of the object systems from CPAN described in L<perlootut>.
25
26If you're looking to write your own object system, or you need to
27maintain code which implements objects from scratch then this document
28will help you understand exactly how Perl does object orientation.
29
30There are a few basic principles which define object oriented Perl:
31
32=over 4
33
34=item 1.
35
36An object is simply a data structure that knows to which class it
37belongs.
38
39=item 2.
40
41A class is simply a package. A class provides methods that expect to
42operate on objects.
43
44=item 3.
45
46A method is simply a subroutine that expects a reference to an object
47(or a package name, for class methods) as the first argument.
48
49=back
50
51Let's look at each of these principles in depth.
52
53=head2 An Object is Simply a Data Structure
54X<object> X<bless> X<constructor> X<new>
55
56Unlike many other languages which support object orientation, Perl does
57not provide any special syntax for constructing an object. Objects are
58merely Perl data structures (hashes, arrays, scalars, filehandles,
59etc.) that have been explicitly associated with a particular class.
60
61That explicit association is created by the built-in C<bless> function,
62which is typically used within the I<constructor> subroutine of the
63class.
64
65Here is a simple constructor:
66
67  package File;
68
69  sub new {
70      my $class = shift;
71
72      return bless {}, $class;
73  }
74
75The name C<new> isn't special. We could name our constructor something
76else:
77
78  package File;
79
80  sub load {
81      my $class = shift;
82
83      return bless {}, $class;
84  }
85
86The modern convention for OO modules is to always use C<new> as the
87name for the constructor, but there is no requirement to do so. Any
88subroutine that blesses a data structure into a class is a valid
89constructor in Perl.
90
91In the previous examples, the C<{}> code creates a reference to an
92empty anonymous hash. The C<bless> function then takes that reference
93and associates the hash with the class in C<$class>. In the simplest
94case, the C<$class> variable will end up containing the string "File".
95
96We can also use a variable to store a reference to the data structure
97that is being blessed as our object:
98
99  sub new {
100      my $class = shift;
101
102      my $self = {};
103      bless $self, $class;
104
105      return $self;
106  }
107
108Once we've blessed the hash referred to by C<$self> we can start
109calling methods on it. This is useful if you want to put object
110initialization in its own separate method:
111
112  sub new {
113      my $class = shift;
114
115      my $self = {};
116      bless $self, $class;
117
118      $self->_initialize();
119
120      return $self;
121  }
122
123Since the object is also a hash, you can treat it as one, using it to
124store data associated with the object. Typically, code inside the class
125can treat the hash as an accessible data structure, while code outside
126the class should always treat the object as opaque. This is called
127B<encapsulation>. Encapsulation means that the user of an object does
128not have to know how it is implemented. The user simply calls
129documented methods on the object.
130
131Note, however, that (unlike most other OO languages) Perl does not
132ensure or enforce encapsulation in any way. If you want objects to
133actually I<be> opaque you need to arrange for that yourself. This can
134be done in a variety of ways, including using L</"Inside-Out objects">
135or modules from CPAN.
136
137=head3 Objects Are Blessed; Variables Are Not
138
139When we bless something, we are not blessing the variable which
140contains a reference to that thing, nor are we blessing the reference
141that the variable stores; we are blessing the thing that the variable
142refers to (sometimes known as the I<referent>). This is best
143demonstrated with this code:
144
145  use Scalar::Util 'blessed';
146
147  my $foo = {};
148  my $bar = $foo;
149
150  bless $foo, 'Class';
151  print blessed( $bar ) // 'not blessed';    # prints "Class"
152
153  $bar = "some other value";
154  print blessed( $bar ) // 'not blessed';    # prints "not blessed"
155
156When we call C<bless> on a variable, we are actually blessing the
157underlying data structure that the variable refers to. We are not
158blessing the reference itself, nor the variable that contains that
159reference. That's why the second call to C<blessed( $bar )> returns
160false. At that point C<$bar> is no longer storing a reference to an
161object.
162
163You will sometimes see older books or documentation mention "blessing a
164reference" or describe an object as a "blessed reference", but this is
165incorrect. It isn't the reference that is blessed as an object; it's
166the thing the reference refers to (i.e. the referent).
167
168=head2 A Class is Simply a Package
169X<class> X<package> X<@ISA> X<inheritance>
170
171Perl does not provide any special syntax for class definitions. A
172package is simply a namespace containing variables and subroutines. The
173only difference is that in a class, the subroutines may expect a
174reference to an object or the name of a class as the first argument.
175This is purely a matter of convention, so a class may contain both
176methods and subroutines which I<don't> operate on an object or class.
177
178Each package contains a special array called C<@ISA>. The C<@ISA> array
179contains a list of that class's parent classes, if any. This array is
180examined when Perl does method resolution, which we will cover later.
181
182Calling methods from a package means it must be loaded, of course, so
183you will often want to load a module and add it to C<@ISA> at the same
184time. You can do so in a single step using the L<parent> pragma.
185(In older code you may encounter the L<base> pragma, which is nowadays
186discouraged except when you have to work with the equally discouraged
187L<fields> pragma.)
188
189However the parent classes are set, the package's C<@ISA> variable will
190contain a list of those parents. This is simply a list of scalars, each
191of which is a string that corresponds to a package name.
192
193All classes inherit from the L<UNIVERSAL> class implicitly. The
194L<UNIVERSAL> class is implemented by the Perl core, and provides
195several default methods, such as C<isa()>, C<can()>, and C<VERSION()>.
196The C<UNIVERSAL> class will I<never> appear in a package's C<@ISA>
197variable.
198
199Perl I<only> provides method inheritance as a built-in feature.
200Attribute inheritance is left up the class to implement. See the
201L</Writing Accessors> section for details.
202
203=head2 A Method is Simply a Subroutine
204X<method>
205
206Perl does not provide any special syntax for defining a method. A
207method is simply a regular subroutine, and is declared with C<sub>.
208What makes a method special is that it expects to receive either an
209object or a class name as its first argument.
210
211Perl I<does> provide special syntax for method invocation, the C<< ->
212>> operator. We will cover this in more detail later.
213
214Most methods you write will expect to operate on objects:
215
216  sub save {
217      my $self = shift;
218
219      open my $fh, '>', $self->path() or die $!;
220      print {$fh} $self->data()       or die $!;
221      close $fh                       or die $!;
222  }
223
224=head2 Method Invocation
225X<invocation> X<method> X<arrow> X<< -> >>
226
227Calling a method on an object is written as C<< $object->method >>.
228
229The left hand side of the method invocation (or arrow) operator is the
230object (or class name), and the right hand side is the method name.
231
232  my $pod = File->new( 'perlobj.pod', $data );
233  $pod->save();
234
235The C<< -> >> syntax is also used when dereferencing a reference. It
236looks like the same operator, but these are two different operations.
237
238When you call a method, the thing on the left side of the arrow is
239passed as the first argument to the method. That means when we call C<<
240Critter->new() >>, the C<new()> method receives the string C<"Critter">
241as its first argument. When we call C<< $fred->speak() >>, the C<$fred>
242variable is passed as the first argument to C<speak()>.
243
244Just as with any Perl subroutine, all of the arguments passed in C<@_>
245are aliases to the original argument. This includes the object itself.
246If you assign directly to C<$_[0]> you will change the contents of the
247variable that holds the reference to the object. We recommend that you
248don't do this unless you know exactly what you're doing.
249
250Perl knows what package the method is in by looking at the left side of
251the arrow. If the left hand side is a package name, it looks for the
252method in that package. If the left hand side is an object, then Perl
253looks for the method in the package that the object has been blessed
254into.
255
256If the left hand side is neither a package name nor an object, then the
257method call will cause an error, but see the section on L</Method Call
258Variations> for more nuances.
259
260=head2 Inheritance
261X<inheritance>
262
263We already talked about the special C<@ISA> array and the L<parent>
264pragma.
265
266When a class inherits from another class, any methods defined in the
267parent class are available to the child class. If you attempt to call a
268method on an object that isn't defined in its own class, Perl will also
269look for that method in any parent classes it may have.
270
271  package File::MP3;
272  use parent 'File';    # sets @File::MP3::ISA = ('File');
273
274  my $mp3 = File::MP3->new( 'Andvari.mp3', $data );
275  $mp3->save();
276
277Since we didn't define a C<save()> method in the C<File::MP3> class,
278Perl will look at the C<File::MP3> class's parent classes to find the
279C<save()> method. If Perl cannot find a C<save()> method anywhere in
280the inheritance hierarchy, it will die.
281
282In this case, it finds a C<save()> method in the C<File> class. Note
283that the object passed to C<save()> in this case is still a
284C<File::MP3> object, even though the method is found in the C<File>
285class.
286
287We can override a parent's method in a child class. When we do so, we
288can still call the parent class's method with the C<SUPER>
289pseudo-class.
290
291  sub save {
292      my $self = shift;
293
294      say 'Prepare to rock';
295      $self->SUPER::save();
296  }
297
298The C<SUPER> modifier can I<only> be used for method calls. You can't
299use it for regular subroutine calls or class methods:
300
301  SUPER::save($thing);     # FAIL: looks for save() sub in package SUPER
302
303  SUPER->save($thing);     # FAIL: looks for save() method in class
304                           #       SUPER
305
306  $thing->SUPER::save();   # Okay: looks for save() method in parent
307                           #       classes
308
309
310=head3 How SUPER is Resolved
311X<SUPER>
312
313The C<SUPER> pseudo-class is resolved from the package where the call
314is made. It is I<not> resolved based on the object's class. This is
315important, because it lets methods at different levels within a deep
316inheritance hierarchy each correctly call their respective parent
317methods.
318
319  package A;
320
321  sub new {
322      return bless {}, shift;
323  }
324
325  sub speak {
326      my $self = shift;
327
328      say 'A';
329  }
330
331  package B;
332
333  use parent -norequire, 'A';
334
335  sub speak {
336      my $self = shift;
337
338      $self->SUPER::speak();
339
340      say 'B';
341  }
342
343  package C;
344
345  use parent -norequire, 'B';
346
347  sub speak {
348      my $self = shift;
349
350      $self->SUPER::speak();
351
352      say 'C';
353  }
354
355  my $c = C->new();
356  $c->speak();
357
358In this example, we will get the following output:
359
360  A
361  B
362  C
363
364This demonstrates how C<SUPER> is resolved. Even though the object is
365blessed into the C<C> class, the C<speak()> method in the C<B> class
366can still call C<SUPER::speak()> and expect it to correctly look in the
367parent class of C<B> (i.e the class the method call is in), not in the
368parent class of C<C> (i.e. the class the object belongs to).
369
370There are rare cases where this package-based resolution can be a
371problem. If you copy a subroutine from one package to another, C<SUPER>
372resolution will be done based on the original package.
373
374=head3 Multiple Inheritance
375X<multiple inheritance>
376
377Multiple inheritance often indicates a design problem, but Perl always
378gives you enough rope to hang yourself with if you ask for it.
379
380To declare multiple parents, you simply need to pass multiple class
381names to C<use parent>:
382
383  package MultiChild;
384
385  use parent 'Parent1', 'Parent2';
386
387=head3 Method Resolution Order
388X<method resolution order> X<mro>
389
390Method resolution order only matters in the case of multiple
391inheritance. In the case of single inheritance, Perl simply looks up
392the inheritance chain to find a method:
393
394  Grandparent
395    |
396  Parent
397    |
398  Child
399
400If we call a method on a C<Child> object and that method is not defined
401in the C<Child> class, Perl will look for that method in the C<Parent>
402class and then, if necessary, in the C<Grandparent> class.
403
404If Perl cannot find the method in any of these classes, it will die
405with an error message.
406
407When a class has multiple parents, the method lookup order becomes more
408complicated.
409
410By default, Perl does a depth-first left-to-right search for a method.
411That means it starts with the first parent in the C<@ISA> array, and
412then searches all of its parents, grandparents, etc. If it fails to
413find the method, it then goes to the next parent in the original
414class's C<@ISA> array and searches from there.
415
416            SharedGreatGrandParent
417            /                    \
418  PaternalGrandparent       MaternalGrandparent
419            \                    /
420             Father        Mother
421                   \      /
422                    Child
423
424So given the diagram above, Perl will search C<Child>, C<Father>,
425C<PaternalGrandparent>, C<SharedGreatGrandParent>, C<Mother>, and
426finally C<MaternalGrandparent>. This may be a problem because now we're
427looking in C<SharedGreatGrandParent> I<before> we've checked all its
428derived classes (i.e. before we tried C<Mother> and
429C<MaternalGrandparent>).
430
431It is possible to ask for a different method resolution order with the
432L<mro> pragma.
433
434  package Child;
435
436  use mro 'c3';
437  use parent 'Father', 'Mother';
438
439This pragma lets you switch to the "C3" resolution order. In simple
440terms, "C3" order ensures that shared parent classes are never searched
441before child classes, so Perl will now search: C<Child>, C<Father>,
442C<PaternalGrandparent>, C<Mother> C<MaternalGrandparent>, and finally
443C<SharedGreatGrandParent>. Note however that this is not
444"breadth-first" searching: All the C<Father> ancestors (except the
445common ancestor) are searched before any of the C<Mother> ancestors are
446considered.
447
448The C3 order also lets you call methods in sibling classes with the
449C<next> pseudo-class. See the L<mro> documentation for more details on
450this feature.
451
452=head3 Method Resolution Caching
453
454When Perl searches for a method, it caches the lookup so that future
455calls to the method do not need to search for it again. Changing a
456class's parent class or adding subroutines to a class will invalidate
457the cache for that class.
458
459The L<mro> pragma provides some functions for manipulating the method
460cache directly.
461
462=head2 Writing Constructors
463X<constructor>
464
465As we mentioned earlier, Perl provides no special constructor syntax.
466This means that a class must implement its own constructor. A
467constructor is simply a class method that returns a reference to a new
468object.
469
470The constructor can also accept additional parameters that define the
471object. Let's write a real constructor for the C<File> class we used
472earlier:
473
474  package File;
475
476  sub new {
477      my $class = shift;
478      my ( $path, $data ) = @_;
479
480      my $self = bless {
481          path => $path,
482          data => $data,
483      }, $class;
484
485      return $self;
486  }
487
488As you can see, we've stored the path and file data in the object
489itself. Remember, under the hood, this object is still just a hash.
490Later, we'll write accessors to manipulate this data.
491
492For our C<File::MP3> class, we can check to make sure that the path
493we're given ends with ".mp3":
494
495  package File::MP3;
496
497  sub new {
498      my $class = shift;
499      my ( $path, $data ) = @_;
500
501      die "You cannot create a File::MP3 without an mp3 extension\n"
502          unless $path =~ /\.mp3\z/;
503
504      return $class->SUPER::new(@_);
505  }
506
507This constructor lets its parent class do the actual object
508construction.
509
510=head2 Attributes
511X<attribute>
512
513An attribute is a piece of data belonging to a particular object.
514Unlike most object-oriented languages, Perl provides no special syntax
515or support for declaring and manipulating attributes.
516
517Attributes are often stored in the object itself. For example, if the
518object is an anonymous hash, we can store the attribute values in the
519hash using the attribute name as the key.
520
521While it's possible to refer directly to these hash keys outside of the
522class, it's considered a best practice to wrap all access to the
523attribute with accessor methods.
524
525This has several advantages. Accessors make it easier to change the
526implementation of an object later while still preserving the original
527API.
528
529An accessor lets you add additional code around attribute access. For
530example, you could apply a default to an attribute that wasn't set in
531the constructor, or you could validate that a new value for the
532attribute is acceptable.
533
534Finally, using accessors makes inheritance much simpler. Subclasses can
535use the accessors rather than having to know how a parent class is
536implemented internally.
537
538=head3 Writing Accessors
539X<accessor>
540
541As with constructors, Perl provides no special accessor declaration
542syntax, so classes must provide explicitly written accessor methods.
543There are two common types of accessors, read-only and read-write.
544
545A simple read-only accessor simply gets the value of a single
546attribute:
547
548  sub path {
549      my $self = shift;
550
551      return $self->{path};
552  }
553
554A read-write accessor will allow the caller to set the value as well as
555get it:
556
557  sub path {
558      my $self = shift;
559
560      if (@_) {
561          $self->{path} = shift;
562      }
563
564      return $self->{path};
565  }
566
567=head2 An Aside About Smarter and Safer Code
568
569Our constructor and accessors are not very smart. They don't check that
570a C<$path> is defined, nor do they check that a C<$path> is a valid
571filesystem path.
572
573Doing these checks by hand can quickly become tedious. Writing a bunch
574of accessors by hand is also incredibly tedious. There are a lot of
575modules on CPAN that can help you write safer and more concise code,
576including the modules we recommend in L<perlootut>.
577
578=head2 Method Call Variations
579X<method>
580
581Perl supports several other ways to call methods besides the C<<
582$object->method() >> usage we've seen so far.
583
584=head3 Method Names with a Fully Qualified Name
585
586Perl allows you to call methods using their fully qualified name (the
587package and method name):
588
589  my $mp3 = File::MP3->new( 'Regin.mp3', $data );
590  $mp3->File::save();
591
592When you call a fully qualified method name like C<File::save>, the method
593resolution search for the C<save> method starts in the C<File> class,
594skipping any C<save> method the C<File::MP3> class may have defined. It
595still searches the C<File> class's parents if necessary.
596
597While this feature is most commonly used to explicitly call methods
598inherited from an ancestor class, there is no technical restriction
599that enforces this:
600
601  my $obj = Tree->new();
602  $obj->Dog::bark();
603
604This calls the C<bark> method from class C<Dog> on an object of class
605C<Tree>, even if the two classes are completely unrelated. Use this
606with great care.
607
608The C<SUPER> pseudo-class that was described earlier is I<not> the same
609as calling a method with a fully-qualified name. See the earlier
610L</Inheritance> section for details.
611
612=head3 Method Names as Strings
613
614Perl lets you use a scalar variable containing a string as a method
615name:
616
617  my $file = File->new( $path, $data );
618
619  my $method = 'save';
620  $file->$method();
621
622This works exactly like calling C<< $file->save() >>. This can be very
623useful for writing dynamic code. For example, it allows you to pass a
624method name to be called as a parameter to another method.
625
626=head3 Class Names as Strings
627
628Perl also lets you use a scalar containing a string as a class name:
629
630  my $class = 'File';
631
632  my $file = $class->new( $path, $data );
633
634Again, this allows for very dynamic code.
635
636=head3 Subroutine References as Methods
637
638You can also use a subroutine reference as a method:
639
640  my $sub = sub {
641      my $self = shift;
642
643      $self->save();
644  };
645
646  $file->$sub();
647
648This is exactly equivalent to writing C<< $sub->($file) >>. You may see
649this idiom in the wild combined with a call to C<can>:
650
651  if ( my $meth = $object->can('foo') ) {
652      $object->$meth();
653  }
654
655=head3 Dereferencing Method Call
656
657Perl also lets you use a dereferenced scalar reference in a method
658call. That's a mouthful, so let's look at some code:
659
660  $file->${ \'save' };
661  $file->${ returns_scalar_ref() };
662  $file->${ \( returns_scalar() ) };
663  $file->${ returns_ref_to_sub_ref() };
664
665This works if the dereference produces a string I<or> a subroutine
666reference.
667
668=head3 Method Calls on Filehandles
669
670Under the hood, Perl filehandles are instances of the C<IO::Handle> or
671C<IO::File> class. Once you have an open filehandle, you can call
672methods on it. Additionally, you can call methods on the C<STDIN>,
673C<STDOUT>, and C<STDERR> filehandles.
674
675  open my $fh, '>', 'path/to/file';
676  $fh->autoflush();
677  $fh->print('content');
678
679  STDOUT->autoflush();
680
681=head2 Invoking Class Methods
682X<invocation>
683
684Because Perl allows you to use barewords for package names and
685subroutine names, it sometimes interprets a bareword's meaning
686incorrectly. For example, the construct C<< Class->new() >> can be
687interpreted as either C<< 'Class'->new() >> or C<< Class()->new() >>.
688In English, that second interpretation reads as "call a subroutine
689named Class(), then call new() as a method on the return value of
690Class()". If there is a subroutine named C<Class()> in the current
691namespace, Perl will always interpret C<< Class->new() >> as the second
692alternative: a call to C<new()> on the object  returned by a call to
693C<Class()>
694
695You can force Perl to use the first interpretation (i.e. as a method
696call on the class named "Class") in two ways. First, you can append a
697C<::> to the class name:
698
699    Class::->new()
700
701Perl will always interpret this as a method call.
702
703Alternatively, you can quote the class name:
704
705    'Class'->new()
706
707Of course, if the class name is in a scalar Perl will do the right
708thing as well:
709
710    my $class = 'Class';
711    $class->new();
712
713=head3 Indirect Object Syntax
714X<indirect object>
715
716B<Outside of the file handle case, use of this syntax is discouraged as
717it can confuse the Perl interpreter. See below for more details.>
718
719Perl supports another method invocation syntax called "indirect object"
720notation. This syntax is called "indirect" because the method comes
721before the object it is being invoked on.
722
723This syntax can be used with any class or object method:
724
725    my $file = new File $path, $data;
726    save $file;
727
728We recommend that you avoid this syntax, for several reasons.
729
730First, it can be confusing to read. In the above example, it's not
731clear if C<save> is a method provided by the C<File> class or simply a
732subroutine that expects a file object as its first argument.
733
734When used with class methods, the problem is even worse. Because Perl
735allows subroutine names to be written as barewords, Perl has to guess
736whether the bareword after the method is a class name or subroutine
737name. In other words, Perl can resolve the syntax as either C<<
738File->new( $path, $data ) >> B<or> C<< new( File( $path, $data ) ) >>.
739
740To parse this code, Perl uses a heuristic based on what package names
741it has seen, what subroutines exist in the current package, what
742barewords it has previously seen, and other input. Needless to say,
743heuristics can produce very surprising results!
744
745Older documentation (and some CPAN modules) encouraged this syntax,
746particularly for constructors, so you may still find it in the wild.
747However, we encourage you to avoid using it in new code.
748
749You can force Perl to interpret the bareword as a class name by
750appending "::" to it, like we saw earlier:
751
752  my $file = new File:: $path, $data;
753
754=head2 C<bless>, C<blessed>, and C<ref>
755
756As we saw earlier, an object is simply a data structure that has been
757blessed into a class via the C<bless> function. The C<bless> function
758can take either one or two arguments:
759
760  my $object = bless {}, $class;
761  my $object = bless {};
762
763In the first form, the anonymous hash is being blessed into the class
764in C<$class>. In the second form, the anonymous hash is blessed into
765the current package.
766
767The second form is strongly discouraged, because it breaks the ability
768of a subclass to reuse the parent's constructor, but you may still run
769across it in existing code.
770
771If you want to know whether a particular scalar refers to an object,
772you can use the C<blessed> function exported by L<Scalar::Util>, which
773is shipped with the Perl core.
774
775  use Scalar::Util 'blessed';
776
777  if ( defined blessed($thing) ) { ... }
778
779If C<$thing> refers to an object, then this function returns the name
780of the package the object has been blessed into. If C<$thing> doesn't
781contain a reference to a blessed object, the C<blessed> function
782returns C<undef>.
783
784Note that C<blessed($thing)> will also return false if C<$thing> has
785been blessed into a class named "0". This is a possible, but quite
786pathological. Don't create a class named "0" unless you know what
787you're doing.
788
789Similarly, Perl's built-in C<ref> function treats a reference to a
790blessed object specially. If you call C<ref($thing)> and C<$thing>
791holds a reference to an object, it will return the name of the class
792that the object has been blessed into.
793
794If you simply want to check that a variable contains an object
795reference, we recommend that you use C<defined blessed($object)>, since
796C<ref> returns true values for all references, not just objects.
797
798=head2 The UNIVERSAL Class
799X<UNIVERSAL>
800
801All classes automatically inherit from the L<UNIVERSAL> class, which is
802built-in to the Perl core. This class provides a number of methods, all
803of which can be called on either a class or an object. You can also
804choose to override some of these methods in your class. If you do so,
805we recommend that you follow the built-in semantics described below.
806
807=over 4
808
809=item isa($class)
810X<isa>
811
812The C<isa> method returns I<true> if the object is a member of the
813class in C<$class>, or a member of a subclass of C<$class>.
814
815If you override this method, it should never throw an exception.
816
817=item DOES($role)
818X<DOES>
819
820The C<DOES> method returns I<true> if its object claims to perform the
821role C<$role>. By default, this is equivalent to C<isa>. This method is
822provided for use by object system extensions that implement roles, like
823C<Moose> and C<Role::Tiny>.
824
825You can also override C<DOES> directly in your own classes. If you
826override this method, it should never throw an exception.
827
828=item can($method)
829X<can>
830
831The C<can> method checks to see if the class or object it was called on
832has a method named C<$method>. This checks for the method in the class
833and all of its parents. If the method exists, then a reference to the
834subroutine is returned. If it does not then C<undef> is returned.
835
836If your class responds to method calls via C<AUTOLOAD>, you may want to
837overload C<can> to return a subroutine reference for methods which your
838C<AUTOLOAD> method handles.
839
840If you override this method, it should never throw an exception.
841
842=item VERSION($need)
843X<VERSION>
844
845The C<VERSION> method returns the version number of the class
846(package).
847
848If the C<$need> argument is given then it will check that the current
849version (as defined by the $VERSION variable in the package) is greater
850than or equal to C<$need>; it will die if this is not the case. This
851method is called automatically by the C<VERSION> form of C<use>.
852
853    use Package 1.2 qw(some imported subs);
854    # implies:
855    Package->VERSION(1.2);
856
857We recommend that you use this method to access another package's
858version, rather than looking directly at C<$Package::VERSION>. The
859package you are looking at could have overridden the C<VERSION> method.
860
861We also recommend using this method to check whether a module has a
862sufficient version. The internal implementation uses the L<version>
863module to make sure that different types of version numbers are
864compared correctly.
865
866=back
867
868=head2 AUTOLOAD
869X<AUTOLOAD>
870
871If you call a method that doesn't exist in a class, Perl will throw an
872error. However, if that class or any of its parent classes defines an
873C<AUTOLOAD> method, that C<AUTOLOAD> method is called instead.
874
875C<AUTOLOAD> is called as a regular method, and the caller will not know
876the difference. Whatever value your C<AUTOLOAD> method returns is
877returned to the caller.
878
879The fully qualified method name that was called is available in the
880C<$AUTOLOAD> package global for your class. Since this is a global, if
881you want to refer to do it without a package name prefix under C<strict
882'vars'>, you need to declare it.
883
884  # XXX - this is a terrible way to implement accessors, but it makes
885  # for a simple example.
886  our $AUTOLOAD;
887  sub AUTOLOAD {
888      my $self = shift;
889
890      # Remove qualifier from original method name...
891      my $called =  $AUTOLOAD =~ s/.*:://r;
892
893      # Is there an attribute of that name?
894      die "No such attribute: $called"
895          unless exists $self->{$called};
896
897      # If so, return it...
898      return $self->{$called};
899  }
900
901  sub DESTROY { } # see below
902
903Without the C<our $AUTOLOAD> declaration, this code will not compile
904under the L<strict> pragma.
905
906As the comment says, this is not a good way to implement accessors.
907It's slow and too clever by far. However, you may see this as a way to
908provide accessors in older Perl code. See L<perlootut> for
909recommendations on OO coding in Perl.
910
911If your class does have an C<AUTOLOAD> method, we strongly recommend
912that you override C<can> in your class as well. Your overridden C<can>
913method should return a subroutine reference for any method that your
914C<AUTOLOAD> responds to.
915
916=head2 Destructors
917X<destructor> X<DESTROY>
918
919When the last reference to an object goes away, the object is
920destroyed. If you only have one reference to an object stored in a
921lexical scalar, the object is destroyed when that scalar goes out of
922scope. If you store the object in a package global, that object may not
923go out of scope until the program exits.
924
925If you want to do something when the object is destroyed, you can
926define a C<DESTROY> method in your class. This method will always be
927called by Perl at the appropriate time, unless the method is empty.
928
929This is called just like any other method, with the object as the first
930argument. It does not receive any additional arguments. However, the
931C<$_[0]> variable will be read-only in the destructor, so you cannot
932assign a value to it.
933
934If your C<DESTROY> method throws an exception, this will not cause
935any control transfer beyond exiting the method.  The exception will be
936reported to C<STDERR> as a warning, marked "(in cleanup)", and Perl will
937continue with whatever it was doing before.
938
939Because C<DESTROY> methods can be called at any time, you should localize
940any global status variables that might be set by anything you do in
941your C<DESTROY> method.  If you are in doubt about a particular status
942variable, it doesn't hurt to localize it.  There are five global status
943variables, and the safest way is to localize all five of them:
944
945  sub DESTROY {
946      local($., $@, $!, $^E, $?);
947      my $self = shift;
948      ...;
949  }
950
951If you define an C<AUTOLOAD> in your class, then Perl will call your
952C<AUTOLOAD> to handle the C<DESTROY> method. You can prevent this by
953defining an empty C<DESTROY>, like we did in the autoloading example.
954You can also check the value of C<$AUTOLOAD> and return without doing
955anything when called to handle C<DESTROY>.
956
957=head3 Global Destruction
958
959The order in which objects are destroyed during the global destruction
960before the program exits is unpredictable. This means that any objects
961contained by your object may already have been destroyed. You should
962check that a contained object is defined before calling a method on it:
963
964  sub DESTROY {
965      my $self = shift;
966
967      $self->{handle}->close() if $self->{handle};
968  }
969
970You can use the C<${^GLOBAL_PHASE}> variable to detect if you are
971currently in the global destruction phase:
972
973  sub DESTROY {
974      my $self = shift;
975
976      return if ${^GLOBAL_PHASE} eq 'DESTRUCT';
977
978      $self->{handle}->close();
979  }
980
981Note that this variable was added in Perl 5.14.0. If you want to detect
982the global destruction phase on older versions of Perl, you can use the
983C<Devel::GlobalDestruction> module on CPAN.
984
985If your C<DESTROY> method issues a warning during global destruction,
986the Perl interpreter will append the string " during global
987destruction" to the warning.
988
989During global destruction, Perl will always garbage collect objects
990before unblessed references. See L<perlhacktips/PERL_DESTRUCT_LEVEL>
991for more information about global destruction.
992
993=head2 Non-Hash Objects
994
995All the examples so far have shown objects based on a blessed hash.
996However, it's possible to bless any type of data structure or referent,
997including scalars, globs, and subroutines. You may see this sort of
998thing when looking at code in the wild.
999
1000Here's an example of a module as a blessed scalar:
1001
1002  package Time;
1003
1004  use strict;
1005  use warnings;
1006
1007  sub new {
1008      my $class = shift;
1009
1010      my $time = time;
1011      return bless \$time, $class;
1012  }
1013
1014  sub epoch {
1015      my $self = shift;
1016      return ${ $self };
1017  }
1018
1019  my $time = Time->new();
1020  print $time->epoch();
1021
1022=head2 Inside-Out objects
1023
1024In the past, the Perl community experimented with a technique called
1025"inside-out objects". An inside-out object stores its data outside of
1026the object's reference, indexed on a unique property of the object,
1027such as its memory address, rather than in the object itself. This has
1028the advantage of enforcing the encapsulation of object attributes,
1029since their data is not stored in the object itself.
1030
1031This technique was popular for a while (and was recommended in Damian
1032Conway's I<Perl Best Practices>), but never achieved universal
1033adoption. The L<Object::InsideOut> module on CPAN provides a
1034comprehensive implementation of this technique, and you may see it or
1035other inside-out modules in the wild.
1036
1037Here is a simple example of the technique, using the
1038L<Hash::Util::FieldHash> core module. This module was added to the core
1039to support inside-out object implementations.
1040
1041  package Time;
1042
1043  use strict;
1044  use warnings;
1045
1046  use Hash::Util::FieldHash 'fieldhash';
1047
1048  fieldhash my %time_for;
1049
1050  sub new {
1051      my $class = shift;
1052
1053      my $self = bless \( my $object ), $class;
1054
1055      $time_for{$self} = time;
1056
1057      return $self;
1058  }
1059
1060  sub epoch {
1061      my $self = shift;
1062
1063      return $time_for{$self};
1064  }
1065
1066  my $time = Time->new;
1067  print $time->epoch;
1068
1069=head2 Pseudo-hashes
1070
1071The pseudo-hash feature was an experimental feature introduced in
1072earlier versions of Perl and removed in 5.10.0. A pseudo-hash is an
1073array reference which can be accessed using named keys like a hash. You
1074may run in to some code in the wild which uses it. See the L<fields>
1075pragma for more information.
1076
1077=head1 SEE ALSO
1078
1079A kinder, gentler tutorial on object-oriented programming in Perl can
1080be found in L<perlootut>. You should also check out L<perlmodlib> for
1081some style guides on constructing both modules and classes.
1082
1083