From 479ba38336aaacaf3a7e00a4662d83e2dc833197 Mon Sep 17 00:00:00 2001 From: Gurusamy Sarathy Date: Sun, 27 Feb 2000 21:57:40 +0000 Subject: [PATCH] support fields::new() and fields::phash() to create pseudo-hash objects and plain pseudo-hashes respectively (this avoids users from having to diddle %FIELDS directly); update documentation to suit (from original fields::phash() implementation by Peter Scott ) p4raw-id: //depot/perl@5293 --- lib/fields.pm | 209 ++++++++++++++++++++++++++++++++++++++++-------------- pod/perldelta.pod | 6 ++ pod/perlfunc.pod | 4 +- pod/perlref.pod | 51 +++++++------ t/lib/fields.t | 37 ++++++++-- 5 files changed, 225 insertions(+), 82 deletions(-) diff --git a/lib/fields.pm b/lib/fields.pm index bc9e513..734cc0d 100644 --- a/lib/fields.pm +++ b/lib/fields.pm @@ -8,59 +8,117 @@ fields - compile-time class fields { package Foo; - use fields qw(foo bar _private); + use fields qw(foo bar _Foo_private); + sub new { + my Foo $self = shift; + unless (ref $self) { + $self = fields::new($self); + $self->{_Foo_private} = "this is Foo's secret"; + } + $self->{foo} = 10; + $self->{bar} = 20; + return $self; + } } - ... - my Foo $var = new Foo; + + my Foo $var = Foo::->new; $var->{foo} = 42; - # This will generate a compile-time error. + # this will generate a compile-time error $var->{zap} = 42; + # subclassing { package Bar; use base 'Foo'; - use fields 'bar'; # hides Foo->{bar} - use fields qw(baz _private); # not shared with Foo + use fields qw(baz _Bar_private); # not shared with Foo + sub new { + my $class = shift; + my $self = fields::new($class); + $self->SUPER::new(); # init base fields + $self->{baz} = 10; # init own fields + $self->{_Bar_private} = "this is Bar's secret"; + return $self; + } } =head1 DESCRIPTION -The C pragma enables compile-time verified class fields. It -does so by updating the %FIELDS hash in the calling package. +The C pragma enables compile-time verified class fields. + +NOTE: The current implementation keeps the declared fields in the %FIELDS +hash of the calling package, but this may change in future versions. +Do B update the %FIELDS hash directly, because it must be created +at compile-time for it to be fully useful, as is done by this pragma. If a typed lexical variable holding a reference is used to access a -hash element and the %FIELDS hash of the given type exists, then the -operation is turned into an array access at compile time. The %FIELDS -hash maps from hash element names to the array indices. If the hash -element is not present in the %FIELDS hash, then a compile-time error -is signaled. - -Since the %FIELDS hash is used at compile-time, it must be set up at -compile-time too. This is made easier with the help of the 'fields' -and the 'base' pragma modules. The 'base' pragma will copy fields -from base classes and the 'fields' pragma adds new fields. Field -names that start with an underscore character are made private to a -class and are not visible to subclasses. Inherited fields can be +hash element and a package with the same name as the type has declared +class fields using this pragma, then the operation is turned into an +array access at compile time. + +The related C pragma will combine fields from base classes and any +fields declared using the C pragma. This enables fields +inheritance to work properly. + +Field names that start with an underscore character are made private to +the class and are not visible to subclasses. Inherited fields can be overridden but will generate a warning if used together with the C<-w> switch. The effect of all this is that you can have objects with named fields which are as compact and as fast arrays to access. This only works as long as the objects are accessed through properly typed variables. -For untyped access to work you have to make sure that a reference to -the proper %FIELDS hash is assigned to the 0'th element of the array -object (so that the objects can be treated like an pseudo-hash). A -constructor like this does the job: +If the objects are not typed, access is only checked at run time. + +The following functions are supported: + +=over 8 + +=item new - sub new - { - my $class = shift; - no strict 'refs'; - my $self = bless [\%{"$class\::FIELDS"}], $class; - $self; - } +fields::new() creates and blesses a pseudo-hash comprised of the fields +declared using the C pragma into the specified class. +This makes it possible to write a constructor like this: + + package Critter::Sounds; + use fields qw(cat dog bird); + + sub new { + my Critter::Sounds $self = shift; + $self = fields::new($class) unless ref $self; + $self->{cat} = 'meow'; # scalar element + @$self->{'dog','bird'} = ('bark','tweet'); # slice + return $self; + } + +=item phash + +fields::phash() can be used to create and initialize a plain (unblessed) +pseudo-hash. This function should always be used instead of creating +pseudo-hashes directly. + +If the first argument is a reference to an array, the pseudo-hash will +be created with keys from that array. If a second argument is supplied, +it must also be a reference to an array whose elements will be used as +the values. If the second array contains less elements than the first, +the trailing elements of the pseudo-hash will not be initialized. +This makes it particularly useful for creating a pseudo-hash from +subroutine arguments: + + sub dogtag { + my $tag = fields::phash([qw(name rank ser_num)], [@_]); + } +fields::phash() also accepts a list of key-value pairs that will +be used to construct the pseudo hash. Examples: + + my $tag = fields::phash(name => "Joe", + rank => "captain", + ser_num => 42); + + my $pseudohash = fields::phash(%args); + +=back =head1 SEE ALSO @@ -92,6 +150,8 @@ sub import { my $class = shift; return unless @_; my $package = caller(0); + # avoid possible typo warnings + %{"$package\::FIELDS"} = () unless %{"$package\::FIELDS"}; my $fields = \%{"$package\::FIELDS"}; my $fattr = ($attr{$package} ||= [1]); my $next = @$fattr; @@ -131,11 +191,13 @@ sub import { } } -sub inherit # called by base.pm when $base_fields is nonempty -{ +sub inherit { # called by base.pm when $base_fields is nonempty my($derived, $base) = @_; my $base_attr = $attr{$base}; my $derived_attr = $attr{$derived} ||= []; + # avoid possible typo warnings + %{"$base\::FIELDS"} = () unless %{"$base\::FIELDS"}; + %{"$derived\::FIELDS"} = () unless %{"$derived\::FIELDS"}; my $base_fields = \%{"$base\::FIELDS"}; my $derived_fields = \%{"$derived\::FIELDS"}; @@ -157,27 +219,66 @@ sub inherit # called by base.pm when $base_fields is nonempty sub _dump # sometimes useful for debugging { - for my $pkg (sort keys %attr) { - print "\n$pkg"; - if (@{"$pkg\::ISA"}) { - print " (", join(", ", @{"$pkg\::ISA"}), ")"; - } - print "\n"; - my $fields = \%{"$pkg\::FIELDS"}; - for my $f (sort {$fields->{$a} <=> $fields->{$b}} keys %$fields) { - my $no = $fields->{$f}; - print " $no: $f"; - my $fattr = $attr{$pkg}[$no]; - if (defined $fattr) { - my @a; - push(@a, "public") if $fattr & _PUBLIC; - push(@a, "private") if $fattr & _PRIVATE; - push(@a, "inherited") if $no < $attr{$pkg}[0]; - print "\t(", join(", ", @a), ")"; - } - print "\n"; - } - } + for my $pkg (sort keys %attr) { + print "\n$pkg"; + if (@{"$pkg\::ISA"}) { + print " (", join(", ", @{"$pkg\::ISA"}), ")"; + } + print "\n"; + my $fields = \%{"$pkg\::FIELDS"}; + for my $f (sort {$fields->{$a} <=> $fields->{$b}} keys %$fields) { + my $no = $fields->{$f}; + print " $no: $f"; + my $fattr = $attr{$pkg}[$no]; + if (defined $fattr) { + my @a; + push(@a, "public") if $fattr & _PUBLIC; + push(@a, "private") if $fattr & _PRIVATE; + push(@a, "inherited") if $no < $attr{$pkg}[0]; + print "\t(", join(", ", @a), ")"; + } + print "\n"; + } + } +} + +sub new { + my $class = shift; + $class = ref $class if ref $class; + return bless [\%{$class . "::FIELDS"}], $class; +} + +sub phash { + my $h; + my $v; + if (@_) { + if (ref $_[0] eq 'ARRAY') { + my $a = shift; + @$h{@$a} = 1 .. @$a; + if (@_) { + $v = shift; + unless (! @_ and ref $v eq 'ARRAY') { + require Carp; + Carp::croak ("Expected at most two array refs\n"); + } + } + } + else { + if (@_ % 2) { + require Carp; + Carp::croak ("Odd number of elements initializing pseudo-hash\n"); + } + my $i = 0; + @$h{grep ++$i % 2, @_} = 1 .. @_ / 2; + $i = 0; + $v = [grep $i++ % 2, @_]; + } + } + else { + $h = {}; + $v = []; + } + [ $h, @$v ]; } 1; diff --git a/pod/perldelta.pod b/pod/perldelta.pod index 97db6cc..6d17634 100644 --- a/pod/perldelta.pod +++ b/pod/perldelta.pod @@ -1042,6 +1042,12 @@ delete() now works on pseudo-hashes. When given a pseudo-hash element or slice it deletes the values corresponding to the keys (but not the keys themselves). See L. +Pseudo-hash slices with constant keys are now optimized to array lookups +at compile-time. + +The C pragma now provides ways to create pseudo-hashes, via +fields::new() and fields::phash(). See L. + =head2 C and AUTOLOAD The C construct works correctly when C<&sub> happens diff --git a/pod/perlfunc.pod b/pod/perlfunc.pod index de7abdc..e8f92d3 100644 --- a/pod/perlfunc.pod +++ b/pod/perlfunc.pod @@ -1477,8 +1477,8 @@ This surprising autovivification in what does not at first--or even second--glance appear to be an lvalue context may be fixed in a future release. -See L for specifics on how exists() acts when -used on a pseudo-hash. +See L for specifics +on how exists() acts when used on a pseudo-hash. Use of a subroutine call, rather than a subroutine name, as an argument to exists() is an error. diff --git a/pod/perlref.pod b/pod/perlref.pod index f738399..1d47f37 100644 --- a/pod/perlref.pod +++ b/pod/perlref.pod @@ -546,51 +546,58 @@ For this to work, the array must contain extra information. The first element of the array has to be a hash reference that maps field names to array indices. Here is an example: - $struct = [{foo => 1, bar => 2}, "FOO", "BAR"]; + $struct = [{foo => 1, bar => 2}, "FOO", "BAR"]; - $struct->{foo}; # same as $struct->[1], i.e. "FOO" - $struct->{bar}; # same as $struct->[2], i.e. "BAR" + $struct->{foo}; # same as $struct->[1], i.e. "FOO" + $struct->{bar}; # same as $struct->[2], i.e. "BAR" - keys %$struct; # will return ("foo", "bar") in some order - values %$struct; # will return ("FOO", "BAR") in same some order + keys %$struct; # will return ("foo", "bar") in some order + values %$struct; # will return ("FOO", "BAR") in same some order - while (my($k,$v) = each %$struct) { + while (my($k,$v) = each %$struct) { print "$k => $v\n"; - } + } Perl will raise an exception if you try to access nonexistent fields. -For better performance, Perl can also -do the translation from field names to array indices at compile time for -typed object references. See L. +To avoid inconsistencies, always use the fields::phash() function +provided by the C pragma. + + use fields; + $pseudohash = fields::phash(foo => "FOO", bar => "BAR"); + +For better performance, Perl can also do the translation from field +names to array indices at compile time for typed object references. +See L. There are two ways to check for the existence of a key in a pseudo-hash. The first is to use exists(). This checks to see if the given field has ever been set. It acts this way to match the behavior of a regular hash. For instance: - $phash = [{foo =>1, bar => 2, pants => 3}, 'FOO']; - $phash->{pants} = undef; + use fields; + $phash = fields::phash([qw(foo bar pants)], ['FOO']); + $phash->{pants} = undef; - print exists $phash->{foo}; # true, 'foo' was set in the declaration - print exists $phash->{bar}; # false, 'bar' has not been used. - print exists $phash->{pants}; # true, your 'pants' have been touched + print exists $phash->{foo}; # true, 'foo' was set in the declaration + print exists $phash->{bar}; # false, 'bar' has not been used. + print exists $phash->{pants}; # true, your 'pants' have been touched The second is to use exists() on the hash reference sitting in the first array element. This checks to see if the given key is a valid field in the pseudo-hash. - print exists $phash->[0]{bar}; # true, 'bar' is a valid field - print exists $phash->[0]{shoes};# false, 'shoes' can't be used + print exists $phash->[0]{bar}; # true, 'bar' is a valid field + print exists $phash->[0]{shoes};# false, 'shoes' can't be used delete() on a pseudo-hash element only deletes the value corresponding to the key, not the key itself. To delete the key, you'll have to explicitly delete it from the first hash element. - print delete $phash->{foo}; # prints $phash->[1], "FOO" - print exists $phash->{foo}; # false - print exists $phash->[0]{foo}; # true, key still exists - print delete $phash->[0]{foo}; # now key is gone - print $phash->{foo}; # runtime exception + print delete $phash->{foo}; # prints $phash->[1], "FOO" + print exists $phash->{foo}; # false + print exists $phash->[0]{foo}; # true, key still exists + print delete $phash->[0]{foo}; # now key is gone + print $phash->{foo}; # runtime exception =head2 Function Templates diff --git a/t/lib/fields.t b/t/lib/fields.t index 01f9389..310967f 100755 --- a/t/lib/fields.t +++ b/t/lib/fields.t @@ -66,8 +66,7 @@ use fields qw(b1 d1 _b1 _d1); # hide b1 package main; -sub fstr -{ +sub fstr { my $h = shift; my @tmp; for my $k (sort {$h->{$a} <=> $h->{$b}} keys %$h) { @@ -90,7 +89,7 @@ my %expect = ( 'Foo::Bar::Baz' => 'b1:1,b2:2,b3:3,foo:4,bar:5,baz:6', ); -print "1..", int(keys %expect)+7, "\n"; +print "1..", int(keys %expect)+13, "\n"; my $testno = 0; while (my($class, $exp) = each %expect) { no strict 'refs'; @@ -125,9 +124,25 @@ print "ok ", ++$testno, "\n"; print "not " unless "@$obj1{'b1','_b1','b1'}" eq "28 44 28"; print "ok ", ++$testno, "\n"; +my $ph = fields::phash(a => 1, b => 2, c => 3); +print "not " unless fstr($ph) eq 'a:1,b:2,c:3'; +print "ok ", ++$testno, "\n"; + +$ph = fields::phash([qw/a b c/], [1, 2, 3]); +print "not " unless fstr($ph) eq 'a:1,b:2,c:3'; +print "ok ", ++$testno, "\n"; + +$ph = fields::phash([qw/a b c/], [1]); +print "not " if exists $ph->{b} or exists $ph->{c} or !exists $ph->{a}; +print "ok ", ++$testno, "\n"; + +eval '$ph = fields::phash("odd")'; +print "not " unless $@ && $@ =~ /^Odd number of/; +print "ok ", ++$testno, "\n"; + #fields::_dump(); -# check if +# check if fields autovivify { package Foo; use fields qw(foo bar); @@ -140,3 +155,17 @@ print "ok ", ++$testno, "\n"; print $a->{foo}[1], "\n"; print $a->{bar}->{A}, "\n"; } + +# check if fields autovivify +{ + package Bar; + use fields qw(foo bar); + sub new { return fields::new($_[0]) } + + package main; + my Bar $a = Bar::->new(); + $a->{foo} = ['a', 'ok ' . ++$testno, 'c']; + $a->{bar} = { A => 'ok ' . ++$testno }; + print $a->{foo}[1], "\n"; + print $a->{bar}->{A}, "\n"; +} -- 2.7.4