typeglob重定义函数后，caller为何仍获取原函数名

dugu072

通过caller，我们可以很容易得到当前函数名，问题是，如果我们通过typeglob重定义函数，此时对函数名的获取，下面code的结果，很难理解：

1. package test;
   
2. sub test {
   
3.     my $call_name = ( caller(0) )[3];
   
4.     print "test: I am '$call_name'\n";
   
5. }
   
6. 
   
7. package anon;
   
8. my $anon = sub {
   
9.     my $call_name = ( caller(0) )[3];
   
10.     print "anon: I am '$call_name'\n";
    
11. };
    
12. our $test_ref = \&test::test;
    
13. *test::test = \&$anon;
    
14. 
    
15. 
    
16. package main;
    
17. use strict;
    
18. use warnings;
    
19. 
    
20. 
    
21. test::test;
    
22. &$anon::test_ref;

复制代码

最后的输出是：


anon: I am 'anon::__ANON__'
test: I am 'test::test'


第一行输出，*test::test = \&$anon; 为什么不能认为$anon所指向的匿名函数，有了新的名字？
第二行输出，虽然之前的test是有名函数，但是*test::test{CODE}已经指向了其他函数引用，为何还能获取到之前的名字？

个人能想出的解释，就是函数 有名 或者 匿名，在编译阶段，就已经确认好了，与后续的运行阶段无关，也无法影响？

Kitaisky

Typeglobs require GLOBAL variable and will NOT work with Lexical_MY_Scope

In your case: our

our $anon = sub {
     my $call_name = ( caller(0) )[3];
     print "anon: I am '$call_name'\n";
};
our $test_ref = \&test::test;
*{test::test} = \&$anon;

dugu072

回复 2# Kitaisky


    Do you mean $anon should be declared with 'our' because ''*test::test = \&$anon;"?
    However, reference which declared by 'my' could also used by typeglob.
    Thus, whether $anon declared by 'our' or 'my', they take the same effect.

dugu072

研究了一下，发现 Sub::Identify 也是可以取得 referece call 的原始包名和函数名的，针对上面的例子，发现和$caller[3]返回的函数名完全相同。而 Sub::Identify  的实现是通过 B::svref_2object，从coderef的perl内部数据结构获取的函数名。
因此，间接可以推测，$caller[3]的函数名，在函数编译后，perl的内部数据结构就保存了函数名，且该属性编译后，也不能被改变。
初步只能得到这个结论了，毕竟对Perl内部实现，还不够能力去挖掘，期待达人能给出个肯定的回复？