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