在 Perl 6 中，我可以使用 Array 作为 Hash 键吗？

Question

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

> 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

%h{[1,2]} = [3,4] 中的[1,2] 被解释为一个切片。所以它尝试分配%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 值是不同的。 那是因为Arrays 是可变的。就像Lists 一样，所以这真的行不通。

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

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

请注意，这两个.WHICHes 是相同的。所以你可以这样写：

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

如果您出于某种原因真的只对使用 Object Hash 感兴趣，请参阅 Liz 在此处的答案，尤其是a similar earlier question 的答案和 cmets。

this 答案的 (final¹) 重点是使用 Array（如 [1,'abc',[3/4,Mu,["more",5e6],9.9],"It's {<sunny rainy>.pick} today"]）作为常规字符串哈希键的简单方法。

基本原则是使用.perl 来逼近一个不可变的"value type" 数组，直到出现一个规范的不可变Positional 类型和更健壮的值类型.WHICH。

使用数组作为哈希键的简单方法

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

.perl 将其参数转换为 Perl 6 代码的 string，这是该参数的 literal 版本。

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

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

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

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

¹ 希望这是我对您问题的最终回答的结尾。请参阅 my earlier 10th (!!) version of this answer 以讨论使用前缀 ~ 的替代方案以实现更有限但类似的效果和/或尝试在下面的 cmets 中了解我与 Liz 的交流。