Perl 中的闭包是如何工作的？

Question

这里又是 Perl 新手，试图理解 Perl 中的closure。

所以这里有一个我不明白的代码示例：

sub make_saying  {
    my $salute = shift;
    my $newfunc = sub {
        my $target = shift;
        print "$salute, $target!\n";
    };
    return $newfunc;            # Return a closure
}
$f = make_saying("Howdy");      # Create a closure
$g = make_saying("Greetings");  # Create another closure
# Time passes...
$f->("world");
$g->("earthlings");

所以我的问题是：

1. 如果将变量分配给函数，它是否会自动引用该函数？
2. 在上面的代码中，我可以改写$f = \make_saying("Howdy") 吗？我什么时候可以使用&，因为我尝试在传递参数时使用它（&$f("world")），但它不起作用。
3. 最后，在上面的代码中，他**如何将单词 world 和 earthlings 附加到单词 howdy 和 greetings 之后。

注意：我知道 $f 在某种程度上绑定到带有参数 howdy 的函数，所以这就是我理解 world 是如何附加的。我不明白的是里面的第二个功能。那个人如何发挥它的魔力。对不起，我真的不知道怎么问这个。

Answer 1

在 Perl 中，标量变量不能直接保存子程序，它们只能保存引用。这很像标量不能保存数组或哈希，只能保存数组引用或哈希引用。

sub { ... } 的计算结果为 coderef，因此您可以直接将其分配给标量变量。如果你想分配一个命名函数（例如foo），你必须获得像\&foo这样的引用。

您可以调用诸如$code->(@args) 或&$code(@args) 之类的代码引用。

代码

$f = \make_saying("Howdy")

评估make_saying("Howdy")，并引用返回的值。所以你会得到一个指向 coderef 的引用，而不是 coderef 本身。

因此，它不能像&$f("world")那样调用，你需要取消引用一个额外的级别：&$$f("world")。

---

闭包是绑定到特定环境的函数。

环境由所有当前可见的变量组成，所以闭包总是记住这个范围。在代码中

my $x;
sub foo {
  my $y;
  return sub { "$x, $y" };
}

foo 是$x 的闭包，因为外部环境由$x 组成。内部 sub 是对 $x 和 $y 的闭包。

每次foo 执行时，我们都会得到一个新的$y，因此会得到一个新的闭包。每次调用时，都会返回一个不同的闭包。

当我们执行make_saying("Howdy") 时，$salute 变量被设置为Howdy。返回的闭包会记住这个范围。

当我们用make_saying("Greetings") 再次执行它时，make_saying 的主体再次被评估。 $salute 现在设置为 Greetings，并且内部 sub 关闭了这个变量。此变量与之前的 $salute 不同，后者仍然存在，但只能通过第一个闭包访问。

这两个欢迎程序已经关闭了单独的 $salute 变量。当它们执行时，它们各自的$salute仍在作用域内，它们可以访问和修改值。

Answer 2

如果一个变量被分配给一个函数，它会自动 引用那个函数？

没有。例如函数make_saying 返回引用另一个函数。此类闭包没有名称，并且可以从其范围之外捕获变量（在您的示例中为变量 $salute）。

在上面的代码中，我可以改写 $f = \make_saying("Howdy") 吗？ 我什么时候可以使用 & 因为我尝试使用它来传递 参数 (&$f("world")) 但它不起作用。

没有。 $f = \make_saying("Howdy") 不是你想的那样（详情请阅读 amon 帖子）。你可以写$f = \&make_saying;，意思是“放入$f 对函数make_saying 的引用”。你以后可以像这样使用它：

my $f = \&make_saying;
my $other_f = $f->("Howdy");
$other_f->("world");

最后，在上面的代码中，他** 是如何使用 world 和 地球人被附加在你好和问候这两个词上。

ma​​ke_saying 创建 my 变量进入 lamda (my $newfunc = sub)；该 lambda 是从 ma​​ke_saying 返回的。它通过“关闭”来保存给定的单词“Howdy”（？抱歉不知道英文中的哪个单词）。

Answer 3

每次调用子程序“make_saying”时，它：

1. 创建一个不同的闭包

2. 将接收到的参数分配给标量“$salute”

3. 定义（创建但不执行）一个内部匿名子例程： 这就是为什么在那一刻没有为标量分配任何内容的原因 $target 也没有执行print "$salute, $target!\n"; 语句。

4. 最终，子例程“make_saying”返回对内部匿名子例程的引用，该引用成为调用（特定）匿名子例程的唯一方法。

每次调用每个匿名子例程时，它都会：

1. 将接收到的参数赋值给标量$target

2. 还看到标量 $salute，它将具有在创建匿名子例程时分配的值（何时调用其父子例程 make_saying

3. 最终执行语句print "$salute, $target!\n";