5

使用Moose，您可以拥有on 属性，如果该属性尚未填充，则在lazy builders首次访问该属性时调用构建器。您可以使用 对属性进行类型强制，但是只要设置了属性，就会应用此强制，即使在对象初始化时也是如此。coerce

我正在寻找一种实现惰性强制的方法，其中一个属性可能最初被填充，但仅在第一次访问时才被强制。当强制很昂贵时，这一点很重要。

在以下示例中，我使用联合类型和方法修饰符来执行此操作：

package My::Foo;
use Moose;
has x => (
    is => 'rw',
    isa => 'ArrayRef | Int',
    required => 1
);

around "x" => sub {
    my $orig = shift;
    my $self = shift;
    my $val = $self->$orig(@_);
    unless(ref($val)) {
        # Do the cocerion
        $val = [ map { 1 } 1..$val ];
        sleep(1); # in my case this is expensive
    }
    return $val;
}; 
1;

my $foo = My::Foo->new( x => 4 );
is_deeply $foo->x, [ 1, 1, 1, 1 ], "x converted from int to array at call time";

但是，这样做存在一些问题：

  1. 我不喜欢联合类型+方法修饰符的方法。它违背了使用强制而不是 union的“最佳实践”建议。它不是声明性的。

  2. 我需要在许多类中使用许多属性来做到这一点。因此需要某种形式的 DRY。这可能是元属性角色，类型强制，你有什么。

更新： 我按照ikegami 的建议将昂贵的类型强制封装在一个对象中，并为这个对象提供一个外部强制：

package My::ArrayFromInt;
use Moose;
use Moose::Util::TypeConstraints;
subtype 'My::ArrayFromInt::Inner',
    as 'ArrayRef[Int]';
coerce 'My::ArrayFromInt::Inner',
    from 'Int',
    via { return [ (1) x $_ ] };
has uncoerced => (is => 'rw', isa => 'Any', required => 1); 
has value => (
    is      => 'rw',
    isa     => 'My::ArrayFromInt::Inner',
    builder => '_buildValue',
    lazy    => 1,
    coerce  => 1
);
sub _buildValue {
    my ($self) = @_; 
    return $self->uncoerced;
}
1;
package My::Foo;
use Moose;
use Moose::Util::TypeConstraints;
subtype 'My::ArrayFromInt::Lazy' => as class_type('My::ArrayFromInt');
coerce 'My::ArrayFromInt::Lazy',
    from 'Int',
    via { My::ArrayFromInt->new( uncoerced => $_ ) };
has x => (
    is => 'rw',
    isa => 'My::ArrayFromInt::Lazy',
    required => 1,
    coerce => 1
);
1;

如果$foo->x->value被调用，这将起作用。然而，这并不能解决第 2 点，因为我需要为我想要转换的每个属性创建子类型My::ArrayFromInt。如果可能的话::Lazy，我想避免打电话。$foo->x->value

4

1 回答 1

0

如何按照所描述的方式使用 typedef，然后执行

has _x => (
    is       => 'ro',
    isa      => 'Int|MyArrayOfInts',
    init_arg => 'x',
    required => 1,
);

has x => (
    is => 'ro',
    lazy => 1,
    isa => 'MyArrayOfInts',
    coerce => 1,
    default => sub { $_[0]->_x },
);

将其包装成某种辅助方法来创建沿线的对象对是有意义的

has_lazily_coerced x => (
    is => 'ro',
    isa => 'TargetType',
);

这将自省 TargetType 以获取未强制影子属性的合法类型列表并为您生成一对属性。

于 2012-06-06T10:12:56.463 回答