Perl： while ($key = every %hash) 不会在 key = 0 处停止

Question

显然我不需要这个； 我只是好奇这里发生了什么。 我失踪了吗 简单的事情吗？ 我可以在所有版本的 Perl 中依赖此行为吗？）

Perl v5.8.8:

%h = ( 0=>'zero', 1=>'one', 2=>'two' );
while ($k = each %h) {
    $v = delete $h{$k};
    print "deleted $v; remaining: @h{0..2}\n";
}

输出

deleted one; remaining: zero  two
deleted zero; remaining:   two
deleted two; remaining:

man perlfunc (each) 没有解释为什么 当 $k 被赋值为 0 时，while 循环继续。 该代码的行为就像 while 循环中的条件一样 为（$k = 每个%h，已定义$k）。

如果循环条件实际上改为 ($k = every %h, $k) 那么它确实 按预期停在 $k = 0 处。

对于以下情况，它也会在 $k = 0 处停止 重新实现 each:

%h = ( 0=>'zero', 1=>'one', 2=>'two' );
sub each2 {
    return each %{$_[0]};
}
while ($k = each2 \%h) {
    $v = delete $h{$k};
    print "deleted $v; remaining: @h{0..2}\n";
}

输出：

deleted one; remaining: zero  two

Answer 1

您在标量上下文中调用 each，因此由于列表返回值而无法正常工作。

就像

while ($line = <FILE>)

特殊情况下添加隐式定义一样，

while ($key = each %hash)

在 5.8.8 中，发生在 op.c，第 3760-3766 行中：

case OP_SASSIGN:
  if (k1->op_type == OP_READDIR
      || k1->op_type == OP_GLOB
      || (k1->op_type == OP_NULL && k1->op_targ == OP_GLOB)
      || k1->op_type == OP_EACH)
    expr = newUNOP(OP_DEFINED, 0, expr);
  break;

我不确定这是否适用于所有版本Perl 5。

另请参阅：PerlMonks 上 while() 何时测试定义与真实。 我找不到 Perl 文档中提到的地方（提到了 情况，但我没有看到 each 情况）。

Answer 2

cjm是对的。 我只是想补充一点，当遇到这样的奇怪事情时，通过 B::Deparse 看看 Perl 如何理解你的代码。 我也喜欢使用 -p 开关来显示优先级错误。

$ perl -MO=Deparse,p your_example.plx
(%h) = (0, 'zero', 1, 'one', 2, 'two');
while (defined($k = each %h)) {
    $v = delete $h{$k};
    print "deleted $v; remaining: @h{0..2}\n";
}
your_example.plx syntax OK

Answer 3

谢谢，cjm。
很明显，某种定义的隐式添加
glob 的情况是这样的，但不是在哪里
记录在案。 现在至少我知道有限的情况
特殊处理适用。

但这些信息应该在 perlfunc 文档中，
不仅仅是 Perl 源代码！