Moose：属性値が変更されたときのキャッシュされた計算結果の期限切れ？

Question

クラスでは、 の計算値を表す属性を作成するパターンがあります。明白な理由から、計算された値 をキャッシュし、基になる値の1つが変更されたときにキャッシュを無効にする必要があります。

だから我々は現在、この持っている：他の計算値に依存 値を計算した場合、この長い手の方法は非常に退屈でエラーが発生しやすくなっている

package FooBar; 
use Moose; 

has 'foo' => (
     accessor => { 
      'foo' => sub { 
       my $self = shift; 
       if (@_ > 0) { 
        # writer 
        $self->{foo} = $_[0]; 

     # reset fields that are dependant on me 
     $self->{bar} = undef; 
       } 
       # reader part; 
       return $self->{foo}; 
      } 
     } 
    ); 

has 'bar' => (
     accessor => { 
      'bar' => sub { 
       my $self = shift; 
       if (@_ > 0) { 
        # writer 
        $self->{bar} = $_[0]; 
       } 
       # reader part; 
       $self->{bar} = calculate_bar($self->foo, $self->baz) 
         if (not defined($self->{bar})); 
       return $self->{bar}; 
      } 
     } 
    ); 

sub calculate_bar { ... } 

を。

'bar'がそれに依存する属性を監視するためのよりスマートでシンプルな方法はありますか？ 対して誰がそれに依存しているのかを知っていますか？また、どのようにハッシュ メンバーアクセスを介してバーを設定するのを避けることができますか？

Answer 1

私はあなたがあなただけのメモ化明示的にすること作ることができたときに、属性、怠惰との暗黙のメモ化を使用することによって、この困難を自分で作っているということは十分に可能だと思うあなたプログラム全体より透明

has [qw/foo bar baz/] => (isa => 'Value', is => 'rw'); 

use Memoize; 
memoize('_memoize_this'); 

sub old_lazy_attr { 
    my $self = shift; 
    _memoize_this($self->attr1, $self->attr2, $self->attr3); 
} 

sub _memoize_this { 
    my @args = @_; 
    # complex stuff 
    return $result 
} 

参照CPANのMemoize内部キャッシュの情報と制御のために、また、メモ化することを覚えておいてください関数はオブジェクトの状態に依存することはできません。したがって、引数は明示的にに渡されなければなりません。

Answer 2

私が正しく理解していれば、triggersを使用して、属性が設定されているときに属性をクリアすることができます。

has 'foo' => (
    is  => 'rw', 
    trigger => sub{ 
     my ($self) = @_; 
     $self->clear_bar; 
    } 
); 

has 'bar' => (
    is  => 'rw', 
    clearer => 'clear_bar', 
    lazy => 1, 
    default => sub{ 
     my ($self) = @_; 
     return calculate_bar(...); 
    } 
); 

ので、$obj->foo($newvalue)経由fooへの書き込みがbarがクリアされ、次のアクセスに再作成されるようになります：ここでは例です。

Answer 3

これは機能しますか？

#!/usr/bin/perl 

package Test; 

use Modern::Perl; 
use Moose; 

has a => (is => 'rw', isa => 'Str', trigger => \&change_a); 
has b => (is => 'rw', isa => 'Str', trigger => \&change_b); 
has c => (is => 'rw', isa => 'Str'); 

sub change_a 
{ 
    my $self = shift; 
    say 'update b'; 
    $self->b($self->a . ', bar'); 
} 

sub change_b 
{ 
    my $self = shift; 
    say 'update c'; 
} 

package main; 

my $test = Test->new->a('Foo'); 

出力：

$ perl test.pl 
update b 
update c 

Answer 4

私はMooseの内部構造とメタオブジェクトプロトコルで何かを掘り下げていませんが、これは良いタイミングだと思います。

はあなたが

has 'foo' =>(); 
has 'bar' => ( 
    depends_on => [qw(foo)], 
    lazy => \&calculate_bar, 
); 

あなたは上記の指定されたコード生成相はfooとbar属性のコードを作成して属性を指定するときようにコード生成にパッチを適用します。

これを行う方法は、読者に残された課題です。手がかりがあれば、私はあなたにスタートを与えようとします。残念ながら、私があなたにアドバイスできるのは、 "これはMOPの仕事です"です。