fields - compile-time class fields
{
package Foo;
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 $var = Foo->new;
$var->{foo} = 42;
# this will generate a run-time error
$var->{zap} = 42;
# this will generate a compile-time error
my Foo $foo = Foo->new;
$foo->{zap} = 24;
# subclassing
{
package Bar;
use base '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;
}
}
# return-value of Mu::fields or classobj->fields
class Foo {
has $foo;
has @bar;
has %baz :const;
}
my @fields = Foo->fields;
print $fields[0]->name; # foo
The fields
pragma enables compile-time and run-time verified class fields.
With cperl classes the fields methods returns a list of fields objects, representing the has declarations of the class with all imported roles - similar to the perl6 https://docs.perl6.org/type/Metamodel::ClassHOW#(Metamodel::AttributeContainer)_method_attributes|Metamodel::AttributeContainer returning https://docs.perl6.org/type/Attribute|Attribute objects.
NOTE: The current implementation keeps the declared fields in the %FIELDS hash of the calling package, but this may change in future versions. Do not 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 (my Class $var
) holding a reference is used to access a hash element and a package with the same name as the type has declared class fields using this pragma or by using the cperl class syntax, then the hash key is verified at compile time. If the variables are not typed, access is only checked at run time. By using the new class syntax the hash access is turned into an array access at compile-time, as with the old pseudo-hash feature. See perlclass.
The related base
pragma will combine fields from base classes and any fields declared using the fields
pragma. This enables field inheritance to work properly. Inherited fields can be overridden but will generate a warning if warnings are enabled.
Only valid for Perl 5.8.x and earlier: Field names that start with an underscore character are made private to the class and are not visible to subclasses. Recommended is to use a class
or package
block with my
variables instead of public has
fields.
Also, until in Perl 5.8.x and future cperl versions, this pragma uses pseudo-hashes, the effect being that you can have objects with named fields which are as compact and as fast arrays to access, as long as the objects are accessed through properly typed variables.
The effect of all this is that you can have objects with named fields which are as compact and as fast as arrays to access. This only works as long as the objects are accessed through properly typed variables. If the objects are not typed, access is only checked at run time.
The following functions are supported:
fields::new() creates and blesses a hash comprised of the fields declared using the fields
pragma into the specified class. It is the recommended way to construct a fields-based object.
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($self) unless ref $self;
$self->{cat} = 'meow'; # scalar element
@$self{'dog','bird'} = ('bark','tweet'); # slice
return $self;
}
This function only works in Perl 5.8.x and earlier. Pseudo-hashes were removed from Perl as of 5.10. Consider using restricted hashes or fields::new() instead (which itself uses restricted hashes under 5.10+). See Hash::Util. Using fields::phash() under 5.10 or higher will cause an error.
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);
In cperl the fields method returns an array of all fields for each class or object. See also the perl6 Attribute class. Each field object has the following methods:
Returns the name of the field, including the sigil.
Returns the name of the class.
Returns YES if the field is :const, or NO if not.
Returns the declared type of the field, as string.
Returns the current value of the object field. Not valid for class fields.
Sets the value of the object field. Not valid for class fields.
Declaration of fields are superceded in cperl by has
field declarations inside a class or role. Each has
field corresponds to a cperl fields object. See "fields" in Mu.
Due to the limitations of the implementation, you must use base before you declare any of your own fields.
perl5 allows @ISA do be changed at run-time, which defeats any compile-time type checks and optimizations. cperl packages which use fields or base guarantee a READONLY @ISA, which enables compile-time type checking of inherited classes.