@$ref->{@keys} 试图访问什么？

Question

在有关哈希切片的问题的答案，有人想知道如何使用箭头语法通过哈希引用访问哈希切片，认为也许

@$ref->{@keys}

可以这样做。

是的，正确的语法是 @$ref{@keys} 或 @{$ref}{@keys}，但这不是这个问题的重点。

我试图计算出带有箭头的表达式所需的数据结构：

#! /usr/bin/env perl

use strict;
use warnings;

my $ref = {"a" => 1, "b" => 2, "c" => 3};

my @keys = qw/ a b c /;

#$ref = [ { a => 9, b => 8, c => 7 } ];
#$ref = [ { a => {}, b => {}, c => {} } ];
print @$ref->{@keys}, "\n";

正如所写，代码失败了

Not an ARRAY reference at ./prog line 12.

这是有道理的： @$ref 想要对数组的引用，所以我尝试包装哈希引用内部对匿名数组的引用。这些尝试失败了，

Can't use an undefined value as a HASH reference at ./prog line 12.

跟踪输出是

$ debugperl -Dt prog
[...]
(prog:12)   pushmark
(prog:12)   padsv($ref)
(prog:12)   rv2av
(prog:12)   rv2hv
Can't use an undefined value as a HASH reference at prog line 12.

print 行的语法转储是

$ debugperl -Dx prog
[...]
    {
484     TYPE = print  ===> 2
        FLAGS = (VOID,KIDS)
        {
485         TYPE = pushmark  ===> 486
            FLAGS = (SCALAR)
        }
        {
372         TYPE = helem  ===> 371
            FLAGS = (SCALAR,KIDS)
            {
487             TYPE = rv2hv  ===> 361
                TARG = 5
                FLAGS = (SCALAR,KIDS,REF)
                PRIVATE = (STRICT_REFS)
                {
373                 TYPE = rv2av  ===> 487
                    TARG = 4
                    FLAGS = (SCALAR,KIDS,REF)
                    PRIVATE = (STRICT_REFS)
                    {
486                     TYPE = padsv  ===> 373
                        TARG = 1
                        FLAGS = (SCALAR,MOD)
                    }
                }
            }
            {
361             TYPE = padav  ===> 372
                TARG = 2
                FLAGS = (SCALAR)
            }
        }
        {
371         TYPE = const  ===> 484
            TARG = 19
            FLAGS = (SCALAR)
        }
    }
[...]

未定义值来自哪里？对于 $ref 的什么值，程序会正常终止？

Answer 1

它不是有效的（或者至少没有意义）Perl 语法——我有点惊讶它没有被标记为语法错误。

我首先认为它试图在标量上下文中评估数组 @$foo 并将结果用作哈希引用，但这似乎并不是正在发生的事情。
相反，从您发布的调试输出来看，它看起来更像是尝试直接使用内部数组变量（AV）结构作为哈希引用（RV），这是一种标量（SV；请参阅 perlguts 了解详细信息）。

我没有查看源代码，但看起来 rv2hv 例程要么注意到它被赋予了错误的结构类型并返回 null，要么只是尝试将 AV 用作 RV 并且这样就达到了同样的效果。 （抱歉，如果这听起来有点混乱，自从我上次查看 Perl 的内部结构以来已经有好几年了。）

您可能需要考虑提交错误报告。

顺便说一句，演示效果的更简单的测试用例就是 @foo->{bar}。

Answer 2

@$ref->{@keys}

意味着

scalar(@$ref)->{@keys}

so it 应该等同于

my $ref2 = @$ref;
$ref2->{@keys}

It's not，所以这是一个错误。它仍然存在于即将成为 Perl 5.16.0 的近当前状态中。 （具体为 v5.15.4）

请使用 perlbug 命令行工具进行报告。 （只需输入 perlbug 并回答几个简单的问题。）