This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
New perldelta for 5.27.6
[perl5.git] / pod / perltie.pod
... / ...
CommitLineData
1=head1 NAME
2X<tie>
3
4perltie - how to hide an object class in a simple variable
5
6=head1 SYNOPSIS
7
8 tie VARIABLE, CLASSNAME, LIST
9
10 $object = tied VARIABLE
11
12 untie VARIABLE
13
14=head1 DESCRIPTION
15
16Prior to release 5.0 of Perl, a programmer could use dbmopen()
17to connect an on-disk database in the standard Unix dbm(3x)
18format magically to a %HASH in their program. However, their Perl was either
19built with one particular dbm library or another, but not both, and
20you couldn't extend this mechanism to other packages or types of variables.
21
22Now you can.
23
24The tie() function binds a variable to a class (package) that will provide
25the implementation for access methods for that variable. Once this magic
26has been performed, accessing a tied variable automatically triggers
27method calls in the proper class. The complexity of the class is
28hidden behind magic methods calls. The method names are in ALL CAPS,
29which is a convention that Perl uses to indicate that they're called
30implicitly rather than explicitly--just like the BEGIN() and END()
31functions.
32
33In the tie() call, C<VARIABLE> is the name of the variable to be
34enchanted. C<CLASSNAME> is the name of a class implementing objects of
35the correct type. Any additional arguments in the C<LIST> are passed to
36the appropriate constructor method for that class--meaning TIESCALAR(),
37TIEARRAY(), TIEHASH(), or TIEHANDLE(). (Typically these are arguments
38such as might be passed to the dbminit() function of C.) The object
39returned by the "new" method is also returned by the tie() function,
40which would be useful if you wanted to access other methods in
41C<CLASSNAME>. (You don't actually have to return a reference to a right
42"type" (e.g., HASH or C<CLASSNAME>) so long as it's a properly blessed
43object.) You can also retrieve a reference to the underlying object
44using the tied() function.
45
46Unlike dbmopen(), the tie() function will not C<use> or C<require> a module
47for you--you need to do that explicitly yourself.
48
49=head2 Tying Scalars
50X<scalar, tying>
51
52A class implementing a tied scalar should define the following methods:
53TIESCALAR, FETCH, STORE, and possibly UNTIE and/or DESTROY.
54
55Let's look at each in turn, using as an example a tie class for
56scalars that allows the user to do something like:
57
58 tie $his_speed, 'Nice', getppid();
59 tie $my_speed, 'Nice', $$;
60
61And now whenever either of those variables is accessed, its current
62system priority is retrieved and returned. If those variables are set,
63then the process's priority is changed!
64
65We'll use Jarkko Hietaniemi <F<jhi@iki.fi>>'s BSD::Resource class (not
66included) to access the PRIO_PROCESS, PRIO_MIN, and PRIO_MAX constants
67from your system, as well as the getpriority() and setpriority() system
68calls. Here's the preamble of the class.
69
70 package Nice;
71 use Carp;
72 use BSD::Resource;
73 use strict;
74 $Nice::DEBUG = 0 unless defined $Nice::DEBUG;
75
76=over 4
77
78=item TIESCALAR classname, LIST
79X<TIESCALAR>
80
81This is the constructor for the class. That means it is
82expected to return a blessed reference to a new scalar
83(probably anonymous) that it's creating. For example:
84
85 sub TIESCALAR {
86 my $class = shift;
87 my $pid = shift || $$; # 0 means me
88
89 if ($pid !~ /^\d+$/) {
90 carp "Nice::Tie::Scalar got non-numeric pid $pid" if $^W;
91 return undef;
92 }
93
94 unless (kill 0, $pid) { # EPERM or ERSCH, no doubt
95 carp "Nice::Tie::Scalar got bad pid $pid: $!" if $^W;
96 return undef;
97 }
98
99 return bless \$pid, $class;
100 }
101
102This tie class has chosen to return an error rather than raising an
103exception if its constructor should fail. While this is how dbmopen() works,
104other classes may well not wish to be so forgiving. It checks the global
105variable C<$^W> to see whether to emit a bit of noise anyway.
106
107=item FETCH this
108X<FETCH>
109
110This method will be triggered every time the tied variable is accessed
111(read). It takes no arguments beyond its self reference, which is the
112object representing the scalar we're dealing with. Because in this case
113we're using just a SCALAR ref for the tied scalar object, a simple $$self
114allows the method to get at the real value stored there. In our example
115below, that real value is the process ID to which we've tied our variable.
116
117 sub FETCH {
118 my $self = shift;
119 confess "wrong type" unless ref $self;
120 croak "usage error" if @_;
121 my $nicety;
122 local($!) = 0;
123 $nicety = getpriority(PRIO_PROCESS, $$self);
124 if ($!) { croak "getpriority failed: $!" }
125 return $nicety;
126 }
127
128This time we've decided to blow up (raise an exception) if the renice
129fails--there's no place for us to return an error otherwise, and it's
130probably the right thing to do.
131
132=item STORE this, value
133X<STORE>
134
135This method will be triggered every time the tied variable is set
136(assigned). Beyond its self reference, it also expects one (and only one)
137argument: the new value the user is trying to assign. Don't worry about
138returning a value from STORE; the semantic of assignment returning the
139assigned value is implemented with FETCH.
140
141 sub STORE {
142 my $self = shift;
143 confess "wrong type" unless ref $self;
144 my $new_nicety = shift;
145 croak "usage error" if @_;
146
147 if ($new_nicety < PRIO_MIN) {
148 carp sprintf
149 "WARNING: priority %d less than minimum system priority %d",
150 $new_nicety, PRIO_MIN if $^W;
151 $new_nicety = PRIO_MIN;
152 }
153
154 if ($new_nicety > PRIO_MAX) {
155 carp sprintf
156 "WARNING: priority %d greater than maximum system priority %d",
157 $new_nicety, PRIO_MAX if $^W;
158 $new_nicety = PRIO_MAX;
159 }
160
161 unless (defined setpriority(PRIO_PROCESS,
162 $$self,
163 $new_nicety))
164 {
165 confess "setpriority failed: $!";
166 }
167 }
168
169=item UNTIE this
170X<UNTIE>
171
172This method will be triggered when the C<untie> occurs. This can be useful
173if the class needs to know when no further calls will be made. (Except DESTROY
174of course.) See L<The C<untie> Gotcha> below for more details.
175
176=item DESTROY this
177X<DESTROY>
178
179This method will be triggered when the tied variable needs to be destructed.
180As with other object classes, such a method is seldom necessary, because Perl
181deallocates its moribund object's memory for you automatically--this isn't
182C++, you know. We'll use a DESTROY method here for debugging purposes only.
183
184 sub DESTROY {
185 my $self = shift;
186 confess "wrong type" unless ref $self;
187 carp "[ Nice::DESTROY pid $$self ]" if $Nice::DEBUG;
188 }
189
190=back
191
192That's about all there is to it. Actually, it's more than all there
193is to it, because we've done a few nice things here for the sake
194of completeness, robustness, and general aesthetics. Simpler
195TIESCALAR classes are certainly possible.
196
197=head2 Tying Arrays
198X<array, tying>
199
200A class implementing a tied ordinary array should define the following
201methods: TIEARRAY, FETCH, STORE, FETCHSIZE, STORESIZE, CLEAR
202and perhaps UNTIE and/or DESTROY.
203
204FETCHSIZE and STORESIZE are used to provide C<$#array> and
205equivalent C<scalar(@array)> access.
206
207The methods POP, PUSH, SHIFT, UNSHIFT, SPLICE, DELETE, and EXISTS are
208required if the perl operator with the corresponding (but lowercase) name
209is to operate on the tied array. The B<Tie::Array> class can be used as a
210base class to implement the first five of these in terms of the basic
211methods above. The default implementations of DELETE and EXISTS in
212B<Tie::Array> simply C<croak>.
213
214In addition EXTEND will be called when perl would have pre-extended
215allocation in a real array.
216
217For this discussion, we'll implement an array whose elements are a fixed
218size at creation. If you try to create an element larger than the fixed
219size, you'll take an exception. For example:
220
221 use FixedElem_Array;
222 tie @array, 'FixedElem_Array', 3;
223 $array[0] = 'cat'; # ok.
224 $array[1] = 'dogs'; # exception, length('dogs') > 3.
225
226The preamble code for the class is as follows:
227
228 package FixedElem_Array;
229 use Carp;
230 use strict;
231
232=over 4
233
234=item TIEARRAY classname, LIST
235X<TIEARRAY>
236
237This is the constructor for the class. That means it is expected to
238return a blessed reference through which the new array (probably an
239anonymous ARRAY ref) will be accessed.
240
241In our example, just to show you that you don't I<really> have to return an
242ARRAY reference, we'll choose a HASH reference to represent our object.
243A HASH works out well as a generic record type: the C<{ELEMSIZE}> field will
244store the maximum element size allowed, and the C<{ARRAY}> field will hold the
245true ARRAY ref. If someone outside the class tries to dereference the
246object returned (doubtless thinking it an ARRAY ref), they'll blow up.
247This just goes to show you that you should respect an object's privacy.
248
249 sub TIEARRAY {
250 my $class = shift;
251 my $elemsize = shift;
252 if ( @_ || $elemsize =~ /\D/ ) {
253 croak "usage: tie ARRAY, '" . __PACKAGE__ . "', elem_size";
254 }
255 return bless {
256 ELEMSIZE => $elemsize,
257 ARRAY => [],
258 }, $class;
259 }
260
261=item FETCH this, index
262X<FETCH>
263
264This method will be triggered every time an individual element the tied array
265is accessed (read). It takes one argument beyond its self reference: the
266index whose value we're trying to fetch.
267
268 sub FETCH {
269 my $self = shift;
270 my $index = shift;
271 return $self->{ARRAY}->[$index];
272 }
273
274If a negative array index is used to read from an array, the index
275will be translated to a positive one internally by calling FETCHSIZE
276before being passed to FETCH. You may disable this feature by
277assigning a true value to the variable C<$NEGATIVE_INDICES> in the
278tied array class.
279
280As you may have noticed, the name of the FETCH method (et al.) is the same
281for all accesses, even though the constructors differ in names (TIESCALAR
282vs TIEARRAY). While in theory you could have the same class servicing
283several tied types, in practice this becomes cumbersome, and it's easiest
284to keep them at simply one tie type per class.
285
286=item STORE this, index, value
287X<STORE>
288
289This method will be triggered every time an element in the tied array is set
290(written). It takes two arguments beyond its self reference: the index at
291which we're trying to store something and the value we're trying to put
292there.
293
294In our example, C<undef> is really C<$self-E<gt>{ELEMSIZE}> number of
295spaces so we have a little more work to do here:
296
297 sub STORE {
298 my $self = shift;
299 my( $index, $value ) = @_;
300 if ( length $value > $self->{ELEMSIZE} ) {
301 croak "length of $value is greater than $self->{ELEMSIZE}";
302 }
303 # fill in the blanks
304 $self->EXTEND( $index ) if $index > $self->FETCHSIZE();
305 # right justify to keep element size for smaller elements
306 $self->{ARRAY}->[$index] = sprintf "%$self->{ELEMSIZE}s", $value;
307 }
308
309Negative indexes are treated the same as with FETCH.
310
311=item FETCHSIZE this
312X<FETCHSIZE>
313
314Returns the total number of items in the tied array associated with
315object I<this>. (Equivalent to C<scalar(@array)>). For example:
316
317 sub FETCHSIZE {
318 my $self = shift;
319 return scalar @{$self->{ARRAY}};
320 }
321
322=item STORESIZE this, count
323X<STORESIZE>
324
325Sets the total number of items in the tied array associated with
326object I<this> to be I<count>. If this makes the array larger then
327class's mapping of C<undef> should be returned for new positions.
328If the array becomes smaller then entries beyond count should be
329deleted.
330
331In our example, 'undef' is really an element containing
332C<$self-E<gt>{ELEMSIZE}> number of spaces. Observe:
333
334 sub STORESIZE {
335 my $self = shift;
336 my $count = shift;
337 if ( $count > $self->FETCHSIZE() ) {
338 foreach ( $count - $self->FETCHSIZE() .. $count ) {
339 $self->STORE( $_, '' );
340 }
341 } elsif ( $count < $self->FETCHSIZE() ) {
342 foreach ( 0 .. $self->FETCHSIZE() - $count - 2 ) {
343 $self->POP();
344 }
345 }
346 }
347
348=item EXTEND this, count
349X<EXTEND>
350
351Informative call that array is likely to grow to have I<count> entries.
352Can be used to optimize allocation. This method need do nothing.
353
354In our example, we want to make sure there are no blank (C<undef>)
355entries, so C<EXTEND> will make use of C<STORESIZE> to fill elements
356as needed:
357
358 sub EXTEND {
359 my $self = shift;
360 my $count = shift;
361 $self->STORESIZE( $count );
362 }
363
364=item EXISTS this, key
365X<EXISTS>
366
367Verify that the element at index I<key> exists in the tied array I<this>.
368
369In our example, we will determine that if an element consists of
370C<$self-E<gt>{ELEMSIZE}> spaces only, it does not exist:
371
372 sub EXISTS {
373 my $self = shift;
374 my $index = shift;
375 return 0 if ! defined $self->{ARRAY}->[$index] ||
376 $self->{ARRAY}->[$index] eq ' ' x $self->{ELEMSIZE};
377 return 1;
378 }
379
380=item DELETE this, key
381X<DELETE>
382
383Delete the element at index I<key> from the tied array I<this>.
384
385In our example, a deleted item is C<$self-E<gt>{ELEMSIZE}> spaces:
386
387 sub DELETE {
388 my $self = shift;
389 my $index = shift;
390 return $self->STORE( $index, '' );
391 }
392
393=item CLEAR this
394X<CLEAR>
395
396Clear (remove, delete, ...) all values from the tied array associated with
397object I<this>. For example:
398
399 sub CLEAR {
400 my $self = shift;
401 return $self->{ARRAY} = [];
402 }
403
404=item PUSH this, LIST
405X<PUSH>
406
407Append elements of I<LIST> to the array. For example:
408
409 sub PUSH {
410 my $self = shift;
411 my @list = @_;
412 my $last = $self->FETCHSIZE();
413 $self->STORE( $last + $_, $list[$_] ) foreach 0 .. $#list;
414 return $self->FETCHSIZE();
415 }
416
417=item POP this
418X<POP>
419
420Remove last element of the array and return it. For example:
421
422 sub POP {
423 my $self = shift;
424 return pop @{$self->{ARRAY}};
425 }
426
427=item SHIFT this
428X<SHIFT>
429
430Remove the first element of the array (shifting other elements down)
431and return it. For example:
432
433 sub SHIFT {
434 my $self = shift;
435 return shift @{$self->{ARRAY}};
436 }
437
438=item UNSHIFT this, LIST
439X<UNSHIFT>
440
441Insert LIST elements at the beginning of the array, moving existing elements
442up to make room. For example:
443
444 sub UNSHIFT {
445 my $self = shift;
446 my @list = @_;
447 my $size = scalar( @list );
448 # make room for our list
449 @{$self->{ARRAY}}[ $size .. $#{$self->{ARRAY}} + $size ]
450 = @{$self->{ARRAY}};
451 $self->STORE( $_, $list[$_] ) foreach 0 .. $#list;
452 }
453
454=item SPLICE this, offset, length, LIST
455X<SPLICE>
456
457Perform the equivalent of C<splice> on the array.
458
459I<offset> is optional and defaults to zero, negative values count back
460from the end of the array.
461
462I<length> is optional and defaults to rest of the array.
463
464I<LIST> may be empty.
465
466Returns a list of the original I<length> elements at I<offset>.
467
468In our example, we'll use a little shortcut if there is a I<LIST>:
469
470 sub SPLICE {
471 my $self = shift;
472 my $offset = shift || 0;
473 my $length = shift || $self->FETCHSIZE() - $offset;
474 my @list = ();
475 if ( @_ ) {
476 tie @list, __PACKAGE__, $self->{ELEMSIZE};
477 @list = @_;
478 }
479 return splice @{$self->{ARRAY}}, $offset, $length, @list;
480 }
481
482=item UNTIE this
483X<UNTIE>
484
485Will be called when C<untie> happens. (See L<The C<untie> Gotcha> below.)
486
487=item DESTROY this
488X<DESTROY>
489
490This method will be triggered when the tied variable needs to be destructed.
491As with the scalar tie class, this is almost never needed in a
492language that does its own garbage collection, so this time we'll
493just leave it out.
494
495=back
496
497=head2 Tying Hashes
498X<hash, tying>
499
500Hashes were the first Perl data type to be tied (see dbmopen()). A class
501implementing a tied hash should define the following methods: TIEHASH is
502the constructor. FETCH and STORE access the key and value pairs. EXISTS
503reports whether a key is present in the hash, and DELETE deletes one.
504CLEAR empties the hash by deleting all the key and value pairs. FIRSTKEY
505and NEXTKEY implement the keys() and each() functions to iterate over all
506the keys. SCALAR is triggered when the tied hash is evaluated in scalar
507context, and in 5.28 onwards, by C<keys> in boolean context. UNTIE is
508called when C<untie> happens, and DESTROY is called when the tied variable
509is garbage collected.
510
511If this seems like a lot, then feel free to inherit from merely the
512standard Tie::StdHash module for most of your methods, redefining only the
513interesting ones. See L<Tie::Hash> for details.
514
515Remember that Perl distinguishes between a key not existing in the hash,
516and the key existing in the hash but having a corresponding value of
517C<undef>. The two possibilities can be tested with the C<exists()> and
518C<defined()> functions.
519
520Here's an example of a somewhat interesting tied hash class: it gives you
521a hash representing a particular user's dot files. You index into the hash
522with the name of the file (minus the dot) and you get back that dot file's
523contents. For example:
524
525 use DotFiles;
526 tie %dot, 'DotFiles';
527 if ( $dot{profile} =~ /MANPATH/ ||
528 $dot{login} =~ /MANPATH/ ||
529 $dot{cshrc} =~ /MANPATH/ )
530 {
531 print "you seem to set your MANPATH\n";
532 }
533
534Or here's another sample of using our tied class:
535
536 tie %him, 'DotFiles', 'daemon';
537 foreach $f ( keys %him ) {
538 printf "daemon dot file %s is size %d\n",
539 $f, length $him{$f};
540 }
541
542In our tied hash DotFiles example, we use a regular
543hash for the object containing several important
544fields, of which only the C<{LIST}> field will be what the
545user thinks of as the real hash.
546
547=over 5
548
549=item USER
550
551whose dot files this object represents
552
553=item HOME
554
555where those dot files live
556
557=item CLOBBER
558
559whether we should try to change or remove those dot files
560
561=item LIST
562
563the hash of dot file names and content mappings
564
565=back
566
567Here's the start of F<Dotfiles.pm>:
568
569 package DotFiles;
570 use Carp;
571 sub whowasi { (caller(1))[3] . '()' }
572 my $DEBUG = 0;
573 sub debug { $DEBUG = @_ ? shift : 1 }
574
575For our example, we want to be able to emit debugging info to help in tracing
576during development. We keep also one convenience function around
577internally to help print out warnings; whowasi() returns the function name
578that calls it.
579
580Here are the methods for the DotFiles tied hash.
581
582=over 4
583
584=item TIEHASH classname, LIST
585X<TIEHASH>
586
587This is the constructor for the class. That means it is expected to
588return a blessed reference through which the new object (probably but not
589necessarily an anonymous hash) will be accessed.
590
591Here's the constructor:
592
593 sub TIEHASH {
594 my $self = shift;
595 my $user = shift || $>;
596 my $dotdir = shift || '';
597 croak "usage: @{[&whowasi]} [USER [DOTDIR]]" if @_;
598 $user = getpwuid($user) if $user =~ /^\d+$/;
599 my $dir = (getpwnam($user))[7]
600 || croak "@{[&whowasi]}: no user $user";
601 $dir .= "/$dotdir" if $dotdir;
602
603 my $node = {
604 USER => $user,
605 HOME => $dir,
606 LIST => {},
607 CLOBBER => 0,
608 };
609
610 opendir(DIR, $dir)
611 || croak "@{[&whowasi]}: can't opendir $dir: $!";
612 foreach $dot ( grep /^\./ && -f "$dir/$_", readdir(DIR)) {
613 $dot =~ s/^\.//;
614 $node->{LIST}{$dot} = undef;
615 }
616 closedir DIR;
617 return bless $node, $self;
618 }
619
620It's probably worth mentioning that if you're going to filetest the
621return values out of a readdir, you'd better prepend the directory
622in question. Otherwise, because we didn't chdir() there, it would
623have been testing the wrong file.
624
625=item FETCH this, key
626X<FETCH>
627
628This method will be triggered every time an element in the tied hash is
629accessed (read). It takes one argument beyond its self reference: the key
630whose value we're trying to fetch.
631
632Here's the fetch for our DotFiles example.
633
634 sub FETCH {
635 carp &whowasi if $DEBUG;
636 my $self = shift;
637 my $dot = shift;
638 my $dir = $self->{HOME};
639 my $file = "$dir/.$dot";
640
641 unless (exists $self->{LIST}->{$dot} || -f $file) {
642 carp "@{[&whowasi]}: no $dot file" if $DEBUG;
643 return undef;
644 }
645
646 if (defined $self->{LIST}->{$dot}) {
647 return $self->{LIST}->{$dot};
648 } else {
649 return $self->{LIST}->{$dot} = `cat $dir/.$dot`;
650 }
651 }
652
653It was easy to write by having it call the Unix cat(1) command, but it
654would probably be more portable to open the file manually (and somewhat
655more efficient). Of course, because dot files are a Unixy concept, we're
656not that concerned.
657
658=item STORE this, key, value
659X<STORE>
660
661This method will be triggered every time an element in the tied hash is set
662(written). It takes two arguments beyond its self reference: the index at
663which we're trying to store something, and the value we're trying to put
664there.
665
666Here in our DotFiles example, we'll be careful not to let
667them try to overwrite the file unless they've called the clobber()
668method on the original object reference returned by tie().
669
670 sub STORE {
671 carp &whowasi if $DEBUG;
672 my $self = shift;
673 my $dot = shift;
674 my $value = shift;
675 my $file = $self->{HOME} . "/.$dot";
676 my $user = $self->{USER};
677
678 croak "@{[&whowasi]}: $file not clobberable"
679 unless $self->{CLOBBER};
680
681 open(my $f, '>', $file) || croak "can't open $file: $!";
682 print $f $value;
683 close($f);
684 }
685
686If they wanted to clobber something, they might say:
687
688 $ob = tie %daemon_dots, 'daemon';
689 $ob->clobber(1);
690 $daemon_dots{signature} = "A true daemon\n";
691
692Another way to lay hands on a reference to the underlying object is to
693use the tied() function, so they might alternately have set clobber
694using:
695
696 tie %daemon_dots, 'daemon';
697 tied(%daemon_dots)->clobber(1);
698
699The clobber method is simply:
700
701 sub clobber {
702 my $self = shift;
703 $self->{CLOBBER} = @_ ? shift : 1;
704 }
705
706=item DELETE this, key
707X<DELETE>
708
709This method is triggered when we remove an element from the hash,
710typically by using the delete() function. Again, we'll
711be careful to check whether they really want to clobber files.
712
713 sub DELETE {
714 carp &whowasi if $DEBUG;
715
716 my $self = shift;
717 my $dot = shift;
718 my $file = $self->{HOME} . "/.$dot";
719 croak "@{[&whowasi]}: won't remove file $file"
720 unless $self->{CLOBBER};
721 delete $self->{LIST}->{$dot};
722 my $success = unlink($file);
723 carp "@{[&whowasi]}: can't unlink $file: $!" unless $success;
724 $success;
725 }
726
727The value returned by DELETE becomes the return value of the call
728to delete(). If you want to emulate the normal behavior of delete(),
729you should return whatever FETCH would have returned for this key.
730In this example, we have chosen instead to return a value which tells
731the caller whether the file was successfully deleted.
732
733=item CLEAR this
734X<CLEAR>
735
736This method is triggered when the whole hash is to be cleared, usually by
737assigning the empty list to it.
738
739In our example, that would remove all the user's dot files! It's such a
740dangerous thing that they'll have to set CLOBBER to something higher than
7411 to make it happen.
742
743 sub CLEAR {
744 carp &whowasi if $DEBUG;
745 my $self = shift;
746 croak "@{[&whowasi]}: won't remove all dot files for $self->{USER}"
747 unless $self->{CLOBBER} > 1;
748 my $dot;
749 foreach $dot ( keys %{$self->{LIST}}) {
750 $self->DELETE($dot);
751 }
752 }
753
754=item EXISTS this, key
755X<EXISTS>
756
757This method is triggered when the user uses the exists() function
758on a particular hash. In our example, we'll look at the C<{LIST}>
759hash element for this:
760
761 sub EXISTS {
762 carp &whowasi if $DEBUG;
763 my $self = shift;
764 my $dot = shift;
765 return exists $self->{LIST}->{$dot};
766 }
767
768=item FIRSTKEY this
769X<FIRSTKEY>
770
771This method will be triggered when the user is going
772to iterate through the hash, such as via a keys(), values(), or each() call.
773
774 sub FIRSTKEY {
775 carp &whowasi if $DEBUG;
776 my $self = shift;
777 my $a = keys %{$self->{LIST}}; # reset each() iterator
778 each %{$self->{LIST}}
779 }
780
781FIRSTKEY is always called in scalar context and it should just
782return the first key. values(), and each() in list context,
783will call FETCH for the returned keys.
784
785=item NEXTKEY this, lastkey
786X<NEXTKEY>
787
788This method gets triggered during a keys(), values(), or each() iteration. It has a
789second argument which is the last key that had been accessed. This is
790useful if you're caring about ordering or calling the iterator from more
791than one sequence, or not really storing things in a hash anywhere.
792
793NEXTKEY is always called in scalar context and it should just
794return the next key. values(), and each() in list context,
795will call FETCH for the returned keys.
796
797For our example, we're using a real hash so we'll do just the simple
798thing, but we'll have to go through the LIST field indirectly.
799
800 sub NEXTKEY {
801 carp &whowasi if $DEBUG;
802 my $self = shift;
803 return each %{ $self->{LIST} }
804 }
805
806=item SCALAR this
807X<SCALAR>
808
809This is called when the hash is evaluated in scalar context, and in 5.28
810onwards, by C<keys> in boolean context. In order to mimic the behaviour of
811untied hashes, this method must return a value which when used as boolean,
812indicates whether the tied hash is considered empty. If this method does
813not exist, perl will make some educated guesses and return true when
814the hash is inside an iteration. If this isn't the case, FIRSTKEY is
815called, and the result will be a false value if FIRSTKEY returns the empty
816list, true otherwise.
817
818However, you should B<not> blindly rely on perl always doing the right
819thing. Particularly, perl will mistakenly return true when you clear the
820hash by repeatedly calling DELETE until it is empty. You are therefore
821advised to supply your own SCALAR method when you want to be absolutely
822sure that your hash behaves nicely in scalar context.
823
824In our example we can just call C<scalar> on the underlying hash
825referenced by C<$self-E<gt>{LIST}>:
826
827 sub SCALAR {
828 carp &whowasi if $DEBUG;
829 my $self = shift;
830 return scalar %{ $self->{LIST} }
831 }
832
833NOTE: In perl 5.25 the behavior of scalar %hash on an untied hash changed
834to return the count of keys. Prior to this it returned a string containing
835information about the bucket setup of the hash. See
836L<Hash::Util/bucket_ratio> for a backwards compatibility path.
837
838=item UNTIE this
839X<UNTIE>
840
841This is called when C<untie> occurs. See L<The C<untie> Gotcha> below.
842
843=item DESTROY this
844X<DESTROY>
845
846This method is triggered when a tied hash is about to go out of
847scope. You don't really need it unless you're trying to add debugging
848or have auxiliary state to clean up. Here's a very simple function:
849
850 sub DESTROY {
851 carp &whowasi if $DEBUG;
852 }
853
854=back
855
856Note that functions such as keys() and values() may return huge lists
857when used on large objects, like DBM files. You may prefer to use the
858each() function to iterate over such. Example:
859
860 # print out history file offsets
861 use NDBM_File;
862 tie(%HIST, 'NDBM_File', '/usr/lib/news/history', 1, 0);
863 while (($key,$val) = each %HIST) {
864 print $key, ' = ', unpack('L',$val), "\n";
865 }
866 untie(%HIST);
867
868=head2 Tying FileHandles
869X<filehandle, tying>
870
871This is partially implemented now.
872
873A class implementing a tied filehandle should define the following
874methods: TIEHANDLE, at least one of PRINT, PRINTF, WRITE, READLINE, GETC,
875READ, and possibly CLOSE, UNTIE and DESTROY. The class can also provide: BINMODE,
876OPEN, EOF, FILENO, SEEK, TELL - if the corresponding perl operators are
877used on the handle.
878
879When STDERR is tied, its PRINT method will be called to issue warnings
880and error messages. This feature is temporarily disabled during the call,
881which means you can use C<warn()> inside PRINT without starting a recursive
882loop. And just like C<__WARN__> and C<__DIE__> handlers, STDERR's PRINT
883method may be called to report parser errors, so the caveats mentioned under
884L<perlvar/%SIG> apply.
885
886All of this is especially useful when perl is embedded in some other
887program, where output to STDOUT and STDERR may have to be redirected
888in some special way. See nvi and the Apache module for examples.
889
890When tying a handle, the first argument to C<tie> should begin with an
891asterisk. So, if you are tying STDOUT, use C<*STDOUT>. If you have
892assigned it to a scalar variable, say C<$handle>, use C<*$handle>.
893C<tie $handle> ties the scalar variable C<$handle>, not the handle inside
894it.
895
896In our example we're going to create a shouting handle.
897
898 package Shout;
899
900=over 4
901
902=item TIEHANDLE classname, LIST
903X<TIEHANDLE>
904
905This is the constructor for the class. That means it is expected to
906return a blessed reference of some sort. The reference can be used to
907hold some internal information.
908
909 sub TIEHANDLE { print "<shout>\n"; my $i; bless \$i, shift }
910
911=item WRITE this, LIST
912X<WRITE>
913
914This method will be called when the handle is written to via the
915C<syswrite> function.
916
917 sub WRITE {
918 $r = shift;
919 my($buf,$len,$offset) = @_;
920 print "WRITE called, \$buf=$buf, \$len=$len, \$offset=$offset";
921 }
922
923=item PRINT this, LIST
924X<PRINT>
925
926This method will be triggered every time the tied handle is printed to
927with the C<print()> or C<say()> functions. Beyond its self reference
928it also expects the list that was passed to the print function.
929
930 sub PRINT { $r = shift; $$r++; print join($,,map(uc($_),@_)),$\ }
931
932C<say()> acts just like C<print()> except $\ will be localized to C<\n> so
933you need do nothing special to handle C<say()> in C<PRINT()>.
934
935=item PRINTF this, LIST
936X<PRINTF>
937
938This method will be triggered every time the tied handle is printed to
939with the C<printf()> function.
940Beyond its self reference it also expects the format and list that was
941passed to the printf function.
942
943 sub PRINTF {
944 shift;
945 my $fmt = shift;
946 print sprintf($fmt, @_);
947 }
948
949=item READ this, LIST
950X<READ>
951
952This method will be called when the handle is read from via the C<read>
953or C<sysread> functions.
954
955 sub READ {
956 my $self = shift;
957 my $bufref = \$_[0];
958 my(undef,$len,$offset) = @_;
959 print "READ called, \$buf=$bufref, \$len=$len, \$offset=$offset";
960 # add to $$bufref, set $len to number of characters read
961 $len;
962 }
963
964=item READLINE this
965X<READLINE>
966
967This method is called when the handle is read via C<E<lt>HANDLEE<gt>>
968or C<readline HANDLE>.
969
970As per L<C<readline>|perlfunc/readline>, in scalar context it should return
971the next line, or C<undef> for no more data. In list context it should
972return all remaining lines, or an empty list for no more data. The strings
973returned should include the input record separator C<$/> (see L<perlvar>),
974unless it is C<undef> (which means "slurp" mode).
975
976 sub READLINE {
977 my $r = shift;
978 if (wantarray) {
979 return ("all remaining\n",
980 "lines up\n",
981 "to eof\n");
982 } else {
983 return "READLINE called " . ++$$r . " times\n";
984 }
985 }
986
987=item GETC this
988X<GETC>
989
990This method will be called when the C<getc> function is called.
991
992 sub GETC { print "Don't GETC, Get Perl"; return "a"; }
993
994=item EOF this
995X<EOF>
996
997This method will be called when the C<eof> function is called.
998
999Starting with Perl 5.12, an additional integer parameter will be passed. It
1000will be zero if C<eof> is called without parameter; C<1> if C<eof> is given
1001a filehandle as a parameter, e.g. C<eof(FH)>; and C<2> in the very special
1002case that the tied filehandle is C<ARGV> and C<eof> is called with an empty
1003parameter list, e.g. C<eof()>.
1004
1005 sub EOF { not length $stringbuf }
1006
1007=item CLOSE this
1008X<CLOSE>
1009
1010This method will be called when the handle is closed via the C<close>
1011function.
1012
1013 sub CLOSE { print "CLOSE called.\n" }
1014
1015=item UNTIE this
1016X<UNTIE>
1017
1018As with the other types of ties, this method will be called when C<untie> happens.
1019It may be appropriate to "auto CLOSE" when this occurs. See
1020L<The C<untie> Gotcha> below.
1021
1022=item DESTROY this
1023X<DESTROY>
1024
1025As with the other types of ties, this method will be called when the
1026tied handle is about to be destroyed. This is useful for debugging and
1027possibly cleaning up.
1028
1029 sub DESTROY { print "</shout>\n" }
1030
1031=back
1032
1033Here's how to use our little example:
1034
1035 tie(*FOO,'Shout');
1036 print FOO "hello\n";
1037 $a = 4; $b = 6;
1038 print FOO $a, " plus ", $b, " equals ", $a + $b, "\n";
1039 print <FOO>;
1040
1041=head2 UNTIE this
1042X<UNTIE>
1043
1044You can define for all tie types an UNTIE method that will be called
1045at untie(). See L<The C<untie> Gotcha> below.
1046
1047=head2 The C<untie> Gotcha
1048X<untie>
1049
1050If you intend making use of the object returned from either tie() or
1051tied(), and if the tie's target class defines a destructor, there is a
1052subtle gotcha you I<must> guard against.
1053
1054As setup, consider this (admittedly rather contrived) example of a
1055tie; all it does is use a file to keep a log of the values assigned to
1056a scalar.
1057
1058 package Remember;
1059
1060 use strict;
1061 use warnings;
1062 use IO::File;
1063
1064 sub TIESCALAR {
1065 my $class = shift;
1066 my $filename = shift;
1067 my $handle = IO::File->new( "> $filename" )
1068 or die "Cannot open $filename: $!\n";
1069
1070 print $handle "The Start\n";
1071 bless {FH => $handle, Value => 0}, $class;
1072 }
1073
1074 sub FETCH {
1075 my $self = shift;
1076 return $self->{Value};
1077 }
1078
1079 sub STORE {
1080 my $self = shift;
1081 my $value = shift;
1082 my $handle = $self->{FH};
1083 print $handle "$value\n";
1084 $self->{Value} = $value;
1085 }
1086
1087 sub DESTROY {
1088 my $self = shift;
1089 my $handle = $self->{FH};
1090 print $handle "The End\n";
1091 close $handle;
1092 }
1093
1094 1;
1095
1096Here is an example that makes use of this tie:
1097
1098 use strict;
1099 use Remember;
1100
1101 my $fred;
1102 tie $fred, 'Remember', 'myfile.txt';
1103 $fred = 1;
1104 $fred = 4;
1105 $fred = 5;
1106 untie $fred;
1107 system "cat myfile.txt";
1108
1109This is the output when it is executed:
1110
1111 The Start
1112 1
1113 4
1114 5
1115 The End
1116
1117So far so good. Those of you who have been paying attention will have
1118spotted that the tied object hasn't been used so far. So lets add an
1119extra method to the Remember class to allow comments to be included in
1120the file; say, something like this:
1121
1122 sub comment {
1123 my $self = shift;
1124 my $text = shift;
1125 my $handle = $self->{FH};
1126 print $handle $text, "\n";
1127 }
1128
1129And here is the previous example modified to use the C<comment> method
1130(which requires the tied object):
1131
1132 use strict;
1133 use Remember;
1134
1135 my ($fred, $x);
1136 $x = tie $fred, 'Remember', 'myfile.txt';
1137 $fred = 1;
1138 $fred = 4;
1139 comment $x "changing...";
1140 $fred = 5;
1141 untie $fred;
1142 system "cat myfile.txt";
1143
1144When this code is executed there is no output. Here's why:
1145
1146When a variable is tied, it is associated with the object which is the
1147return value of the TIESCALAR, TIEARRAY, or TIEHASH function. This
1148object normally has only one reference, namely, the implicit reference
1149from the tied variable. When untie() is called, that reference is
1150destroyed. Then, as in the first example above, the object's
1151destructor (DESTROY) is called, which is normal for objects that have
1152no more valid references; and thus the file is closed.
1153
1154In the second example, however, we have stored another reference to
1155the tied object in $x. That means that when untie() gets called
1156there will still be a valid reference to the object in existence, so
1157the destructor is not called at that time, and thus the file is not
1158closed. The reason there is no output is because the file buffers
1159have not been flushed to disk.
1160
1161Now that you know what the problem is, what can you do to avoid it?
1162Prior to the introduction of the optional UNTIE method the only way
1163was the good old C<-w> flag. Which will spot any instances where you call
1164untie() and there are still valid references to the tied object. If
1165the second script above this near the top C<use warnings 'untie'>
1166or was run with the C<-w> flag, Perl prints this
1167warning message:
1168
1169 untie attempted while 1 inner references still exist
1170
1171To get the script to work properly and silence the warning make sure
1172there are no valid references to the tied object I<before> untie() is
1173called:
1174
1175 undef $x;
1176 untie $fred;
1177
1178Now that UNTIE exists the class designer can decide which parts of the
1179class functionality are really associated with C<untie> and which with
1180the object being destroyed. What makes sense for a given class depends
1181on whether the inner references are being kept so that non-tie-related
1182methods can be called on the object. But in most cases it probably makes
1183sense to move the functionality that would have been in DESTROY to the UNTIE
1184method.
1185
1186If the UNTIE method exists then the warning above does not occur. Instead the
1187UNTIE method is passed the count of "extra" references and can issue its own
1188warning if appropriate. e.g. to replicate the no UNTIE case this method can
1189be used:
1190
1191 sub UNTIE
1192 {
1193 my ($obj,$count) = @_;
1194 carp "untie attempted while $count inner references still exist"
1195 if $count;
1196 }
1197
1198=head1 SEE ALSO
1199
1200See L<DB_File> or L<Config> for some interesting tie() implementations.
1201A good starting point for many tie() implementations is with one of the
1202modules L<Tie::Scalar>, L<Tie::Array>, L<Tie::Hash>, or L<Tie::Handle>.
1203
1204=head1 BUGS
1205
1206The normal return provided by C<scalar(%hash)> is not
1207available. What this means is that using %tied_hash in boolean
1208context doesn't work right (currently this always tests false,
1209regardless of whether the hash is empty or hash elements).
1210[ This paragraph needs review in light of changes in 5.25 ]
1211
1212Localizing tied arrays or hashes does not work. After exiting the
1213scope the arrays or the hashes are not restored.
1214
1215Counting the number of entries in a hash via C<scalar(keys(%hash))>
1216or C<scalar(values(%hash)>) is inefficient since it needs to iterate
1217through all the entries with FIRSTKEY/NEXTKEY.
1218
1219Tied hash/array slices cause multiple FETCH/STORE pairs, there are no
1220tie methods for slice operations.
1221
1222You cannot easily tie a multilevel data structure (such as a hash of
1223hashes) to a dbm file. The first problem is that all but GDBM and
1224Berkeley DB have size limitations, but beyond that, you also have problems
1225with how references are to be represented on disk. One
1226module that does attempt to address this need is DBM::Deep. Check your
1227nearest CPAN site as described in L<perlmodlib> for source code. Note
1228that despite its name, DBM::Deep does not use dbm. Another earlier attempt
1229at solving the problem is MLDBM, which is also available on the CPAN, but
1230which has some fairly serious limitations.
1231
1232Tied filehandles are still incomplete. sysopen(), truncate(),
1233flock(), fcntl(), stat() and -X can't currently be trapped.
1234
1235=head1 AUTHOR
1236
1237Tom Christiansen
1238
1239TIEHANDLE by Sven Verdoolaege <F<skimo@dns.ufsia.ac.be>> and Doug MacEachern <F<dougm@osf.org>>
1240
1241UNTIE by Nick Ing-Simmons <F<nick@ing-simmons.net>>
1242
1243SCALAR by Tassilo von Parseval <F<tassilo.von.parseval@rwth-aachen.de>>
1244
1245Tying Arrays by Casey West <F<casey@geeknest.com>>