为什么使用 keys() 而不是 %{..} 会发生 Autovivification？答案

【问题标题】：Why does Autovivification occur with keys() and not %{..}?为什么使用 keys() 而不是 %{..} 会发生 Autovivification？
【发布时间】：2016-05-03 21:58:56
【问题描述】：

这是我在keys() 中发现的一个微妙之处。

$ perl -e 'use warnings; use strict; my $d = { "ab" => 1 }; my @e = keys(%{$d->{cd}});'

$ perl -e 'use warnings; use strict; my $d = { "ab" => 1 }; my %e = %{$d->{cd}};'
Can't use an undefined value as a HASH reference at -e line 1.

我最困惑的是为什么第一个 sn-p 不会给出取消引用错误。当我使用Data::Dumper 时，很明显在第一个sn-p 中$d->{cd} 被自动激活为{}。

为什么keys 需要自动激活？我尝试阅读perldoc，但找不到令人满意的答案。 keys 没有设置别名（$_ 等），所以 perl 不需要认为 $d->{cd} 需要在左值上下文中，是吗？（我知道表达式是否需要在左值上下文中自动激活发生，如here 所述。

一个相关的post。

【问题讨论】：

rt.perl.org/Public/Bug/Display.html?id=118983

标签： perl hash key dereference autovivification

【解决方案1】：

请注意，键确实可以是左值（设置散列的预期元素数量）。

但即使键本身没有在左值上下文中使用，它也会产生重置哈希迭代器的副作用。

所以它确实修改了哈希，因此为解引用提供了一个左值上下文，这使它自动激活。

【讨论】：

【解决方案2】：

经过一番研究和四处询问，我发现这与 $d->{cd} 被传递给子例程的事实有关，而不是 keys 的事实。例如，

% perl -e 'use warnings; use strict; my $d = { "ab" => 1 }; sub foo {}; my @e = foo(%{$d->{cd}});'

这也会自动激活；这是因为 perl 内部需要能够为函数参数设置别名。

在foo() 内部，我们有一个别名集$_[0] = $d->{cd} 但这意味着$d->{cd} 需要左值，因为perl 中的子例程假设您可以执行$_[0] = "123"; 之类的操作，因此需要进行自动激活。

【讨论】：

子程序参数是左值是对的，但keys 是运算符，而不是子程序。 keys 的参数被视为左值，但并非所有运算符都如此。比较 perl -E'keys %$h; say $h' 和 perl -E'length %$h; say $h'。