取消引用未定义的数组引用时的 Perl vivification 问题

Question

我很难理解为什么以下内容有效：

my $array_reference;
foreach $element (@{$array_reference}) {
# some code
}

虽然以下内容不起作用，但

my $array_reference;
if (scalar (@{$array_reference}) {
    # some code here
}

我理解 perl 带来了生命（自动激活）未定义的引用。但我仍然很困惑为什么后面的代码段会抛出 FATAL 错误。

Answer 1

在左值上下文中取消引用 autovivify（意味着当需要可修改的值时），并且 foreach 创建左值上下文。

>perl -E"$x = 1;  say $x;"
SCALAR(0x74b024)

>perl -E"++$x;  say $x;"
SCALAR(0x2eb024)

>perl -E"\$x;  say $x;"
SCALAR(0x30b024)

>perl -E"sub {}->($x);  say $x;"
SCALAR(0x27b03c)

>perl -E"for ($x) {}  say $x;"
SCALAR(0x25b03c)

最后两个创建一个左值上下文，因为它们需要一个值来别名 $_[0] 和 $_ （分别）。

Answer 2

Perl 在这方面存在不一致之处，但一般来说，可以修改结构的代码会自动生成，而不会修改结构的代码则不会。如果它不自动激活，它会尝试取消引用未定义的值，这会触发警告，或者在使用严格的“refs”下触发异常。

Answer 3

我认为，查看perlref，这是预期的行为：

“适当的参考如果您在假定它们存在的上下文中取消引用它们，则类型可以突然出现。”

与 foreach 类似的情况也发生在 Push() 和朋友身上：

my $f;
push @$f, 1;
say @$f;

尽管不是新的 can-just-take-a-reference版本：

my $f = [];
push $f, 1;
say @$f;

有效，同时

my $f;
push $f, 1;
say @$f;

有效不，我认为这是明智的，因为 Push 不知道你真正的意思是什么。

有趣的问题是 scalar(@$undef) 应该做同样的事情，还是应该发出警告，因为它最终返回 undef，我认为它最好立即发出警告。