Raku对象创建时解构赋值传参的行为差异问题问询

这是Raku的预期设计，并非bug，背后的核心原因是Hash值的标量容器特性，以及默认构造函数和普通函数的参数处理逻辑差异：

原因说明 #

1. Hash值默认被标量容器包裹
   Raku中Hash的所有值默认都会被Scalar容器包裹，你执行my %h = a => [4,2]时，%h<a>实际存储的是「装了数组[4,2]的标量容器」，而非裸数组。
2. 默认构造函数与普通函数的处理规则不同

• 普通函数的:@a类型命名参数，接收参数时会自动解包外层标量容器，再将内部的可迭代值展开为参数元素，因此两种传参方式结果一致。
• 类的默认.new构造函数处理@.a这类位置型属性时，规则更严格：如果传入的是裸可迭代对象就展开所有元素赋值，如果传入的值被标量容器包裹，就会把标量内的整个内容当成单个元素存入属性：
  • 直接传:a([4,2])时，Pair的值是没有标量包裹的裸数组，构造函数会把数组的两个元素直接分配给@.a
  • 传|%h时，展开的是a => $[4,2]，值被标量容器包裹，构造函数会把标量里的整个数组当成单个元素塞进@.a，因此出现了嵌套数组的结果。

解决方法 #

如果要让|%h传参时和直接写Pair的效果一致，有两种常用方案：

• 方案1：存入Hash时用绑定而非赋值，避免值被标量包裹

my %h;
%h<a> := [4, 2]; # 绑定操作符:=不会给值套标量容器
C.new: |%h; # 此时输出和`:a([4,2])`完全一致

• 方案2：展开Hash时主动脱掉值的标量容器，使用脱容器操作符<>

C.new: |%h.map: { .key => .value<> }

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