如何使用 Moose 从属性的元对象创建值实例？

Question

我正在开发一个序列化工具，使用 Moose 来读取和写入符合非标准格式的文件。现在，我根据类中对象的默认值确定如何加载下一个项目，但这有其自身的缺点。相反，我希望能够使用属性元类中的信息来生成正确类型的新值。我怀疑有一种方法可以确定“isa”限制是什么并从中派生生成器，但我在 Moose::Meta::Attribute 或 Class::MOP::Attribute 中没有看到可以帮助我的特定方法。

这是一个更进一步的例子。假设我有以下类：（

package Example;
use Moose;

use My::Trait::Order;
use My::Class;

with 'My::Role::Load', 'My::Role::Save';

has 'foo' => (
    traits => [ 'Order' ],
    isa => 'Num',
    is => 'rw',
    default => 0,
    order => 1,
);

has 'bar' => (
    traits => [ 'Order' ],
    isa => 'ArrayRef[Str]',
    is => 'rw',
    default => sub { [ map { "" } 1..8 ] }
    order => 2,
);

has 'baz' => (
    traits => [ 'Order' ],
    isa => 'Custom::Class',
    is => 'rw',
    default => sub { Custom::Class->new() },
    order => 3,
);

__PACKAGE__->meta->make_immutable;
1;

进一步说明：My::Role::Load 和 My::Role::Save 实现此文件类型的序列化角色。它们迭代它们所附加的类的属性，并查看属性类以获取序列化的顺序。）

在 My::Role::Load 角色中，我可以迭代类的元对象，查看我可用的所有属性，并仅选择具有我的 Order 特征的属性：

package My::Role::Load;
use Moose;    

...

sub load {
    my ($self, $path) = @_;

    foreach my $attribute ( $self->meta->get_all_attributes ) {
        if (does_role($attribute, 'My::Trait::Order') ) {
            $self->load_attribute($attribute) # do the loading
        }
    }
}

现在，我需要知道元属性表示的属性的 isa 。现在，我通过获取它的一个实例来测试它，并使用类似这样的东西来测试它：

use 5.010_001; # need smartmatch fix.
...
sub load_attribute {
    my ($self, $attribute, $fh) = @_;
    my $value = $attribute->get_value($self); # <-- ERROR PRONE PROBLEM HERE!
    if (ref($value) && ! blessed($value)) { # get the arrayref types.
        given (ref($value)) {
            when('ARRAY') { 
                $self->load_array($attribute);
            }
            when('HASH') {
                $self->load_hash($attribute);
            }
            default {
                confess "unable to serialize ref of type '$_'";
            }
        }
    }
    else {
        when (\&blessed) {
            confess "don't know how to load it if it doesn't 'load'."
                if ! $_->can('load');
            $_->load();
        }
        default {
            $attribute->set_value($self, <$fh>);
        }
    }
}

但是，正如您在 # <-- ERROR PRONE PROBLEM HERE! 中看到的那样，这个整个过程首先依赖于属性中有一个值！如果该值是 undef，我就没有任何关于要加载什么的指示。我想用一种获取有关需要加载的值类型的信息的方法来替换 $attribute->get_value($self) 。我的问题是，我在上面链接到的 Class::MOP::Attribute 和 Moose::Meta::Attribute 的文档似乎没有任何办法获取属性应该获取的对象类型。

属性的类型信息基本上就是我想要获取的信息。

（未来的读者请注意：这里的答案让我开始，但本身并不是最终的解决方案。您必须深入研究 Moose::Meta::TypeConstraint 类才能真正执行我的操作正在找这里。）

Answer 1

不确定我是否遵循您的要求，也许强制可能会做您想要的事情？

但是要获取属性isa：

{
    package Foo;
    use Moose;

    has 'bar' => ( isa => 'Str', is => 'rw' );
}


my $foo = Foo->new;

say $foo->meta->get_attribute('bar')->type_constraint;   # => 'Str'

/I3az/

Answer 2

出于好奇为什么不使用/扩展MooseX::Storage？它进行序列化，并且已经进行了大约两年半。至少 MooseX::Storage 将通过展示如何编写 Moose 的（经过良好测试且已准备好生产）序列化引擎来帮助您。

Answer 3

我不太确定我理解（也许您可以包含一些伪代码来演示您正在寻找的内容），但听起来您可以通过定义新的属性特征来获得您想要的行为：设置您的属性，以便类上的一堆方法委托给属性的对象（isa => 'MySerializer', handles => [ qw(methods) ]）。

您可能还需要子类 Moose::Meta::Class （或者更好的是，向其中添加一个角色），这会增强 add_attribute() 的行为。

编辑：如果您查看 Moose::Meta::Attribute （特别是 _process_options 方法），您将看到 isa 选项由 Moose::Util::TypeConstraints 返回要存储在对象的 type_constraint 字段中的实际类型。这将是 Moose::Meta::TypeConstraint::Class< /a> 对象，您可以对其进行诸如 is_a_type_of() 之类的调用。

该字段可通过 Moose::Meta::Attribute 中的 type_constraint 方法获得。请参阅 Moose::Meta::TypeConstraint 了解所有可用的接口用于检查属性的类型。