我目前正在学习有关类型和名称空间的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.
我的想法有什么问题吗？还有另一种方法吗？
解决方法
您可以在运行时定义所需的所有符号,但原型只会影响之后编译的代码,因为原型会影响对子调用的解析和编译方式.例如：
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";
如果我们运行它,它会死于：
Bareword “baz” not allowed while “strict subs” in use at tprot.pl line
13.
这是由strict引起的编译时错误：编译器看到符号baz并且不知道它是什么,因为typeglob * Foo :: baz直到运行时才被改变.但是bar工作正常,因为它是在BEGIN块中定义的,它在编译期间立即执行.
IOW,因为裸字是模棱两可的,Perl需要在编译时知道它是sub还是其他东西.因此,您可以在导入期间(在隐式BEGIN块中执行)安装这些,但不能在运行时安装.
另外,原型会影响编译语义;一个常量子程序(如constant.pm所做的那样)被优化掉了.其他原型导致解析器改变其行为(例如可以接受代码块的subs.)编译器必须在代码中实际遇到对sub的调用之前知道所有这些内容,因此可以正确解析它们.在解析完所有内容后,代码就会运行.
使用显式parens或带符号调用sub不具有此限制,因为Perl在运行时足够聪明,知道这些是子例程调用,并在符号表中动态查找它们.