Raku向Buf变量push元素报签名不匹配错误的原因及解决方法

问题根因 #

报错首行的push(Buf:U: Int:D)已经指明了核心问题：

• Raku的方法签名中，调用者位置的:U标记代表未定义的类型对象，:D标记代表已实例化的实体对象
• 代码中my Buf $data2;仅声明了变量的类型约束为Buf，但未对其赋值初始化，此时$data2存储的是Buf类型对象本身，属于未定义状态
• 而Buf提供的所有push方法，都要求调用者必须是已经实例化的Buf对象（所有可用签名的调用者位置都标记为Buf:D:），拿未定义的类型对象调用push，自然无法匹配到合法的方法签名，触发报错。

修正方法 #

方案1：保留原有逐元素处理逻辑 #

只需要在声明$data2时将其初始化为空Buf实例即可，其余代码无需改动：

use v6;

my $data1 = Buf.new(1, 2, 3);
my Buf $data2 = Buf.new; # 初始化为空Buf实体，不再是未定义类型对象

my $n = $data1.bytes;

for ^$n
{
  my $ch = $data1.shift;
  $data2.push($ch)
}

运行上述代码即可正常执行，最终$data2会得到包含[1,2,3]的Buf对象。

方案2：使用Buf原生方法简化代码 #

如果只是需要复制Buf内容，不需要逐元素处理的话，完全没必要手动写循环取元素再push，直接用内置的克隆或追加方法即可：

use v6;
my $data1 = Buf.new(1, 2, 3);
my $data2 = $data1.clone; # 直接克隆得到内容完全一致的新Buf实例

如果是要在已有Buf后面追加另一个Buf的全部内容，直接调用append方法即可：

my Buf $data2 = Buf.new;
$data2.append($data1); # 一次性追加所有元素，无需循环

内容的提问来源于stack exchange，提问作者zentrunix