在 Continue 块中使用 For 循环中声明的词法变量

Question

我在编译我的一个模块时遇到了问题，这看起来是一个变量范围问题，但我不明白为什么。

示例代码：

PATH: foreach my $path (@paths) {
    open(my $file, '<', $path) or next PATH;

    my %properties;
    LINE: while (<$file>) {
        $_ =~ /$property_regex/ or next LINE;
        $properties{$1} = $2;
    }

    foreach (@property_keys) {
        unless ($properties{$_}) {
            # do stuff
            next PATH;
    }

    if ( $irrelevant_condition ) {
        # do stuff
        next PATH;
    }

    foreach my $new_var (@new_list) {
        # do stuff (does not iterate PATH loop)
    }
} continue {
    if (defined $file) { close($file) or die; }
}

---

翻译成上面的精简代码，我得到的错误是：

全局符号“$file”在第 25 行需要明确的包名

也就是说，它似乎在抱怨在底部的continue 块中使用$file。如您所见，$file 在第 2 行被声明为一个词法变量，位于外部 foreach 循环（标记为 PATH）内。

但是，基于perldoc for continue，我希望$file 仍在范围内：

[...] 它总是在条件即将被再次评估之前执行，就像 C 中 for 循环的第三部分一样。因此它可以用来增加循环变量，即使循环已继续[...]

为了能够增加循环变量，是否将 continue 块视为与其附加到的循环相同的词法范围的一部分？

我错过了什么？

---

注意：这个模块是一个 Moo 类，所以虽然我在任何地方都没有明确的 use strict 声明，但 when you use Moo we enable strict and warnings。

Answer 1

您的 $path 变量仍在 continue BLOCK 的范围内，但 for 的 BLOCK 内的内容超出范围，因为您已到达该 BLOCK 的末尾（您已到达末尾大括号/ 退出大括号）。但是，$path 变量不在大括号内，因此可以在 continue BLOCK 内可见（即使除此之外不可见）。

如果语法是这样的：

for (...)
{
 $x = stuff();
 continue { more_stuff($x) }
}

那么我希望$x 可见。 IIRC，perl 6 有这样的东西，但在 perl 5 中，continue BLOCK 在循环块之外，因此在该块内看不到词法变量。

Answer 2

保证循环变量在评估continue 块之前已声明，以便可以将变量提供给continue 块。

但是循环块的任何部分都可以被跳过（例如使用next），所以Perl在编译时不知道当进入continue块时哪个循环块的变量会被声明，所以它不能使它们中的任何一个对continue 块可用。

---

如果您对文件句柄自动关闭不满意（例如，因为您想检测写入错误），您可以使用范围保护而不是 continue 块。

use Sub::ScopeFinalizer qw( scope_finalizer );

for my $qfn (@qfns) {
   my $fh;
   my $guard = scope_finalizer {
      if ($fh) {
         close($fh)
            or die("Error writing to \"$qfn\": $!\n");
      }
   };

   open($fh, '>', $qfn)
      or die("Can't create \"$qfn\": $!\n");

   ...
}