bump version so Moose has something to depend on
[gitmo/Class-MOP.git] / lib / Class / MOP.pm
CommitLineData
94b19069 1
2package Class::MOP;
3
4use strict;
5use warnings;
6
5a2932cf 7use 5.008;
8
3cf322a0 9use MRO::Compat;
10
4c105333 11use Carp 'confess';
4bfa5ddb 12use Devel::GlobalDestruction qw( in_global_destruction );
41fc2d0f 13use Scalar::Util 'weaken', 'reftype';
4bfa5ddb 14use Sub::Name qw( subname );
fc4f8f91 15
0531f510 16use Class::MOP::Class;
17use Class::MOP::Attribute;
18use Class::MOP::Method;
19
20use Class::MOP::Immutable;
21
b1f5f41d 22BEGIN {
11b56828 23 *IS_RUNNING_ON_5_10 = ($] < 5.009_005)
24 ? sub () { 0 }
4c105333 25 : sub () { 1 };
46b23b44 26
9efe16ca 27 *HAVE_ISAREV = defined(&mro::get_isarev)
28 ? sub () { 1 }
29 : sub () { 1 };
3ecd1b25 30
31 # this is either part of core or set up appropriately by MRO::Compat
32 *check_package_cache_flag = \&mro::get_pkg_gen;
b1f5f41d 33}
e0e4674a 34
1550e082 35our $VERSION = '0.78_02';
8a7085c1 36our $XS_VERSION = $VERSION;
d519662a 37$VERSION = eval $VERSION;
fc4f8f91 38our $AUTHORITY = 'cpan:STEVAN';
9d655b6d 39
4bfa5ddb 40require XSLoader;
41XSLoader::load( __PACKAGE__, $XS_VERSION );
d7bda114 42
43
be7677c7 44{
45 # Metaclasses are singletons, so we cache them here.
46 # there is no need to worry about destruction though
47 # because they should die only when the program dies.
48 # After all, do package definitions even get reaped?
1d68af04 49 my %METAS;
50
51 # means of accessing all the metaclasses that have
be7677c7 52 # been initialized thus far (for mugwumps obj browser)
1d68af04 53 sub get_all_metaclasses { %METAS }
54 sub get_all_metaclass_instances { values %METAS }
55 sub get_all_metaclass_names { keys %METAS }
be7677c7 56 sub get_metaclass_by_name { $METAS{$_[0]} }
1d68af04 57 sub store_metaclass_by_name { $METAS{$_[0]} = $_[1] }
58 sub weaken_metaclass { weaken($METAS{$_[0]}) }
be7677c7 59 sub does_metaclass_exist { exists $METAS{$_[0]} && defined $METAS{$_[0]} }
1d68af04 60 sub remove_metaclass_by_name { $METAS{$_[0]} = undef }
61
be7677c7 62 # NOTE:
1d68af04 63 # We only cache metaclasses, meaning instances of
64 # Class::MOP::Class. We do not cache instance of
be7677c7 65 # Class::MOP::Package or Class::MOP::Module. Mostly
1d68af04 66 # because I don't yet see a good reason to do so.
be7677c7 67}
68
063ad0c5 69sub load_first_existing_class {
f280f05c 70 my @classes = @_
71 or return;
5a24cf8a 72
73 foreach my $class (@classes) {
74 unless ( _is_valid_class_name($class) ) {
75 my $display = defined($class) ? $class : 'undef';
76 confess "Invalid class name ($display)";
77 }
ab5e2f48 78 }
79
063ad0c5 80 my $found;
5a24cf8a 81 my %exceptions;
063ad0c5 82 for my $class (@classes) {
83 my $e = _try_load_one_class($class);
84
5a24cf8a 85 if ($e) {
063ad0c5 86 $exceptions{$class} = $e;
5a24cf8a 87 }
88 else {
063ad0c5 89 $found = $class;
90 last;
5a24cf8a 91 }
063ad0c5 92 }
5a24cf8a 93
1d8153bd 94 return $found if $found;
07940968 95
063ad0c5 96 confess join(
97 "\n",
98 map {
99 sprintf(
fea44045 100 "Could not load class (%s) because : %s", $_,
063ad0c5 101 $exceptions{$_}
102 )
103 } @classes
f280f05c 104 );
5a24cf8a 105}
106
063ad0c5 107sub _try_load_one_class {
108 my $class = shift;
109
110 return if is_class_loaded($class);
111
112 my $file = $class . '.pm';
113 $file =~ s{::}{/}g;
114
115 return do {
116 local $@;
117 eval { require($file) };
118 $@;
119 };
120}
121
5a24cf8a 122sub load_class {
1d8153bd 123 my $class = load_first_existing_class($_[0]);
124 return get_metaclass_by_name($class) || $class;
448b6e55 125}
126
2c0fb064 127sub _is_valid_class_name {
128 my $class = shift;
129
130 return 0 if ref($class);
131 return 0 unless defined($class);
132 return 0 unless length($class);
133
134 return 1 if $class =~ /^\w+(?:::\w+)*$/;
135
136 return 0;
137}
138
aa448b16 139## ----------------------------------------------------------------------------
140## Setting up our environment ...
141## ----------------------------------------------------------------------------
1d68af04 142## Class::MOP needs to have a few things in the global perl environment so
aa448b16 143## that it can operate effectively. Those things are done here.
144## ----------------------------------------------------------------------------
145
3bf7644b 146# ... nothing yet actually ;)
8b978dd5 147
b51af7f9 148## ----------------------------------------------------------------------------
1d68af04 149## Bootstrapping
b51af7f9 150## ----------------------------------------------------------------------------
1d68af04 151## The code below here is to bootstrap our MOP with itself. This is also
b51af7f9 152## sometimes called "tying the knot". By doing this, we make it much easier
153## to extend the MOP through subclassing and such since now you can use the
1d68af04 154## MOP itself to extend itself.
155##
b51af7f9 156## Yes, I know, thats weird and insane, but it's a good thing, trust me :)
1d68af04 157## ----------------------------------------------------------------------------
727919c5 158
1d68af04 159# We need to add in the meta-attributes here so that
160# any subclass of Class::MOP::* will be able to
727919c5 161# inherit them using &construct_instance
162
f0480c45 163## --------------------------------------------------------
6d5355c3 164## Class::MOP::Package
727919c5 165
6d5355c3 166Class::MOP::Package->meta->add_attribute(
8683db0e 167 Class::MOP::Attribute->new('package' => (
b880e0de 168 reader => {
1d68af04 169 # NOTE: we need to do this in order
170 # for the instance meta-object to
b880e0de 171 # not fall into meta-circular death
1d68af04 172 #
ce2ae40f 173 # we just alias the original method
1d68af04 174 # rather than re-produce it here
ce2ae40f 175 'name' => \&Class::MOP::Package::name
b880e0de 176 },
727919c5 177 ))
178);
179
a5e51f0b 180Class::MOP::Package->meta->add_attribute(
8683db0e 181 Class::MOP::Attribute->new('namespace' => (
a5e51f0b 182 reader => {
56dcfc1a 183 # NOTE:
ce2ae40f 184 # we just alias the original method
185 # rather than re-produce it here
186 'namespace' => \&Class::MOP::Package::namespace
a5e51f0b 187 },
2e877f58 188 init_arg => undef,
c4260b45 189 default => sub { \undef }
a5e51f0b 190 ))
191);
192
f0480c45 193## --------------------------------------------------------
194## Class::MOP::Module
195
196# NOTE:
1d68af04 197# yeah this is kind of stretching things a bit,
f0480c45 198# but truthfully the version should be an attribute
1d68af04 199# of the Module, the weirdness comes from having to
200# stick to Perl 5 convention and store it in the
201# $VERSION package variable. Basically if you just
202# squint at it, it will look how you want it to look.
f0480c45 203# Either as a package variable, or as a attribute of
204# the metaclass, isn't abstraction great :)
205
206Class::MOP::Module->meta->add_attribute(
8683db0e 207 Class::MOP::Attribute->new('version' => (
f0480c45 208 reader => {
ce2ae40f 209 # NOTE:
210 # we just alias the original method
1d68af04 211 # rather than re-produce it here
ce2ae40f 212 'version' => \&Class::MOP::Module::version
f0480c45 213 },
2e877f58 214 init_arg => undef,
c4260b45 215 default => sub { \undef }
f0480c45 216 ))
217);
218
219# NOTE:
1d68af04 220# By following the same conventions as version here,
221# we are opening up the possibility that people can
222# use the $AUTHORITY in non-Class::MOP modules as
223# well.
f0480c45 224
225Class::MOP::Module->meta->add_attribute(
8683db0e 226 Class::MOP::Attribute->new('authority' => (
f0480c45 227 reader => {
ce2ae40f 228 # NOTE:
229 # we just alias the original method
1d68af04 230 # rather than re-produce it here
ce2ae40f 231 'authority' => \&Class::MOP::Module::authority
1d68af04 232 },
2e877f58 233 init_arg => undef,
c4260b45 234 default => sub { \undef }
f0480c45 235 ))
236);
237
238## --------------------------------------------------------
6d5355c3 239## Class::MOP::Class
240
727919c5 241Class::MOP::Class->meta->add_attribute(
8683db0e 242 Class::MOP::Attribute->new('attributes' => (
f7259199 243 reader => {
1d68af04 244 # NOTE: we need to do this in order
245 # for the instance meta-object to
246 # not fall into meta-circular death
247 #
ce2ae40f 248 # we just alias the original method
1d68af04 249 # rather than re-produce it here
ce2ae40f 250 'get_attribute_map' => \&Class::MOP::Class::get_attribute_map
f7259199 251 },
727919c5 252 default => sub { {} }
253 ))
254);
255
351bd7d4 256Class::MOP::Class->meta->add_attribute(
8683db0e 257 Class::MOP::Attribute->new('methods' => (
1d68af04 258 reader => {
ce2ae40f 259 # NOTE:
260 # we just alias the original method
1d68af04 261 # rather than re-produce it here
ce2ae40f 262 'get_method_map' => \&Class::MOP::Class::get_method_map
92330ee2 263 },
7855ddba 264 default => sub { {} }
c4260b45 265 ))
266);
267
268Class::MOP::Class->meta->add_attribute(
8683db0e 269 Class::MOP::Attribute->new('superclasses' => (
c23184fc 270 accessor => {
271 # NOTE:
272 # we just alias the original method
1d68af04 273 # rather than re-produce it here
c23184fc 274 'superclasses' => \&Class::MOP::Class::superclasses
275 },
2e877f58 276 init_arg => undef,
c23184fc 277 default => sub { \undef }
278 ))
279);
280
281Class::MOP::Class->meta->add_attribute(
8683db0e 282 Class::MOP::Attribute->new('attribute_metaclass' => (
1d68af04 283 reader => {
6d2118a4 284 # NOTE:
285 # we just alias the original method
1d68af04 286 # rather than re-produce it here
6d2118a4 287 'attribute_metaclass' => \&Class::MOP::Class::attribute_metaclass
1d68af04 288 },
351bd7d4 289 default => 'Class::MOP::Attribute',
290 ))
291);
292
293Class::MOP::Class->meta->add_attribute(
8683db0e 294 Class::MOP::Attribute->new('method_metaclass' => (
1d68af04 295 reader => {
6d2118a4 296 # NOTE:
297 # we just alias the original method
1d68af04 298 # rather than re-produce it here
6d2118a4 299 'method_metaclass' => \&Class::MOP::Class::method_metaclass
300 },
1d68af04 301 default => 'Class::MOP::Method',
351bd7d4 302 ))
303);
304
2bab2be6 305Class::MOP::Class->meta->add_attribute(
77373da8 306 Class::MOP::Attribute->new('wrapped_method_metaclass' => (
307 reader => {
308 # NOTE:
309 # we just alias the original method
310 # rather than re-produce it here
311 'wrapped_method_metaclass' => \&Class::MOP::Class::wrapped_method_metaclass
312 },
313 default => 'Class::MOP::Method::Wrapped',
314 ))
315);
316
317Class::MOP::Class->meta->add_attribute(
8683db0e 318 Class::MOP::Attribute->new('instance_metaclass' => (
b880e0de 319 reader => {
1d68af04 320 # NOTE: we need to do this in order
321 # for the instance meta-object to
322 # not fall into meta-circular death
323 #
ce2ae40f 324 # we just alias the original method
1d68af04 325 # rather than re-produce it here
ce2ae40f 326 'instance_metaclass' => \&Class::MOP::Class::instance_metaclass
b880e0de 327 },
1d68af04 328 default => 'Class::MOP::Instance',
2bab2be6 329 ))
330);
331
44d6ea77 332Class::MOP::Class->meta->add_attribute(
333 Class::MOP::Attribute->new('immutable_transformer' => (
334 reader => {
335 'immutable_transformer' => \&Class::MOP::Class::immutable_transformer
336 },
337 writer => {
338 '_set_immutable_transformer' => \&Class::MOP::Class::_set_immutable_transformer
339 },
340 ))
341);
342
9d6dce77 343# NOTE:
1d68af04 344# we don't actually need to tie the knot with
345# Class::MOP::Class here, it is actually handled
346# within Class::MOP::Class itself in the
347# construct_class_instance method.
9d6dce77 348
f0480c45 349## --------------------------------------------------------
727919c5 350## Class::MOP::Attribute
351
7b31baf4 352Class::MOP::Attribute->meta->add_attribute(
8683db0e 353 Class::MOP::Attribute->new('name' => (
c23184fc 354 reader => {
1d68af04 355 # NOTE: we need to do this in order
356 # for the instance meta-object to
357 # not fall into meta-circular death
358 #
ce2ae40f 359 # we just alias the original method
1d68af04 360 # rather than re-produce it here
ce2ae40f 361 'name' => \&Class::MOP::Attribute::name
b880e0de 362 }
7b31baf4 363 ))
364);
365
366Class::MOP::Attribute->meta->add_attribute(
8683db0e 367 Class::MOP::Attribute->new('associated_class' => (
c23184fc 368 reader => {
1d68af04 369 # NOTE: we need to do this in order
370 # for the instance meta-object to
371 # not fall into meta-circular death
372 #
ce2ae40f 373 # we just alias the original method
1d68af04 374 # rather than re-produce it here
ce2ae40f 375 'associated_class' => \&Class::MOP::Attribute::associated_class
b880e0de 376 }
7b31baf4 377 ))
378);
379
380Class::MOP::Attribute->meta->add_attribute(
8683db0e 381 Class::MOP::Attribute->new('accessor' => (
6d2118a4 382 reader => { 'accessor' => \&Class::MOP::Attribute::accessor },
383 predicate => { 'has_accessor' => \&Class::MOP::Attribute::has_accessor },
7b31baf4 384 ))
385);
386
387Class::MOP::Attribute->meta->add_attribute(
8683db0e 388 Class::MOP::Attribute->new('reader' => (
6d2118a4 389 reader => { 'reader' => \&Class::MOP::Attribute::reader },
390 predicate => { 'has_reader' => \&Class::MOP::Attribute::has_reader },
7b31baf4 391 ))
392);
393
394Class::MOP::Attribute->meta->add_attribute(
8683db0e 395 Class::MOP::Attribute->new('initializer' => (
8ee74136 396 reader => { 'initializer' => \&Class::MOP::Attribute::initializer },
397 predicate => { 'has_initializer' => \&Class::MOP::Attribute::has_initializer },
0ab65f99 398 ))
399);
400
401Class::MOP::Attribute->meta->add_attribute(
d9d99689 402 Class::MOP::Attribute->new('definition_context' => (
403 reader => { 'definition_context' => \&Class::MOP::Attribute::definition_context },
404 ))
405);
406
407Class::MOP::Attribute->meta->add_attribute(
8683db0e 408 Class::MOP::Attribute->new('writer' => (
6d2118a4 409 reader => { 'writer' => \&Class::MOP::Attribute::writer },
410 predicate => { 'has_writer' => \&Class::MOP::Attribute::has_writer },
7b31baf4 411 ))
412);
413
414Class::MOP::Attribute->meta->add_attribute(
8683db0e 415 Class::MOP::Attribute->new('predicate' => (
6d2118a4 416 reader => { 'predicate' => \&Class::MOP::Attribute::predicate },
417 predicate => { 'has_predicate' => \&Class::MOP::Attribute::has_predicate },
7b31baf4 418 ))
419);
420
421Class::MOP::Attribute->meta->add_attribute(
8683db0e 422 Class::MOP::Attribute->new('clearer' => (
6d2118a4 423 reader => { 'clearer' => \&Class::MOP::Attribute::clearer },
424 predicate => { 'has_clearer' => \&Class::MOP::Attribute::has_clearer },
7d28758b 425 ))
426);
427
428Class::MOP::Attribute->meta->add_attribute(
8683db0e 429 Class::MOP::Attribute->new('builder' => (
1d68af04 430 reader => { 'builder' => \&Class::MOP::Attribute::builder },
431 predicate => { 'has_builder' => \&Class::MOP::Attribute::has_builder },
432 ))
433);
434
435Class::MOP::Attribute->meta->add_attribute(
8683db0e 436 Class::MOP::Attribute->new('init_arg' => (
6d2118a4 437 reader => { 'init_arg' => \&Class::MOP::Attribute::init_arg },
438 predicate => { 'has_init_arg' => \&Class::MOP::Attribute::has_init_arg },
7b31baf4 439 ))
440);
441
442Class::MOP::Attribute->meta->add_attribute(
8683db0e 443 Class::MOP::Attribute->new('default' => (
7b31baf4 444 # default has a custom 'reader' method ...
1d68af04 445 predicate => { 'has_default' => \&Class::MOP::Attribute::has_default },
7b31baf4 446 ))
447);
448
3545c727 449Class::MOP::Attribute->meta->add_attribute(
8683db0e 450 Class::MOP::Attribute->new('associated_methods' => (
c23184fc 451 reader => { 'associated_methods' => \&Class::MOP::Attribute::associated_methods },
1d68af04 452 default => sub { [] }
3545c727 453 ))
454);
727919c5 455
5659d76e 456Class::MOP::Attribute->meta->add_method('clone' => sub {
a740253a 457 my $self = shift;
1d68af04 458 $self->meta->clone_object($self, @_);
727919c5 459});
460
f0480c45 461## --------------------------------------------------------
b6164407 462## Class::MOP::Method
b6164407 463Class::MOP::Method->meta->add_attribute(
8683db0e 464 Class::MOP::Attribute->new('body' => (
c23184fc 465 reader => { 'body' => \&Class::MOP::Method::body },
b6164407 466 ))
467);
468
4c105333 469Class::MOP::Method->meta->add_attribute(
5e607260 470 Class::MOP::Attribute->new('associated_metaclass' => (
5e607260 471 reader => { 'associated_metaclass' => \&Class::MOP::Method::associated_metaclass },
472 ))
473);
474
475Class::MOP::Method->meta->add_attribute(
8683db0e 476 Class::MOP::Attribute->new('package_name' => (
4c105333 477 reader => { 'package_name' => \&Class::MOP::Method::package_name },
478 ))
479);
480
481Class::MOP::Method->meta->add_attribute(
8683db0e 482 Class::MOP::Attribute->new('name' => (
4c105333 483 reader => { 'name' => \&Class::MOP::Method::name },
484 ))
485);
486
2226a8b0 487Class::MOP::Method->meta->add_attribute(
488 Class::MOP::Attribute->new('original_method' => (
489 reader => { 'original_method' => \&Class::MOP::Method::original_method },
490 writer => { '_set_original_method' => \&Class::MOP::Method::_set_original_method },
491 ))
492);
493
4c105333 494Class::MOP::Method->meta->add_method('clone' => sub {
495 my $self = shift;
2226a8b0 496 my $clone = $self->meta->clone_object($self, @_);
497 $clone->_set_original_method($self);
498 return $clone;
4c105333 499});
500
b6164407 501## --------------------------------------------------------
502## Class::MOP::Method::Wrapped
503
504# NOTE:
1d68af04 505# the way this item is initialized, this
506# really does not follow the standard
507# practices of attributes, but we put
b6164407 508# it here for completeness
509Class::MOP::Method::Wrapped->meta->add_attribute(
8683db0e 510 Class::MOP::Attribute->new('modifier_table')
b6164407 511);
512
513## --------------------------------------------------------
565f0cbb 514## Class::MOP::Method::Generated
515
516Class::MOP::Method::Generated->meta->add_attribute(
8683db0e 517 Class::MOP::Attribute->new('is_inline' => (
565f0cbb 518 reader => { 'is_inline' => \&Class::MOP::Method::Generated::is_inline },
4c105333 519 default => 0,
1d68af04 520 ))
565f0cbb 521);
522
d9d99689 523Class::MOP::Method::Generated->meta->add_attribute(
524 Class::MOP::Attribute->new('definition_context' => (
525 reader => { 'definition_context' => \&Class::MOP::Method::Generated::definition_context },
526 ))
527);
528
565f0cbb 529## --------------------------------------------------------
d90b42a6 530## Class::MOP::Method::Accessor
531
532Class::MOP::Method::Accessor->meta->add_attribute(
8683db0e 533 Class::MOP::Attribute->new('attribute' => (
1d68af04 534 reader => {
535 'associated_attribute' => \&Class::MOP::Method::Accessor::associated_attribute
d90b42a6 536 },
1d68af04 537 ))
d90b42a6 538);
539
540Class::MOP::Method::Accessor->meta->add_attribute(
8683db0e 541 Class::MOP::Attribute->new('accessor_type' => (
c23184fc 542 reader => { 'accessor_type' => \&Class::MOP::Method::Accessor::accessor_type },
1d68af04 543 ))
d90b42a6 544);
545
d90b42a6 546## --------------------------------------------------------
547## Class::MOP::Method::Constructor
548
549Class::MOP::Method::Constructor->meta->add_attribute(
8683db0e 550 Class::MOP::Attribute->new('options' => (
1d68af04 551 reader => {
552 'options' => \&Class::MOP::Method::Constructor::options
d90b42a6 553 },
4c105333 554 default => sub { +{} }
1d68af04 555 ))
d90b42a6 556);
557
558Class::MOP::Method::Constructor->meta->add_attribute(
8683db0e 559 Class::MOP::Attribute->new('associated_metaclass' => (
e8a38403 560 init_arg => "metaclass", # FIXME alias and rename
1d68af04 561 reader => {
562 'associated_metaclass' => \&Class::MOP::Method::Constructor::associated_metaclass
563 },
564 ))
d90b42a6 565);
566
567## --------------------------------------------------------
86482605 568## Class::MOP::Instance
569
570# NOTE:
1d68af04 571# these don't yet do much of anything, but are just
86482605 572# included for completeness
573
574Class::MOP::Instance->meta->add_attribute(
74890687 575 Class::MOP::Attribute->new('associated_metaclass',
576 reader => { associated_metaclass => \&Class::MOP::Instance::associated_metaclass },
577 ),
86482605 578);
579
580Class::MOP::Instance->meta->add_attribute(
74890687 581 Class::MOP::Attribute->new('_class_name',
582 init_arg => undef,
583 reader => { _class_name => \&Class::MOP::Instance::_class_name },
584 #lazy => 1, # not yet supported by Class::MOP but out our version does it anyway
585 #default => sub { $_[0]->associated_metaclass->name },
586 ),
587);
588
589Class::MOP::Instance->meta->add_attribute(
590 Class::MOP::Attribute->new('attributes',
0b5d46da 591 reader => { attributes => \&Class::MOP::Instance::get_all_attributes },
74890687 592 ),
32bfc810 593);
594
595Class::MOP::Instance->meta->add_attribute(
74890687 596 Class::MOP::Attribute->new('slots',
597 reader => { slots => \&Class::MOP::Instance::slots },
598 ),
86482605 599);
600
63d08a9e 601Class::MOP::Instance->meta->add_attribute(
74890687 602 Class::MOP::Attribute->new('slot_hash',
603 reader => { slot_hash => \&Class::MOP::Instance::slot_hash },
604 ),
63d08a9e 605);
606
607
caa051fa 608# we need the meta instance of the meta instance to be created now, in order
609# for the constructor to be able to use it
610Class::MOP::Instance->meta->get_meta_instance;
611
caa051fa 612# pretend the add_method never happenned. it hasn't yet affected anything
613undef Class::MOP::Instance->meta->{_package_cache_flag};
614
86482605 615## --------------------------------------------------------
f0480c45 616## Now close all the Class::MOP::* classes
4d47b77f 617
1aa13cf4 618# NOTE: we don't need to inline the the accessors this only lengthens
619# the compile time of the MOP, and gives us no actual benefits.
0b9372a2 620
621$_->meta->make_immutable(
6c2f6b5c 622 inline_constructor => 1,
623 replace_constructor => 1,
624 constructor_name => "_new",
45582002 625 inline_accessors => 0,
0b9372a2 626) for qw/
1d68af04 627 Class::MOP::Package
628 Class::MOP::Module
629 Class::MOP::Class
630
0b9372a2 631 Class::MOP::Attribute
1d68af04 632 Class::MOP::Method
633 Class::MOP::Instance
634
635 Class::MOP::Object
0b9372a2 636
565f0cbb 637 Class::MOP::Method::Generated
1d68af04 638
ba38bf08 639 Class::MOP::Method::Accessor
1d68af04 640 Class::MOP::Method::Constructor
641 Class::MOP::Method::Wrapped
0b9372a2 642/;
b6164407 643
94b19069 6441;
645
646__END__
647
648=pod
649
1d68af04 650=head1 NAME
94b19069 651
652Class::MOP - A Meta Object Protocol for Perl 5
653
5b60bf98 654=head1 DESCRIPTION
94b19069 655
127d39a7 656This module is a fully functioning meta object protocol for the
1d68af04 657Perl 5 object system. It makes no attempt to change the behavior or
658characteristics of the Perl 5 object system, only to create a
27e31eaf 659protocol for its manipulation and introspection.
94b19069 660
828ecf13 661That said, it does attempt to create the tools for building a rich set
662of extensions to the Perl 5 object system. Every attempt has been made
663to abide by the spirit of the Perl 5 object system that we all know
664and love.
94b19069 665
828ecf13 666This documentation is sparse on conceptual details. We suggest looking
667at the items listed in the L<SEE ALSO> section for more
668information. In particular the book "The Art of the Meta Object
669Protocol" was very influential in the development of this system.
40483095 670
bfe4d0fc 671=head2 What is a Meta Object Protocol?
672
1d68af04 673A meta object protocol is an API to an object system.
bfe4d0fc 674
828ecf13 675To be more specific, it abstracts the components of an object system
676(classes, object, methods, object attributes, etc.). These
677abstractions can then be used to inspect and manipulate the object
678system which they describe.
bfe4d0fc 679
1d68af04 680It can be said that there are two MOPs for any object system; the
828ecf13 681implicit MOP and the explicit MOP. The implicit MOP handles things
1d68af04 682like method dispatch or inheritance, which happen automatically as
683part of how the object system works. The explicit MOP typically
684handles the introspection/reflection features of the object system.
bfe4d0fc 685
828ecf13 686All object systems have implicit MOPs. Without one, they would not
5b60bf98 687work. Explicit MOPs are much less common, and depending on the
688language can vary from restrictive (Reflection in Java or C#) to wide
689open (CLOS is a perfect example).
e16da3e6 690
828ecf13 691=head2 Yet Another Class Builder! Why?
692
693This is B<not> a class builder so much as a I<class builder
694B<builder>>. The intent is that an end user will not use this module
695directly, but instead this module is used by module authors to build
696extensions and features onto the Perl 5 object system.
697
698This system is used by L<Moose>, which supplies a powerful class
699builder system built entirely on top of C<Class::MOP>.
e16da3e6 700
94b19069 701=head2 Who is this module for?
702
828ecf13 703This module is for anyone who has ever created or wanted to create a
704module for the Class:: namespace. The tools which this module provides
705make doing complex Perl 5 wizardry simpler, by removing such barriers
706as the need to hack symbol tables, or understand the fine details of
707method dispatch.
94b19069 708
bfe4d0fc 709=head2 What changes do I have to make to use this module?
710
828ecf13 711This module was designed to be as unintrusive as possible. Many of its
5b60bf98 712features are accessible without B<any> change to your existing
828ecf13 713code. It is meant to be a compliment to your existing code and not an
714intrusion on your code base. Unlike many other B<Class::> modules,
715this module B<does not> require you subclass it, or even that you
716C<use> it in within your module's package.
bfe4d0fc 717
1d68af04 718The only features which requires additions to your code are the
2eb717d5 719attribute handling and instance construction features, and these are
1d68af04 720both completely optional features. The only reason for this is because
721Perl 5's object system does not actually have these features built
2eb717d5 722in. More information about this feature can be found below.
bfe4d0fc 723
828ecf13 724=head2 About Performance
725
5b60bf98 726It is a common misconception that explicit MOPs are a performance hit.
828ecf13 727This is not a universal truth, it is a side-effect of some specific
728implementations. For instance, using Java reflection is slow because
729the JVM cannot take advantage of any compiler optimizations, and the
730JVM has to deal with much more runtime type information as well.
bfe4d0fc 731
828ecf13 732Reflection in C# is marginally better as it was designed into the
733language and runtime (the CLR). In contrast, CLOS (the Common Lisp
734Object System) was built to support an explicit MOP, and so
735performance is tuned for it.
1d68af04 736
828ecf13 737This library in particular does its absolute best to avoid putting
1d68af04 738B<any> drain at all upon your code's performance. In fact, by itself
828ecf13 739it does nothing to affect your existing code. So you only pay for what
740you actually use.
bfe4d0fc 741
550d56db 742=head2 About Metaclass compatibility
743
1d68af04 744This module makes sure that all metaclasses created are both upwards
745and downwards compatible. The topic of metaclass compatibility is
746highly esoteric and is something only encountered when doing deep and
747involved metaclass hacking. There are two basic kinds of metaclass
748incompatibility; upwards and downwards.
550d56db 749
1d68af04 750Upwards metaclass compatibility means that the metaclass of a
751given class is either the same as (or a subclass of) all of the
550d56db 752class's ancestors.
753
1d68af04 754Downward metaclass compatibility means that the metaclasses of a
828ecf13 755given class's ancestors are all either the same as (or a subclass
550d56db 756of) that metaclass.
757
1d68af04 758Here is a diagram showing a set of two classes (C<A> and C<B>) and
759two metaclasses (C<Meta::A> and C<Meta::B>) which have correct
550d56db 760metaclass compatibility both upwards and downwards.
761
762 +---------+ +---------+
763 | Meta::A |<----| Meta::B | <....... (instance of )
1d68af04 764 +---------+ +---------+ <------- (inherits from)
550d56db 765 ^ ^
766 : :
767 +---------+ +---------+
768 | A |<----| B |
769 +---------+ +---------+
770
1d68af04 771As I said this is a highly esoteric topic and one you will only run
828ecf13 772into if you do a lot of subclassing of L<Class::MOP::Class>. If you
773are interested in why this is an issue see the paper I<Uniform and
774safe metaclass composition> linked to in the L<SEE ALSO> section of
775this document.
550d56db 776
aa448b16 777=head2 Using custom metaclasses
778
828ecf13 779Always use the L<metaclass> pragma when using a custom metaclass, this
5b60bf98 780will ensure the proper initialization order and not accidentally
781create an incorrect type of metaclass for you. This is a very rare
782problem, and one which can only occur if you are doing deep metaclass
aa448b16 783programming. So in other words, don't worry about it.
784
828ecf13 785Note that if you're using L<Moose> we encourage you to I<not> use
786L<metaclass> pragma, and instead use L<Moose::Util::MetaRole> to apply
787roles to a class's metaclasses. This topic is covered at length in
788various L<Moose::Cookbook> recipes.
789
94b19069 790=head1 PROTOCOLS
791
828ecf13 792The meta-object protocol is divided into 4 main sub-protocols:
94b19069 793
828ecf13 794=head2 The Class protocol
94b19069 795
1d68af04 796This provides a means of manipulating and introspecting a Perl 5
828ecf13 797class. It handles symbol table hacking for you, and provides a rich
798set of methods that go beyond simple package introspection.
94b19069 799
552e3d24 800See L<Class::MOP::Class> for more details.
801
828ecf13 802=head2 The Attribute protocol
94b19069 803
828ecf13 804This provides a consistent representation for an attribute of a Perl 5
805class. Since there are so many ways to create and handle attributes in
806Perl 5 OO, the Attribute protocol provide as much of a unified
807approach as possible. Of course, you are always free to extend this
808protocol by subclassing the appropriate classes.
94b19069 809
552e3d24 810See L<Class::MOP::Attribute> for more details.
811
828ecf13 812=head2 The Method protocol
94b19069 813
828ecf13 814This provides a means of manipulating and introspecting methods in the
815Perl 5 object system. As with attributes, there are many ways to
1d68af04 816approach this topic, so we try to keep it pretty basic, while still
94b19069 817making it possible to extend the system in many ways.
818
552e3d24 819See L<Class::MOP::Method> for more details.
94b19069 820
828ecf13 821=head2 The Instance protocol
127d39a7 822
828ecf13 823This provides a layer of abstraction for creating object instances.
824Since the other layers use this protocol, it is relatively easy to
825change the type of your instances from the default hash reference to
826some other type of reference. Several examples are provided in the
827F<examples/> directory included in this distribution.
127d39a7 828
829See L<Class::MOP::Instance> for more details.
830
be7677c7 831=head1 FUNCTIONS
832
828ecf13 833Note that this module does not export any constants or functions.
834
c1d5345a 835=head2 Constants
836
837=over 4
838
828ecf13 839=item I<Class::MOP::IS_RUNNING_ON_5_10>
c1d5345a 840
828ecf13 841We set this constant depending on what version perl we are on, this
842allows us to take advantage of new 5.10 features and stay backwards
5b60bf98 843compatible.
c1d5345a 844
828ecf13 845=item I<Class::MOP::HAVE_ISAREV>
9efe16ca 846
5b60bf98 847Whether or not the L<mro> pragma provides C<get_isarev>, a much faster
828ecf13 848way to get all the subclasses of a certain class.
9efe16ca 849
c1d5345a 850=back
851
448b6e55 852=head2 Utility functions
853
bd07fbdb 854Note that these are all called as B<functions, not methods>.
081a927b 855
448b6e55 856=over 4
857
828ecf13 858=item B<Class::MOP::load_class($class_name)>
448b6e55 859
828ecf13 860This will load the specified C<$class_name>. This function can be used
861in place of tricks like C<eval "use $module"> or using C<require>
862unconditionally.
448b6e55 863
828ecf13 864=item B<Class::MOP::is_class_loaded($class_name)>
448b6e55 865
15ab5451 866Returns a boolean indicating whether or not C<$class_name> has been
867loaded.
448b6e55 868
828ecf13 869This does a basic check of the symbol table to try and determine as
870best it can if the C<$class_name> is loaded, it is probably correct
871about 99% of the time, but it can be fooled into reporting false
872positives.
448b6e55 873
cdac22cc 874=item B<Class::MOP::get_code_info($code)>
875
876This function returns two values, the name of the package the C<$code>
877is from and the name of the C<$code> itself. This is used by several
5b60bf98 878elements of the MOP to determine where a given C<$code> reference is
cdac22cc 879from.
880
828ecf13 881=item B<Class::MOP::check_package_cache_flag($pkg)>
e0e4674a 882
bd07fbdb 883B<NOTE: DO NOT USE THIS FUNCTION, IT IS FOR INTERNAL USE ONLY!>
884
828ecf13 885This will return an integer that is managed by L<Class::MOP::Class> to
886determine if a module's symbol table has been altered.
127d39a7 887
828ecf13 888In Perl 5.10 or greater, this flag is package specific. However in
889versions prior to 5.10, this will use the C<PL_sub_generation>
890variable which is not package specific.
127d39a7 891
828ecf13 892=item B<Class::MOP::load_first_existing_class(@class_names)>
063ad0c5 893
894B<NOTE: DO NOT USE THIS FUNCTION, IT IS FOR INTERNAL USE ONLY!>
895
896Given a list of class names, this function will attempt to load each
897one in turn.
898
828ecf13 899If it finds a class it can load, it will return that class' name. If
900none of the classes can be loaded, it will throw an exception.
063ad0c5 901
448b6e55 902=back
903
904=head2 Metaclass cache functions
905
6c842677 906Class::MOP holds a cache of metaclasses. The following are functions
1d68af04 907(B<not methods>) which can be used to access that cache. It is not
6c842677 908recommended that you mess with these. Bad things could happen, but if
909you are brave and willing to risk it: go for it!
be7677c7 910
911=over 4
912
828ecf13 913=item B<Class::MOP::get_all_metaclasses>
be7677c7 914
6c842677 915This will return a hash of all the metaclass instances that have
828ecf13 916been cached by L<Class::MOP::Class>, keyed by the package name.
b9d9fc0b 917
828ecf13 918=item B<Class::MOP::get_all_metaclass_instances>
be7677c7 919
6c842677 920This will return a list of all the metaclass instances that have
828ecf13 921been cached by L<Class::MOP::Class>.
b9d9fc0b 922
828ecf13 923=item B<Class::MOP::get_all_metaclass_names>
be7677c7 924
6c842677 925This will return a list of all the metaclass names that have
828ecf13 926been cached by L<Class::MOP::Class>.
b9d9fc0b 927
828ecf13 928=item B<Class::MOP::get_metaclass_by_name($name)>
be7677c7 929
828ecf13 930This will return a cached L<Class::MOP::Class> instance, or nothing
6c842677 931if no metaclass exists with that C<$name>.
127d39a7 932
828ecf13 933=item B<Class::MOP::store_metaclass_by_name($name, $meta)>
be7677c7 934
127d39a7 935This will store a metaclass in the cache at the supplied C<$key>.
936
828ecf13 937=item B<Class::MOP::weaken_metaclass($name)>
be7677c7 938
6c842677 939In rare cases (e.g. anonymous metaclasses) it is desirable to
940store a weakened reference in the metaclass cache. This
941function will weaken the reference to the metaclass stored
942in C<$name>.
127d39a7 943
828ecf13 944=item B<Class::MOP::does_metaclass_exist($name)>
be7677c7 945
828ecf13 946This will return true of there exists a metaclass stored in the
6c842677 947C<$name> key, and return false otherwise.
127d39a7 948
828ecf13 949=item B<Class::MOP::remove_metaclass_by_name($name)>
be7677c7 950
6c842677 951This will remove the metaclass stored in the C<$name> key.
127d39a7 952
be7677c7 953=back
954
552e3d24 955=head1 SEE ALSO
8b978dd5 956
552e3d24 957=head2 Books
8b978dd5 958
1d68af04 959There are very few books out on Meta Object Protocols and Metaclasses
960because it is such an esoteric topic. The following books are really
961the only ones I have found. If you know of any more, B<I<please>>
a2e85e6c 962email me and let me know, I would love to hear about them.
963
8b978dd5 964=over 4
965
15ab5451 966=item I<The Art of the Meta Object Protocol>
8b978dd5 967
15ab5451 968=item I<Advances in Object-Oriented Metalevel Architecture and Reflection>
8b978dd5 969
15ab5451 970=item I<Putting MetaClasses to Work>
b51af7f9 971
15ab5451 972=item I<Smalltalk: The Language>
a2e85e6c 973
94b19069 974=back
975
550d56db 976=head2 Papers
977
978=over 4
979
15ab5451 980=item "Uniform and safe metaclass composition"
550d56db 981
1d68af04 982An excellent paper by the people who brought us the original Traits paper.
983This paper is on how Traits can be used to do safe metaclass composition,
984and offers an excellent introduction section which delves into the topic of
550d56db 985metaclass compatibility.
986
987L<http://www.iam.unibe.ch/~scg/Archive/Papers/Duca05ySafeMetaclassTrait.pdf>
988
15ab5451 989=item "Safe Metaclass Programming"
550d56db 990
1d68af04 991This paper seems to precede the above paper, and propose a mix-in based
992approach as opposed to the Traits based approach. Both papers have similar
993information on the metaclass compatibility problem space.
550d56db 994
995L<http://citeseer.ist.psu.edu/37617.html>
996
997=back
998
552e3d24 999=head2 Prior Art
8b978dd5 1000
1001=over 4
1002
7184ca14 1003=item The Perl 6 MetaModel work in the Pugs project
8b978dd5 1004
1005=over 4
1006
552e3d24 1007=item L<http://svn.openfoundry.org/pugs/perl5/Perl6-MetaModel>
8b978dd5 1008
552e3d24 1009=item L<http://svn.openfoundry.org/pugs/perl5/Perl6-ObjectSpace>
8b978dd5 1010
1011=back
1012
94b19069 1013=back
1014
1d68af04 1015=head2 Articles
f8dfcfb7 1016
1017=over 4
1018
1d68af04 1019=item CPAN Module Review of Class::MOP
f8dfcfb7 1020
1021L<http://www.oreillynet.com/onlamp/blog/2006/06/cpan_module_review_classmop.html>
1022
1023=back
1024
a2e85e6c 1025=head1 SIMILAR MODULES
1026
1d68af04 1027As I have said above, this module is a class-builder-builder, so it is
1028not the same thing as modules like L<Class::Accessor> and
1029L<Class::MethodMaker>. That being said there are very few modules on CPAN
1030with similar goals to this module. The one I have found which is most
1031like this module is L<Class::Meta>, although it's philosophy and the MOP it
1032creates are very different from this modules.
94b19069 1033
a2e85e6c 1034=head1 BUGS
1035
1d68af04 1036All complex software has bugs lurking in it, and this module is no
a2e85e6c 1037exception. If you find a bug please either email me, or add the bug
1038to cpan-RT.
1039
1040=head1 ACKNOWLEDGEMENTS
1041
1042=over 4
1043
b9d9fc0b 1044=item Rob Kinyon
a2e85e6c 1045
1d68af04 1046Thanks to Rob for actually getting the development of this module kick-started.
a2e85e6c 1047
1048=back
1049
1a09d9cc 1050=head1 AUTHORS
94b19069 1051
a2e85e6c 1052Stevan Little E<lt>stevan@iinteractive.comE<gt>
552e3d24 1053
9c8cda90 1054B<with contributions from:>
1055
1056Brandon (blblack) Black
1057
4f116037 1058Florian (rafl) Ragwitz
1059
9c8cda90 1060Guillermo (groditi) Roditi
1061
9195ddff 1062Matt (mst) Trout
1063
9c8cda90 1064Rob (robkinyon) Kinyon
1065
1066Yuval (nothingmuch) Kogman
1a09d9cc 1067
f430cfa4 1068Scott (konobi) McWhirter
1069
94b19069 1070=head1 COPYRIGHT AND LICENSE
1071
070bb6c9 1072Copyright 2006-2009 by Infinity Interactive, Inc.
94b19069 1073
1074L<http://www.iinteractive.com>
1075
1076This library is free software; you can redistribute it and/or modify
1d68af04 1077it under the same terms as Perl itself.
94b19069 1078
1079=cut