package Mouse::Meta::Method::Constructor;
-use strict;
-use warnings;
+use Mouse::Util qw(:meta); # enables strict and warnings
-sub generate_constructor_method_inline {
- my ($class, $metaclass) = @_;
+use constant _MOUSE_DEBUG => $ENV{MOUSE_DEBUG} ? 1 : 0;
+
+sub _inline_slot{
+ my(undef, $self_var, $attr_name) = @_;
+ return sprintf '%s->{q{%s}}', $self_var, $attr_name;
+}
+
+sub _generate_constructor {
+ my ($class, $metaclass, $args) = @_;
my $associated_metaclass_name = $metaclass->name;
- my @attrs = $metaclass->get_all_attributes;
my $buildall = $class->_generate_BUILDALL($metaclass);
my $buildargs = $class->_generate_BUILDARGS($metaclass);
- my $processattrs = $class->_generate_processattrs($metaclass, \@attrs);
-
- my @compiled_constraints = map { $_->_compiled_type_constraint }
- map { $_->{type_constraint} ? $_->{type_constraint} : () } @attrs;
+ my $initializer = $metaclass->{_mouse_cache}{_initialize_object} ||=
+ $class->_generate_initialize_object($metaclass);
+ my $source = sprintf(<<'EOT', __FILE__, $metaclass->name, $buildargs, $buildall);
+#line 1 "%s"
+ package %s;
+ sub {
+ my $class = shift;
+ return $class->Mouse::Object::new(@_)
+ if $class ne __PACKAGE__;
+ # BUILDARGS
+ %s;
+ my $instance = bless {}, $class;
+ $metaclass->$initializer($instance, $args, 0);
+ # BUILDALL
+ %s;
+ return $instance;
+ }
+EOT
+ warn $source if _MOUSE_DEBUG;
+ my $body;
+ my $e = do{
+ local $@;
+ $body = eval $source;
+ $@;
+ };
+ die $e if $e;
+ return $body;
+}
- my $code = sprintf("#line %d %s\n", __LINE__, __FILE__).<<"...";
- sub {
- my \$class = shift;
- return \$class->Mouse::Object::new(\@_)
- if \$class ne q{$associated_metaclass_name};
- $buildargs;
- my \$instance = bless {}, \$class;
- $processattrs;
- $buildall;
- return \$instance;
- }
-...
+sub _generate_initialize_object {
+ my ($method_class, $metaclass) = @_;
+ my @attrs = $metaclass->get_all_attributes;
- local $@;
- my $res = eval $code;
- die $@ if $@;
- $res;
-}
+ my @checks = map { $_ && $_->_compiled_type_constraint }
+ map { $_->type_constraint } @attrs;
-sub _generate_processattrs {
- my ($class, $metaclass, $attrs) = @_;
my @res;
my $has_triggers;
+ my $strict = $metaclass->strict_constructor;
- for my $index (0 .. @$attrs - 1) {
- my $attr = $attrs->[$index];
- my $key = $attr->name;
+ if($strict){
+ push @res, 'my $used = 0;';
+ }
+
+ for my $index (0 .. @attrs - 1) {
my $code = '';
- if (defined $attr->init_arg) {
- my $from = $attr->init_arg;
+ my $attr = $attrs[$index];
+ my $key = $attr->name;
- $code .= "if (exists \$args->{q{$from}}) {\n";
+ my $init_arg = $attr->init_arg;
+ my $type_constraint = $attr->type_constraint;
+ my $is_weak_ref = $attr->is_weak_ref;
+ my $need_coercion;
- my $value = "\$args->{q{$from}}";
- if(my $type_constraint = $attr->type_constraint){
- if($attr->should_coerce && $type_constraint->has_coercion){
- $code .= "my \$value = \$attrs[$index]->{type_constraint}->coerce(\$args->{q{$from}});\n";
- $value = '$value';
- }
+ my $instance_slot = $method_class->_inline_slot('$instance', $key);
+ my $attr_var = "\$attrs[$index]";
+ my $constraint_var;
- $code .= "\$compiled_constraints[$index]->($value)\n";
- $code .= " or \$attrs[$index]->verify_type_constraint_error(q{$key}, $value, \$attrs[$index]->{type_constraint});\n";
- }
+ if(defined $type_constraint){
+ $constraint_var = "$attr_var\->{type_constraint}";
+ $need_coercion = ($attr->should_coerce && $type_constraint->has_coercion);
+ }
+
+ $code .= "# initialize $key\n";
- $code .= "\$instance->{q{$key}} = $value;\n";
+ my $post_process = '';
+ if(defined $type_constraint){
+ $post_process .= "\$checks[$index]->($instance_slot)\n";
+ $post_process .= " or $attr_var->_throw_type_constraint_error($instance_slot, $constraint_var);\n";
+ }
+ if($is_weak_ref){
+ $post_process = "Scalar::Util::weaken($instance_slot) "
+ . "if ref $instance_slot;\n";
+ }
+
+ # build cde for an attribute
+ if (defined $init_arg) {
+ my $value = "\$args->{q{$init_arg}}";
- if ($attr->is_weak_ref) {
- $code .= "Scalar::Util::weaken( \$instance->{q{$key}} ) if ref($value);\n";
+ $code .= "if (exists $value) {\n";
+
+ if($need_coercion){
+ $value = "$constraint_var->coerce($value)";
}
+ $code .= "$instance_slot = $value;\n";
+ $code .= $post_process;
+
if ($attr->has_trigger) {
$has_triggers++;
- $code .= "push \@triggers, [\$attrs[$index]->{trigger}, $value];\n";
+ $code .= "push \@triggers, [$attr_var\->{trigger}, $instance_slot];\n";
}
- $code .= "\n} else {\n";
+ if ($strict){
+ $code .= '++$used;' . "\n";
+ }
+
+ $code .= "\n} else {\n"; # $value exists
}
if ($attr->has_default || $attr->has_builder) {
my $default = $attr->default;
my $builder = $attr->builder;
- $code .= "my \$value = ";
-
- if ($attr->should_coerce && $attr->type_constraint) {
- $code .= "\$attrs[$index]->_coerce_and_verify(";
- }
-
- if ($attr->has_builder) {
- $code .= "\$instance->$builder()";
+ my $value;
+ if (defined($builder)) {
+ $value = "\$instance->$builder()";
}
elsif (ref($default) eq 'CODE') {
- $code .= "\$attrs[$index]->{default}->(\$instance)";
- }
- elsif (!defined($default)) {
- $code .= 'undef';
- }
- elsif ($default =~ /^\-?[0-9]+(?:\.[0-9]+)$/) {
- $code .= $default;
+ $value = "$attr_var\->{default}->(\$instance)";
}
- else {
- $code .= "'$default'";
- }
-
- if ($attr->should_coerce) {
- $code .= ");\n";
+ elsif (defined($default)) {
+ $value = "$attr_var\->{default}";
}
else {
- $code .= ";\n";
+ $value = 'undef';
}
- if ($attr->has_type_constraint) {
- $code .= "{
- unless (\$attrs[$index]->{type_constraint}->check(\$value)) {
- \$attrs[$index]->verify_type_constraint_error(q{$key}, \$value, \$attrs[$index]->type_constraint)
- }
- }";
+ if($need_coercion){
+ $value = "$constraint_var->coerce($value)";
}
- $code .= "\$instance->{q{$key}} = \$value;\n";
-
- if ($attr->is_weak_ref) {
- $code .= "Scalar::Util::weaken( \$instance->{q{$key}} ) if ref( \$value );\n";
- }
+ $code .= "$instance_slot = $value;\n";
+ $code .= $post_process;
}
}
elsif ($attr->is_required) {
- $code .= "Carp::confess('Attribute ($key) is required');";
+ $code .= "\$meta->throw_error('Attribute ($key) is required')";
+ $code .= " unless \$is_cloning;\n";
}
- $code .= "}\n" if defined $attr->init_arg;
+ $code .= "}\n" if defined $init_arg;
push @res, $code;
}
+ if($strict){
+ push @res, q{if($used < keys %{$args})}
+ . q{{ $meta->_report_unknown_args(\@attrs, $args) }};
+ }
+
if($metaclass->is_anon_class){
- push @res, q{$instnace->{__METACLASS__} = $metaclass;};
+ push @res, q{$instance->{__METACLASS__} = $meta;};
}
if($has_triggers){
unshift @res, q{my @triggers;};
- push @res, q{$_->[0]->($instance, $_->[1]) for @triggers;};
+ push @res, q{$_->[0]->($instance, $_->[1]) for @triggers;};
}
- return join "\n", @res;
+ my $source = sprintf <<'EOT', __FILE__, $metaclass->name, join "\n", @res;
+#line 1 "%s"
+ package %s;
+ sub {
+ my($meta, $instance, $args, $is_cloning) = @_;
+ %s;
+ return $instance;
+ }
+EOT
+ warn $source if _MOUSE_DEBUG;
+ my $body;
+ my $e = do {
+ local $@;
+ $body = eval $source;
+ $@;
+ };
+ die $e if $e;
+ return $body;
}
sub _generate_BUILDARGS {
- my($self, $metaclass) = @_;
+ my(undef, $metaclass) = @_;
- if ($metaclass->name->can('BUILDARGS') && $metaclass->name->can('BUILDARGS') != \&Mouse::Object::BUILDARGS) {
+ my $class = $metaclass->name;
+ if ( $class->can('BUILDARGS') && $class->can('BUILDARGS') != \&Mouse::Object::BUILDARGS ) {
return 'my $args = $class->BUILDARGS(@_)';
}
}
sub _generate_BUILDALL {
- my ($class, $metaclass) = @_;
+ my (undef, $metaclass) = @_;
return '' unless $metaclass->name->can('BUILD');
my @code;
for my $class ($metaclass->linearized_isa) {
- no strict 'refs';
- no warnings 'once';
-
- if (*{ $class . '::BUILD' }{CODE}) {
+ if (Mouse::Util::get_code_ref($class, 'BUILD')) {
unshift @code, qq{${class}::BUILD(\$instance, \$args);};
}
}
}
1;
+__END__
+
+=head1 NAME
+
+Mouse::Meta::Method::Constructor - A Mouse method generator for constructors
+
+=head1 VERSION
+
+This document describes Mouse version 0.91
+
+=head1 SEE ALSO
+
+L<Moose::Meta::Method::Constructor>
+
+=cut