perl - 是否可以在 perl 中使用散列(不是 hashrefs)的散列？

Question

在 perl 中，可以使用哈希，例如my %a = (2, "two");以及 hashrefs，例如my $b = {2 => "two"};
每当我创建一个多维散列时，顶级散列的值总是 hashrefs，即调用 ref()在他们身上返回 "HASH" .是否有可能只有散列的散列，而没有额外的间接级别？

此外，当处理散列的散列时，perl 允许在访问子散列的元素时省略取消引用运算符:

my %a;
$a{2} = {2 => "two"};

# the following are both valid:
$a{2}->{2}
$a{2}{2}

我认为第二个只是第一个的语法糖。然而，这似乎与简单的非嵌套 hashref 所需的语法不一致，如 $b->{2}有效而 $b{2}不是。

我问的原因是我想说

for my %hash (values %a) { 

甚至

for my %hash (map(%{$_}, values %a)) {

但这两者都会在编译时导致“循环变量上的 $ 丢失”错误。

Answer 1

一开始，只有标量、散列和数组。实际上，那是 Perl4，但是在设计 Perl5 时，绝对的向后兼容性是一个关键点。这意味着 $hash{entry} = @array将不得不继续将数组大小分配给该散列条目，而不是将数组放入散列中。所以集合只能包含标量。

这是需要引用的主要原因之一——散列引用和数组引用允许我们将集合作为单个标量引用。散列引用的语法需要与散列的语法不同。取消引用箭头 -> (从 C 中借来)可用于 hashref 访问:$hashref->{entry} .因为哈希永远不能直接包含一个集合，下标之间的解引用箭头对于哈希和哈希引用之间的消歧是不必要的，所以 $ref->{a}->{b}和 $ref->{a}{b}做同样的事。但是，hashref 访问不能使用 $ref{entry}因为该语法已经用于哈希访问，如 $name和 %name可以作为单独的变量同时存在。

简而言之，语法很难看，但出于向后兼容的原因。

目前，for my %hash (@hash_references)或 for my @array (@hash_references)据我所知是不允许的。我个人认为这种语法没有任何问题，但不可否认，隐式取消引用相当令人困惑。不得不使用 %$ref而不是 %hash真的没有那么糟糕。

顺便说一句，Perl6 摆脱了引用，因为除了向后兼容性之外，散列和散列引用之间的这种差异是完全没有必要的。集合变量的行为更像标量，尽管有像“项目上下文”这样的新上下文来帮助解决缺少引用的问题。