Perl 子程序没有词法作用域是一个设计缺陷吗？

Question

{
  sub a {
    print 1;
  }
}
a;

一个错误，是吗？

a 不应该从外部获得。

它在 Perl 6* 中工作吗？

* 抱歉我还没有安装。

Answer 1

你是在问为什么潜艇在区块之外可见吗？如果是这样，那么它是因为编译时 sub 关键字将 sub 放在 main 命名空间中（除非您使用 package 关键字创建新的命名空间）。您可以尝试类似的方法

{
  my $a = sub {
    print 1;
  };
  $a->(); # works
}
$a->(); # fails

在这种情况下， sub 关键字不是创建子并将其放入 main 命名空间中，而是创建一个匿名子例程并将其存储在词法中作用域变量。当变量超出范围时，它不再可用（通常）。

要了解更多信息，请查看 perldoc perlsub

另外，您知道吗你可以检查 Perl 解析器如何看待你的代码吗？使用标志 -MO=Deparse 运行 perl，如 perl -MO=Deparse yourscript.pl 中所示。您的原始代码解析为：

sub a {
    print 1;
}
{;};
a ;

首先编译子程序，然后运行一个没有代码的块，然后调用 a 。

对于我在 Perl 6 中的示例，请参阅：成功、失败。请注意，在 Perl 6 中，取消引用是 . 而不是 ->。

编辑：我添加了另一个答案，关于 Perl 5.18 预期的词法子例程的新实验支持。

Answer 2

在 Perl 6 中，sub 确实是词法作用域的，这就是代码抛出错误的原因（正如一些人已经指出的那样）。

这有几个有趣的含义：

• 嵌套的命名子函数作为适当的闭包工作（另请参阅：perl 5中的“不会保持共享”警告）
• 从模块导入子函数到词法范围内
• 内置函数在外部词法范围中提供（程序周围的“设置”），因此覆盖就像声明或导入同名函数一样简单
• ，因为 lexpad 在运行时是不可变的，编译器可以在编译时检测对未知例程的调用（niecza 已经这样做了，Rakudo 仅在“优化器”分支中）。

Answer 3

子例程是包作用域的，而不是块作用域的。

#!/usr/bin/perl
use strict;
use warnings;

package A;
sub a {
    print 1, "\n";
}
a();
1;

package B;
sub a {
    print 2, "\n";
}
a();
1;

Answer 4

Perl 中的命名子例程被创建为全局名称。其他答案已经展示了如何通过将匿名子分配给词法变量来创建词法子例程。另一种选择是使用本地变量来创建动态范围的子变量。

两者之间的主要区别在于调用方式和可见性。动态范围的子程序可以像命名子程序一样被调用，并且它也将是全局可见的，直到它定义的块离开为止。

use strict;
use warnings;
sub test_sub {
    print "in test_sub\n";
    temp_sub();
}

{
    local *temp_sub = sub {
        print "in temp_sub\n";
    };
    temp_sub();
    test_sub();
}
test_sub();

这应该打印

in temp_sub
in test_sub
in temp_sub
in test_sub
Undefined subroutine &main::temp_sub called at ...

Answer 5

冒着再次受到 @tchrist 责骂的风险，为了完整性，我添加了另一个答案。尚未发布的 Perl 5.18 预计将包含词法子例程作为实验性功能。

这里是相关文档的链接。 再说一遍，这是非常实验性的，它不应该用于生产代码，原因有两个：

1. 它可能还没有很好地实现
2. 它可能会在没有通知的情况下被删除

所以如果你愿意的话可以玩这个新玩具，但你已经被警告了！

Answer 6

如果您看到代码编译、运行并打印“1”，那么您没有遇到错误。

您似乎期望子例程只能在定义它们的词法范围内调用。这将很糟糕，因为这意味着将无法调用其他文件中定义的子例程。也许您没有意识到每个文件都是在其自己的词法范围内评估的？这使得像

my $x = ...;
sub f { $x }

Answer 7

是的，我认为这是一个设计缺陷 - 更具体地说，最初选择使用动态作用域而不是 Perl 中的词法作用域，这自然会导致这种行为。但并非所有语言设计者和用户都会同意。所以你问的问题没有明确的答案。

Perl 5 中添加了词法作用域，但作为可选功能，您始终需要专门指出它。对于这种设计选择，我完全同意：向后兼容性很重要。