如何解决动态变量、CALLERS、标量和赋值
我最近注意到,在使用赋值的大多数情况下,重新初始化动态变量没有我预期的语义(但是,绑定按我预期的方式工作)。
sub g {
my $*i = CALLERS::<$*i> // 0;
my $*a1 = CALLERS::<$*a1> // Array.new;
my @*a2 = CALLERS::<@*a2> // Array.new;
$*i++;
$*a1.push: 'v1';
@*a2.push: 'v2';
dd $*i;
dd $*a1;
dd @*a2;
}
sub f {
my $*i = 0;
my $*a1 = Array.new;
my @*a2 = Array.new;
g; g; g;
}
f
我期望输出 3
、["v1","v1","v1"]
和 ["v2","v2","v2"]
,但得到的是 1
、$["v1","v1"]
、["v2"]
。切换到绑定解决了这个问题,所以没有我想要解决的问题——但我非常想了解为什么赋值在这里不起作用。我注意到指向 Array 的 Scalar 有效,但指向 Int 的 Scalar 无效。但无论哪种情况,我都会认为新分配的变量会从 CALLERS 接收值。我在赋值的语义上遗漏了什么?
解决方法
我在赋值语义方面遗漏了什么?
我认为您所缺少的与动态变量本身没有任何关系。我认为您缺少的是以下事实:
my @a = Array.new;
基本上是一个 noop。因为是单参数规则,所以等同于:
my @a = ();
等同于:
my @a;
因此,在您在 sub f
中的示例中:
my @*a2 = Array.new;
in 只是在动态变量中设置一个空数组。
然后在 sub g
中:
my @*a2 = CALLERS::<@*a2> // Array.new;
基本上就是在做(因为单参数规则):
my @*a2;
因此您看不到您之前完成的push
es,因为每次调用都是全新开始的。
关于 $*i
中 sub g
的值:这也只是增加了调用者 $*i
的copy,因此该值保持在 {{1 }} 在每次通话中。
1
起作用的原因是容器化停止了单参数规则的扁平化行为。观察两者之间的区别:
$*a1
和:
sub a(+@a) { dd @a }; a [2,3,4]; # [2,4]
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。