Perl:匿名子程序中的原型

Question

我目前正在学习有关类型和名称空间的Perls系统.所以我写了一个模块,它接受一个常量的值和名称两个参数,并将常量输出到调用者.$ package变量等于caller [2].

*{"$package::$name"} = sub () { return $value; };

上面的代码完成了将匿名子例程导出到调用者符号表中的工作.因为我的目标是构建我自己的常量实现,子例程有一个空原型,这意味着它是一个只读子程序.

但这是我的问题:原型不起作用.所以

print &TestConst; #works well
print TestConst(); #works well
print TestConst; #Name "main::TestConst" used only once: possible typo at testscript.pl line 7.

我的想法有什么问题吗？还有另一种方法吗？

Answer 1

您可以在运行时定义所需的所有符号,但原型只会影响之后编译的代码,因为原型会影响对子调用的解析和编译方式.例如:

use strict;
use warnings;

package Foo;

BEGIN {
    *Foo::bar = sub () { 42 };
}

*Foo::baz = sub () { 43 };

my $bar = bar;
my $baz = baz;

print "bar = [$bar], baz = [$baz]\n";

如果我们运行它,它会死于:

在tprot.pl第13行使用"严格潜艇"时不允许使用Bareword"baz".

这是一个由以下原因引起的编译时错误strict:编译器看到符号baz并且不知道它是什么,因为typeglob *Foo::baz直到运行时才会被改变.但bar工作正常,因为它是在一个BEGIN块中定义的,它在编译期间立即执行.

IOW,因为裸字是模棱两可的,Perl需要在编译时知道它是sub还是其他东西.因此,您可以在import(在隐式BEGIN块中执行)但不在运行时安装这些.

另外,原型会影响编译语义; 一个常数子程序(就像那些由它制成的constant.pm)被优化掉了.其他原型导致解析器改变其行为(例如可以接受代码块的subs.)编译器必须在代码中实际遇到对sub的调用之前知道所有这些内容,因此可以正确解析它们.在解析完所有内容后,代码就会运行.

使用显式的parens或带符号调用sub不具有此限制,因为Perl在运行时足够聪明,知道这些是子例程调用,并在符号表中动态查找它们.