我的 $_;如果隐含 $_ 则执行任何操作

Question

我认为答案是肯定的，但我只是想确定一下。所以如果我有

sub something {
    my $_;
    my @array = ...;
    while ( @array ) {
        say;
    }
}

my $_; 在词法化传递给 say 的参数方面真的有效吗？

在这种特殊情况下，我使用的是DZP::UnusedVarsTests，它抱怨我没有使用my $_;，我怀疑这是一个错误，因为我在隐含的情况下使用它。

Answer 1

简短的回答是肯定的。它使该范围内的函数使用词法范围的$_，而不是全局$_。如果他们回信给$_，就像s/// 一样，您将获得一定程度的损害控制。

每perldoc perldelta (5.10.0):

“List::Util::first”在出现词汇 $_（通常由“my $_”引入或由“given”隐式引入）时行为不端。为每次迭代设置的变量是包变量$_，而不是词法$_ [RT #67694]。

类似的问题可能发生在其他提供以块作为第一个参数的函数的模块中，例如

foo { ... $_ ...} list

而且，perldoc perl591delta 继续说：

词法 $_

默认变量$_ 现在可以词法化，通过声明它像 任何其他词法变量，带有 简单

     my $_;

$_ 上的默认操作将使用 $_ 的词法范围版本（如果存在），而不是全局 $_。

在 "map" 或 "grep" 块中，如果 $_ 之前是 my'ed，则块内的 $_ 也是词法的（并且作用于块） .

在$_ 已经词法化的作用域中，您仍然可以通过使用$::_ 访问$_ 的全局版本，或者更简单地说，使用“our $_”覆盖词法声明。

示例

我想提供一些示例来说明为什么要使用此功能：

my $_ = 'BOOM!';

sub something {
    my $_;                         ## Try running with and without
    my @array = qw/foo bar baz/;
    while ( $_ = pop @array ) {
        say;
    }   
}   

something();

say;

还有一个例子

my $_ = 'foo';

sub something {
  my $_ = $_;  ## Try running with and without
  s/foo/bar/;
  $_;
}

something();

say;