Lots of doc improvements for native delegations.
[gitmo/Moose.git] / lib / Moose / Manual / Delegation.pod
1 =pod
2
3 =head1 NAME
4
5 Moose::Manual::Delegation - Attribute delegation
6
7 =head1 WHAT IS DELEGATION?
8
9 Delegation is a feature that lets you create "proxy" methods that do nothing
10 more than call some other method on an attribute. This lets you simplify a
11 complex set of "has-a" relationships and present a single unified API from one
12 class.
13
14 With delegation, consumers of a class don't need to know about all the
15 objects it contains, reducing the amount of API they need to learn.
16
17 Delegations are defined as a mapping between one or more methods
18 provided by the "real" class (the delegatee), and a set of
19 corresponding methods in the delegating class. The delegating class
20 can re-use the method names provided by the delegatee or provide its
21 own names.
22
23 Delegation is also a great way to wrap an existing class, especially a
24 non-Moose class or one that is somehow hard (or impossible) to
25 subclass.
26
27 =head1 DEFINING A MAPPING
28
29 Moose offers a number of options for defining a delegation's mapping,
30 ranging from simple to complex.
31
32 The simplest form is to simply specify a list of methods:
33
34   package Website;
35
36   use Moose;
37
38   has 'uri' => (
39       is      => 'ro',
40       isa     => 'URI',
41       handles => [qw( host path )],
42   );
43
44 With this definition, we can call C<< $website->host >> and it "just
45 works". Under the hood, Moose will call C<< $website->uri->host >> for
46 you. Note that C<$website> is not automatically passed to the C<host>
47 method; the invocant is C<< $website->uri >>.
48
49 We can also define a mapping as a hash reference. This allows you to
50 rename methods as part of the mapping:
51
52   package Website;
53
54   use Moose;
55
56   has 'uri' => (
57       is      => 'ro',
58       isa     => 'URI',
59       handles => {
60           hostname => 'host',
61           path     => 'path',
62       },
63   );
64
65 In this example, we've created a C<< $website->hostname >> method,
66 rather than using C<URI.pm>'s name, C<host>.
67
68 These two mapping forms are the ones you will use most often. The
69 remaining methods are a bit more complex.
70
71   has 'uri' => (
72       is      => 'ro',
73       isa     => 'URI',
74       handles => qr/^(?:host|path|query.*)/,
75   );
76
77 This is similar to the array version, except it uses the regex to
78 match against all the methods provided by the delegatee. In order for
79 this to work, you must provide an C<isa> parameter for the attribute,
80 and it must be a class. Moose uses this to introspect the delegatee
81 class and determine what methods it provides.
82
83 You can use a role name as the value of C<handles>:
84
85   has 'uri' => (
86       is      => 'ro',
87       isa     => 'URI',
88       handles => 'HasURI',
89   );
90
91 Moose will introspect the role to determine what methods it provides
92 and create a mapping for each of those methods.
93
94 Finally, you can also provide a sub reference to I<generate> a
95 mapping. You probably won't need this version often (if ever). See the
96 L<Moose> docs for more details on exactly how this works.
97
98 =head1 NATIVE DELEGATION
99
100 Native delegations allow you to delegate to standard Perl data structures as
101 if they were objects.
102
103   has 'queue' => (
104       traits  => ['Array'],
105       isa     => 'ArrayRef[Item]',
106       default => sub { [ ] },
107       handles => {
108           add_item  => 'push',
109           next_item => 'shift',
110       },
111   )
112
113 The C<Array> trait in the C<traits> parameter tells Moose that you would like
114 to use the set of Array helpers. Moose will then create C<add_item> and
115 C<next_item> methods that "just work". Behind the scenes C<add_item> is
116 something like
117
118   sub add_item {
119       my ($self, @items) = @_;
120
121       for my $item (@items) {
122           $Item_TC->validate($item);
123       }
124
125       push @{ $self->queue }, @items;
126   }
127
128 Moose includes the following traits for native delegation:
129
130 =over 4
131
132 =item * L<Array|Moose::Meta::Attribute::Native::Trait::Array>
133
134 =item * L<Bool|Moose::Meta::Attribute::Native::Trait::Bool>
135
136 =item * L<Code|Moose::Meta::Attribute::Native::Trait::Code>
137
138 =item * L<Counter|Moose::Meta::Attribute::Native::Trait::Counter>
139
140 =item * L<Hash|Moose::Meta::Attribute::Native::Trait::Hash>
141
142 =item * L<Number|Moose::Meta::Attribute::Native::Trait::Number>
143
144 =item * L<String|Moose::Meta::Attribute::Native::Trait::String>
145
146 =back
147
148 =head1 CURRYING
149
150 Currying allows you to create a method with some pre-set parameters. You can
151 create a curried delegation method:
152
153     package Spider;
154     use Moose;
155
156     has request => (
157         is      => 'ro'
158         isa     => 'HTTP::Request',
159         handles => {
160             set_user_agent => [ header => 'UserAgent' ],
161         },
162     )
163
164 With this definition, calling C<< $spider->set_user_agent('MyClient') >> will
165 call C<< $spider->request->header('UserAgent', 'MyClient') >> behind the
166 scenes.
167
168 Note that with currying, the currying always start with the first parameter to
169 a method (C<$_[0]>). Any arguments you pass to the delegation come after the
170 curried arguments.
171
172 =head1 MISSING ATTRIBUTES
173
174 It is perfectly valid to delegate methods to an attribute which is not
175 required or can be undefined. When a delegated method is called, Moose
176 will throw a runtime error if the attribute does not contain an
177 object.
178
179 =head1 AUTHOR
180
181 Dave Rolsky E<lt>autarch@urth.orgE<gt>
182
183 =head1 COPYRIGHT AND LICENSE
184
185 Copyright 2009 by Infinity Interactive, Inc.
186
187 L<http://www.iinteractive.com>
188
189 This library is free software; you can redistribute it and/or modify
190 it under the same terms as Perl itself.
191
192 =cut