Moose::Cookbook::Basics::Recipe9.3pm

Langue: en

Version: 2008-08-29 (ubuntu - 07/07/09)

Section: 3 (Bibliothèques de fonctions)

NAME

Moose::Cookbook::Basics::Recipe9 - Builder methods and lazy_build

SYNOPSIS

   package BinaryTree;
   use Moose;
 
   has 'node' => (is => 'rw', isa => 'Any');
 
   has 'parent' => (
       is        => 'rw',
       isa       => 'BinaryTree',
       predicate => 'has_parent',
       weak_ref  => 1,
   );
 
   has 'left' => (
       is        => 'rw',
       isa       => 'BinaryTree',
       predicate => 'has_left',
       lazy      => 1,
       builder   => '_build_child_tree',
   );
 
   has 'right' => (
       is        => 'rw',
       isa       => 'BinaryTree',
       predicate => 'has_right',
       lazy      => 1,
       builder   => '_build_child_tree',
   );
 
   before 'right', 'left' => sub {
       my ($self, $tree) = @_;
       $tree->parent($self) if defined $tree;
   };
 
   sub _build_child_tree {
       my $self = shift;
 
       return BinaryTree->new( parent => $self );
   }
 
 

DESCRIPTION

If you've already read Moose::Cookbook::Basics::Recipe3, then this example should look awfully familiar. In fact, all we've done here is replace the attribute "default" with a "builder" method.

In this particular case, the "default" and "builder" options act in exactly the same way. When the "left" or "right" attribute get method is called, Moose will call the builder method to initialize the attribute.

Note that Moose calls the builder method on the object which has the attribute. Here's an example in code:

   my $tree = BinaryTree->new();
 
   my $left = $tree->left();
 
 

At this point, Moose will call "$tree->_build_child_tree()" in order to populate the "left" attribute. If we had passed "left" to the original constructor, the builer would not be called.

Subclassable

There are some differences between "default" and "builder". Because "builder" is called by name, it goes through Perl's normal inheritance system. This means that builder methods are both inheritable and overrideable.

For example, we might make a "BinaryTree" subclass:

   package TrinaryTree;
   use Moose;
 
   extends 'BinaryTree';
 
   has 'middle' => (
       is        => 'rw',
       isa       => 'BinaryTree',
       predicate => 'has_middle',
       lazy      => 1,
       builder   => '_build_child_tree',
   );
 
 

This doesn't quite work though. If you look closely at the "_build_child_tree" method defined in "BinaryTree", you'll notice that it hard-codes a class name. Naughty us!

Also, as a bonus, we'll pass @_ through, so subclasses can override the method to pass additional options to the constructor.

Good object-oriented code should allow itself to be subclassed gracefully. Let's tweak "_build_child_tree":

   sub _build_child_tree {
       my $self = shift;
 
       return (ref $self)->new( parent => $self, @_ );
   }
 
 

Now "_build_child_tree" can be gracefully inherited and overridden.

Composable

There's more to builders than just subclassing, though. The fact that builders are called by name also makes them suitable for use in a role.
   package HasAnimal;
   use Moose::Role;
 
   requires '_build_animal';
 
   has 'animal' => (
       is      => 'ro',
       isa     => 'Animal',
       lazy    => 1,
       builder => '_build_animal',
   );
 
 

This role provides an animal attribute, but requires that the consumer of the role provide a builder method it.

   package CatLover;
   use Moose;
 
   with 'HasAnimal';
 
   sub _build_animal {
       return Cat->new();
   }
 
 

The lazy_build shortcut

The "lazy_build" attribute parameter can be used as sugar to specify a whole bunch of options at once.
   has 'animal' => (
       is         => 'ro',
       isa        => 'Animal',
       lazy_build => 1,
   );
 
 

This is a shorthand for this:

   has 'animal' => (
       is        => 'ro',
       isa       => 'Animal',
       required  => 1,
       lazy      => 1,
       builder   => '_build_animal',
       predicate => 'has_animal',
       clearer   => 'clear_animal',
   );
 
 

If your attribute starts with an underscore, Moose is smart and will do the right thing with the "predicate" and "clearer", making them both start with an underscore. The "builder" method always starts with an underscore, since you will want this to be private the vast majority of the time.

Note that the "builder" method name is created by simply taking ``_build_'' and appending the attribute name. This means that attributes with a leading underscore like "_animal" end up with a builder named "_build__animal".

CONCLUSION

The "builder" option is a more OO-friendly version of the "default" functionality. It also has the property of separating out the code into a separate well-defined method. This alone makes it valuable. It is quite ugly to jam a long default code reference into your attribute definition.

Here are some good rules for determining when to use "builder" vs "default".

If the default value is a simple scalar that only needs to be calculated once (or a constant), use "default".

If the default value is an empty reference that needs to be wrapped in a coderef like "sub { [] }", use "default".

Otherwise, use "builder".

This ensures that your classes are easily subclassable, and also helps keep crufty code out of your attribute definition blocks.

AUTHOR

Dave Rolsky <autarch@urth.org> Copyright 2006-2008 by Infinity Interactive, Inc.

<http://www.iinteractive.com>

This library is free software; you can redistribute it and/or modify it under the same terms as Perl itself.