Perl6 类属性中的类型强制

Question

像 Perl5 中的大多数东西一样，有很多方法可以创建一个支持其属性的自定义类型强制的类。这是一个简单的，从数组引用到哈希：

#!/usr/bin/env perl
package Local::Class {
use Moo;
use Types::Standard qw( HashRef ArrayRef );
has set => (
is => 'ro',
coerce => 1,
isa => HashRef->plus_coercions(
ArrayRef, sub { return { map { $_ => 1} @{$_[0]} } },
),
);
}
my $o = Local::Class->new({ set => [qw( a b b c )] });
# $o->set now holds { a => 1, b => 1, c => 1}

我一直在尝试将这样的东西移植到 Perl6 中，在那里我似乎需要一种将Array强制到SetHash的方法。到目前为止，我能够做到这一点的唯一方法是这样的：

#!/usr/bin/env perl6
class Local::Class {
has %.set;
## Wanted to have
# has %.set is SetHash;
## but it dies with "Cannot modify an immutable SetHash"
submethod TWEAK (:$set) {
self.set = $set.SetHash;
}
}
my $o = Local::Class.new( set => [< a b b c >] );
# $o.set now holds {:a, :b, :c}

但在我看来，这不是正确的方法，至少对于将奇数列表传递给构造函数会使脚本死亡的微小细节。

那么，在Perl6中是如何做到这一点的呢？为类属性实现自定义类型强制的推荐方法是什么(因为我确定不止一种)？

Answer 1

TWEAK

在对象被BUILD初始化后运行，这就是提供奇数数组的地方。

将强制移动到BUILD时间，事情应该按预期进行：

class Local::Class {
has %.set;
submethod BUILD (:$set) {
%!set := $set.SetHash;
}
}

如果可以将强制SetHash()参数类型与自动属性初始化结合使用，那就太好了，但这将失败，因为符号是属性名称的一部分，如果要接受非关联类型，则无法%参数 -sigilled。

但是，如果您改用$-sigilled 属性，它工作正常：

class Local::Class {
has $.set;
submethod BUILD (SetHash() :$!set) {}
}

---

正如@smls指出的那样，以下变体

class Local::Class {
has %.set is SetHash;
submethod BUILD (:$set) {
%!set = $set.SetHash;
}
}

可能也应该工作，而不是死在无法修改不可变的 SetHash。

作为SetHash不可分配的解决方法，您可以使用

class Local::Class {
has %.set is SetHash;
submethod BUILD (:$set) {
%!set{$set.SetHash.keys} = True xx *;
}
}