引用 - 捕获 - 问题

Question

有人可以解释一下，为什么我可以使用 $1 两次并得到不同的结果？

perl -wle '"ok" =~ /(.*)/; sub { "huh?" =~ /(.*)/; print for @_ }->( "$1", $1 )'

（可在：如何在 Perl 中排除子匹配？）

Answer 1

@_ 参数数组的行为与您想象的不同。子例程中 @_ 中的值实际上是真实参数的别名< /a>：

数组@_是一个本地数组，但它的元素是实际标量参数的别名。

当您这样说时：

sub s {
    "huh?" =~ /(.*)/;
    print for @_;
}

"ok" =~ /(.*)/;   
s("$1", $1);

s 的第一个参数中的 $1 立即由字符串插值求值，但第二个参数不求值，只是注意到第二个值在子版本的 @_ 中是 $1 （实际变量 $1，而不是它的值）。然后，在 s 内，$1 的值会被正则表达式更改。现在，您的 @_ 有一个字符串 "ok" 的别名，后跟 $1 的别名，这些别名由 < code>print 在循环中。

如果您将函数更改为这样：

sub s {
    my @a = @_;
    "huh?" =~ /(.*)/;
    print for @a;
}

甚至这样：

sub s {
    local $1;
    "huh?" =~ /(.*)/;
    print for @_;
}

那么您将得到您期望的两行“ok”。有趣的是（有趣的奇特，不好笑哈哈）是这两个版本的 s 出于不同的原因产生了您预期的结果。 my @a = @_; 版本在正则表达式获取 $1 之前提取 @_ 中别名的当前值； local $1; 版本 本地化 $1< /code> 变量给子进程，在 @_ 中留下别名，从子进程外部引用 $1 的版本：

局部变量将列出的变量修改为封闭块、文件或 eval 的局部变量。

像这样的奇怪现象就是为什么你应该尽快将编号的正则表达式捕获变量的值复制到你的变量中，以及为什么你想在函数的开头解压 @_ （除非你知道为什么你不想这样做）。

希望我没有过多地破坏术语，这是 Perl 中那些奇怪的角落之一，我一直远离它，因为我不喜欢玩弄剃须刀刀片。

Answer 2

示例代码利用了两个事实：

• @_ 数组的元素是实际标量参数的别名。特别是，如果元素 $_[0] 被更新，相应的参数也会被更新（反之亦然）。
• $1 是一个全局变量（尽管动态作用域为当前 BLOCK），它自动包含来自上次成功模式匹配的 () 的子模式。

子例程的第一个参数是一个普通字符串 ("ok")。第二个参数是全局变量$1。但在打印参数之前，子例程内成功的模式匹配会改变它。

Answer 3

发生这种情况是因为 perl 通过引用传递参数。

您所做的类似于：

my $a = 'ok';

sub foo {
  $a = 'huh?';
  print for @_;
}

my $b = $a;
foo($b, $a)

当调用 sub foo 时， $_[1] 实际上是 $a 的别名，因此当修改 $a 时它的值也会被修改。