为什么括号仅在子声明后可选？

Question

(假设use strict; use warnings;整个问题.)

我正在探索使用sub.

sub bb { print @_; }
bb 'a';

这按预期工作.括号是可选的,就像许多其他函数一样print, open.

但是,这会导致编译错误:

bb 'a';
sub bb { print @_; }

String found where operator expected at t13.pl line 4, near "bb 'a'"
        (Do you need to predeclare bb?)
syntax error at t13.pl line 4, near "bb 'a'"
Execution of t13.pl aborted due to compilation errors.

但这不是:

bb('a');
sub bb { print @_; }

同样,没有args的sub,例如:

special_print;
my special_print { print $some_stuff }

会导致此错误:

Bareword "special_print" not allowed while "strict subs" in use at t13.pl line 6.
Execution of t13.pl aborted due to compilation errors.

缓解这一特定错误的方法是:

• 放在子名称之前,例如 &special_print
• 在子名称后面加上空括号,例如 special_print()
• 预先声明special_print与sub special_print在脚本的顶部.
• special_print在子声明后调用.

我的问题是,为什么这种特殊待遇呢？如果我可以在脚本中全局使用sub,为什么我不能以任何我想要的方式使用它？有这样的逻辑sub吗？

ETA:我知道如何解决它.我想知道这背后的逻辑.

Answer 1

我认为你缺少的是Perl使用严格的一次通过解析器.它不扫描文件中的子程序,然后返回并编译其余部分.知道了这一点,下面描述了一次通过解析系统的工作原理:

在Perl中,sub NAME声明子例程的语法等效于以下内容:

sub name {...}   ===   BEGIN {*name = sub {...}}

这意味着sub NAME语法具有编译时效果.当Perl解析源代码时,它正在使用当前的一组声明.默认情况下,该集是内置函数.由于Perl已经了解这些,因此可以省略括号.

一旦编译器命中BEGIN块,它就会使用当前规则集编译块的内部,然后立即执行该块.如果该块中的任何内容更改了规则集(例如将子例程添加到当前命名空间),那么这些新规则将对解析的其余部分生效.

如果没有预先声明的规则,标识符将被解释如下:

bareword       ===   'bareword'   # a string
bareword LIST  ===   syntax error, missing ','
bareword()     ===   &bareword()  # runtime execution of &bareword
&bareword      ===   &bareword    # same
&bareword()    ===   &bareword()  # same

当您使用严格和警告时,裸字将不会转换为字符串,因此第一个示例是语法错误.

预先声明时具有以下任何一项:

sub bareword;
use subs 'bareword';
sub bareword {...}
BEGIN {*bareword = sub {...}}

然后标识符将解释如下:

bareword      ===   &bareword()     # compile time binding to &bareword
bareword LIST ===   &bareword(LIST) # same
bareword()    ===   &bareword()     # same
&bareword     ===   &bareword       # same
&bareword()   ===   &bareword()     # same

因此,为了使第一个示例不是语法错误,必须首先看到前面的子例程声明之一.

至于所有这些背后的原因,Perl有很多遗产.开发Perl的目标之一是完全向后兼容.在Perl 1中工作的脚本仍然可以在Perl 5中运行.因此,无法更改裸字解析的规则.

也就是说,你很难找到一种语言,它可以让你调用子程序.这使您可以找到最适合您的方法.在我自己的代码中,如果我需要在声明它之前调用子程序,我通常会使用name(...),但是如果那个子程序有一个原型,我会把它称为&name(...)(并且你会得到一个警告"子程序调用太早,无法检查原型"如果你不这样称呼它).

Answer 2

我能想出的最佳答案就是Perl的编写方式.这不是一个令人满意的答案,但最终,这是事实.Perl 6(如果它出来的话)不会有这个限制.

Perl从该语言的五个不同版本中获得了很多不和谐.Perl 4和Perl 5做了一些重大改变,这些改变可能导致以自由流动的方式编写的早期程序出现问题.

由于历史悠久,以及Perl具有和可以工作的各种方式,Perl很难理解正在发生的事情.当你有这个:

b $a, $c;

Perl无法知道b是否是一个字符串,只是一个裸字(在Perl 4中允许)或者b是一个函数.如果b是一个函数,它应该存储在符号表中,因为解析了程序的其余部分.如果b不是子例程,则不应将其放在符号表中.

当Perl编译器看到这个:

b($a, $c);

它不知道函数b的作用,但它至少知道它是一个函数,并且可以将它存储在符号表中,等待稍后定义.

当您预先声明您的函数时,Perl可以看到:

sub b;   #Or use subs qw(b); will also work.

b $a, $c;

并且知道b是一个函数.它可能不知道函数的作用,但现在有一个符号表条目作为函数的b.

Perl 6的原因之一是从旧版本的Perl中删除大部分行李,并删除这样的奇怪事情.

顺便说一下,永远不要使用Perl Prototypes来解决这个限制.使用use subs或预先声明一个空白子程序.不要使用原型.

Answer 3

如果子例程已预先声明,则括号是可选的.这在perlsub中有记录.

Perl需要在编译时知道裸字是子例程名还是字符串文字.如果你使用括号,Perl会猜测它是一个子程序名称.否则,您需要事先提供此信息(例如使用subs).