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