Moose：屬性值更改時計算緩存結果到期嗎？

Question

在我們的課程中，我們有一個模式，我們創建一個屬性來表示一個 計算值。出於顯而易見的原因，我們希望緩存計算值 ，然後在其中一個基礎值發生更改時使緩存無效。

所以我們現在有這樣的：

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 { ... } 

當計算 依賴於其它計算值值這個長手方法越來越非常繁瑣，而且容易出錯。

有沒有更智能/更簡單的方法來監控它所依賴的屬性 vs'foo'是否知道誰依賴於它？另外我怎樣才能避免通過散列 成員訪問設置欄？

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信息和內部緩存的控制，還記得，Memoized函數不能依賴於對象的狀態。所以參數必須明確地通過。

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的工作」。