迭代器 – 尝试分配给字符串角色时“无法分配给不可变值”

背景

fails with a somewhat bewildering “Cannot assign to an immutable value”.

我认为这是一个错误.让我们从一些有效的代码开始：

my $a = 42;
say $a;          # 42
say WHAT $a;     # (Int)               type of VALUE currently ASSIGNED to $a
say WHAT VAR $a; # (Scalar)            type of VARIABLE currently BOUND to $a
$a = 42;         # works fine

在我的声明中,$a获得BOUND到新的Scalar container.标量容器通常隐藏自己.如果你询问$a类型是什么,你实际上得到的是当前分配给标量的值的类型(它“包含”的值).您需要VAR才能访问容器BOUND到$a.将=赋值给标量容器时,将指定的值复制到容器中.

role foo {}
$a does foo;     # changes the VALUE currently ASSIGNED to $a
                 # (NOT the VARIABLE that is BOUND to $a)
say $a;          # 42                  mixed in `foo` role is invisible
say WHAT $a;     # (Int+{foo})         type of VALUE currently ASSIGNED to $a
say WHAT VAR $a; # (Scalar)            type of VARIABLE currently BOUND to $a
$a = 99; say $a; # 99

确实将foo角色混合到了42.你仍然可以分配给$a,因为它仍然绑定到标量.

注意这两种用法的效果有很大不同：

my $a does foo;  # mixes `foo` into VARIABLE bound to $a
$a does foo;     # mixes `foo` into VALUE assigned to $a

错误

$a.VAR does foo; # changes VARIABLE currently BOUND to $a (and it loses the 42)
say $a;          # Scalar+{foo}.new    VALUE currently ASSIGNED to $a
say WHAT $a;     # (Scalar+{foo})      type of VALUE currently ASSIGNED to $a
say WHAT VAR $a; # (Scalar+{foo})      type of VARIABLE currently BOUND to $a

$a = 'uhoh';     # Cannot assign to an immutable value

它确实将foo角色混合到绑定到$a的Scalar中.似乎带有mixin的Scalar不再能够成功地用作容器,并且赋值失败.

这在我看来就像一个bug.

my $b does foo;  # BINDS mixed in VARIABLE to $b
$b = 'uhoh';     # Cannot assign to an immutable value

我的$b foo与我的$b有相同的结果; $b.VAR确实foo;所以你得到与上面相同的问题.

你困惑的其他事情

my $a = 'GAATCC';
$a does DNA;
.say for $a;

just prints the string,without paying any attention to the Iterable mixin.

因为$a VARIABLE仍然绑定到标量(如上面的背景部分所述),现在混合了DNA角色的VALUE与the decision process for uses about whether to call its argument’s .iterator method无关.

Let’s call it then explicitly … prints the value of $a.iterator,without actually calling the function:

.say for $a.iterator;

那么它确实称你的DNA角色为.iterator方法.但是在你的DNA角色的迭代器方法返回的self.comb结尾处有另一个.iterator调用,所以你就是那个二级.iterator.

解决方案今天有效

我认为布拉德的答案很好地涵盖了你的大部分选择.

如果你想使用$sigil,我认为你的does DNA gist和今天的P6一样好.

一天可能有效的解决方案

在一个理想的世界中,P6设计中的所有甜蜜都将在6.c和Perl 6的Rakudo编译器实现中完全实现.也许这包括编写这个并获得你想要的东西的能力：

class DNA is Scalar does Iterable { ... }
my $a is DNA = 'GAATCC';
.say for $a;

…代码与你在gist中的代码大致相同,只是DNA类是标量容器,因此新方法将是一个STORE方法或类似的方法,将传递的值赋给$！value属性或使用=分配给容器的某些值.

但相反,你得到：

is trait on $-sigil variable not yet implemented. Sorry.

因此,你今天最接近理想的=’string’来改变$a就是使用：= DNA.new(‘string’)进行绑定,就像你在你的要点中所做的那样.

请注意,您可以将任意复合容器绑定到@和％sigil变量.所以你可以看到事情最终会如何发挥作用.