对象创建中的解构赋值

和我的一样上一个问题 https://stackoverflow.com/questions/69137422/confusing-fmt-behavior-with-nested-lists，这是一个我无法判断我对 Raku 语义的理解是否遇到错误或漏洞的区域。上次竟然是bug，不过怀疑闪电会劈两次！

一般来说，我知道我可以使用看起来很像创建 Pair 的语法将命名参数传递给函数（例如f :a(42)) 或语法为看起来很像 https://twitter.com/jnthnwrthngtn/status/1432395855819063301展平哈希（例如，f |%h). (see 论证解构 https://docs.raku.org/type/Signature#index-entry-destructuring_arguments在文档中）。通常，这两者是等效的，即使对于非标量参数也是如此：

sub f(:@a) { dd @a }
my %h = a => [4, 2];
f :a([4,2]);  # OUTPUT: «Array element = [4, 2]»
f |%h;        # OUTPUT: «Array element = [4, 2]»

但是，当使用默认构造对象时.new构造函数，这两种形式似乎给出了不同的结果：

class C { has @.a; }
my %h = a => [4, 2];
C.new: :a([4,2];  # OUTPUT: «C.new(a => ([[4, 2]])»
C.new: |%h;       # OUTPUT: «C.new(a => [[4, 2],])»

也就是说，通过:a([4,2])会产生一个二元素数组，但使用参数扁平化语法会产生一个包含二元素数组的单元素数组。

这种行为是故意的吗？如果是这样，为什么？我可以使用语法来传递|%h并获取绑定到一个的二元素数组@- 签名属性？ （我知道使用$-sigiled 属性有效，但我更喜欢的语义@).

这种行为是故意的吗？

是的。参数绑定使用绑定语义，而属性初始化使用赋值语义。分配到数组方面Scalar容器，以及 a 的值Hash are Scalar容器。

如果是这样，为什么？

直觉是：

• 当调用一个函数时，在它返回之前我们不会做任何事情，因此我们可以有效地借出我们在它执行时传递给它的相同对象。因此，绑定是一种明智的默认设置（但是，可以使用is copy在参数上获取赋值语义）。
• 当创建一个新对象时，它很可能会在构造函数调用之后继续存在。因此，复制（即赋值）语义是一个合理的默认值。

是否有语法可以用来传递 |%h 并获取绑定到 @-sigiled 属性的二元素数组？

强制将其变成Map:

class C { has @.a; }
my %h = a => [4, 2];
say C.new: |%h.Map;

或者从一个开始Map首先：

class C { has @.a; }
my %h is Map = a => [4, 2];
say C.new: |%h;