在 Perl 6 中，我可以使用数组作为哈希键吗？

Question

在哈希文档中， Object keys部分似乎暗示您可以使用任何类型作为哈希键，只要您指出，但在尝试使用数组作为键时我遇到了问题：

> my %h{Array};
{}
> %h{[1,2]} = [3,4];
Type check failed in binding to parameter 'key'; expected Array but got Int (1)
in block <unit> at <unknown file> line 1

是否有可能做到这一点？

Answer 1

在[1,2]内%h{[1,2]} = [3,4]被解释为一个切片。 所以它尝试分配%h{1}和%{2} 。 而且由于键必须是Array ，因此类型检查不好。 这就是错误消息告诉您的内容。

如果您逐项列出数组，它“确实”起作用：

my %h{Array};
%h{ $[1,2] } = [3,4];
say %h.perl;  # (my Any %{Array} = ([1, 2]) => $[3, 4])

但是，这可能不会得到您想要的结果，因为：

say %h{ $[1,2] };  # (Any)

这是因为对象哈希使用.WHICH方法的值作为底层数组中的键。

say [1,2].WHICH; say [1,2].WHICH;
# Array|140324137953800
# Array|140324137962312

请注意，那些看似相同的数组的.WHICH值是不同的。 那是因为Array是可变的。 因为List可以，所以这不会真正起作用。

那么你想达到什么目的？ 如果数组中值的顺序不重要，您可以使用Set s 作为键：

say [1,2].Set.WHICH; say [1,2].Set.WHICH
# Set|AEA2F4CA275C3FE01D5709F416F895F283302FA2
# Set|AEA2F4CA275C3FE01D5709F416F895F283302FA2

请注意，这两个.WHICH是相同的。 所以你可以把它写成：

my %h{Set};
dd %h{ (1,2).Set } = (3,4); # $(3, 4)
dd %h; # (my Any %{Set} = ((2,1).Set) => $(3, 4))

希望这能澄清事情。 更多信息请访问： https : //docs.raku.org/routine/WHICH

Answer 2

如果出于某种原因您真的只对使用对象哈希感兴趣，请参阅 Liz 的回答，尤其是对之前类似问题的回答和评论。

此答案的（最终^1）焦点是使用一个简单的方法Array等[1,'abc',[3/4,Mu,["more",5e6],9.9],"It's {<sunny rainy>.pick} today"]作为常规字符串哈希键。

基本原理是使用.perl来近似一个不可变的“值类型”数组，直到出现具有更健壮值类型.WHICH的规范不可变Positional类型。

使用数组作为散列键的简单方法

my %hash;
%hash{ [1,2,3].perl } = 'foo';
say %hash{ [1,2,3].perl }; # displays 'foo'

.perl将其参数转换为 Perl 6 代码字符串，该字符串是该参数的文字版本。

say [1,2,3].perl;    # displays '[1, 2, 3]'

请注意如何添加空格，但这并不重要。

这不是一个完美的解决方案。 如果您在键访问之间改变数组，您显然会得到破坏的结果。 不太明显的是，您会得到与.perl任何限制或错误相对应的损坏结果：

say [my %foo{Array},42].perl; # displays '[(my Any %{Array}), 42]'

¹希望这是我对您问题的最终回答的结束。 有关使用前缀~实现更有限但类似的效果和/或尝试在下面的评论中了解我与 Liz 的交流的替代方法的讨论，请参阅此答案的早期第 10 (!!) 版本。