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