为何Perl子程序原型foo()在特定场景下可接收参数？

场景一：先定义子函数再调用（触发报错） #

use 5.016;

sub foo() {
    say "foo";
}

sub main() {
    foo(42);
}

main();

运行这段代码会触发如下错误，这完全符合预期——因为foo被声明为无参数的子函数：

Too many arguments for main::foo at b.pl line 8, near "42)"
Execution of b.pl aborted due to compilation errors.

场景二：先调用后定义子函数（正常执行） #

use 5.016;

sub main() {
    foo(42);
}

sub foo() {
    say "foo";
}

main()

但运行这段代码却能正常执行，输出结果如下：

foo

问题原因 #

这是Perl编译机制导致的：

Perl代码的执行分为编译阶段和运行阶段两个步骤：

• 在场景一中，foo的定义在调用之前，编译阶段Perl就能读取到foo()的原型（()明确表示这个子函数不接受任何参数），所以会在编译时就检查调用foo(42)的参数数量，发现不符合就直接抛出编译错误，程序根本没机会运行。
• 在场景二中，编译main函数里的foo(42)时，foo的定义还没被处理，Perl此时不知道foo有()的原型限制，会把它当作普通子函数调用，跳过参数检查。等运行阶段加载到foo的定义时，已经不会回溯去校验之前的调用参数了，所以代码能正常跑起来，传入的42也会被直接忽略。

本质就是：Perl的子函数原型校验只在编译阶段生效，如果调用发生在原型声明之前，编译阶段拿不到原型信息，自然不会做参数校验。

内容的提问来源于stack exchange，提问作者Lane