Perl 内部结构详解 -- PerlGuts Illustrated (6 CV)

CV

code value，函数的结构，如下图：



下边示例可以看到几个主要参数：

函数所在的Stash & GV。

函数的参数表和临时变量表PADLIST。

D:\Tmp>perl -MDevel::Peek -e "sub a{my ($a,$b,$t); } Dump \&a"
SV = RV(0x3a90f0) at 0x3a90e4
REFCNT = 1
FLAGS = (TEMP,ROK)
RV = 0x285a864
SV = PVCV(0x285923c) at 0x285a864
REFCNT = 2
FLAGS = ()
COMP_STASH = 0x3a8fd4	"main"
START = 0x2885fa8 ===> 0
ROOT = 0x2885f64
GVGV::GV = 0x285abd4	"main" :: "a"
FILE = "-e"
DEPTH = 0
FLAGS = 0x0
OUTSIDE_SEQ = 96
PADLIST = 0x285a874
PADNAME = 0x285a8a4(0x2865424) PAD = 0x285a974(0x288292c)
1. 0x285a8c4<1> (96,97) "$a"
2. 0x285a894<1> (96,97) "$b"
3. 0x285a904<1> (96,97) "$t"
OUTSIDE = 0x3a9274 (MAIN)

PAD

PAD是一个列表，为每个函数存储局部变量。第0个slot 存储参数名字，运行时产生新的AV存储实际参数，DEPTH也加深，递归函数观察效果明显。

use Devel::Peek;
use Data::Dumper;

sub test{
my ($a,$b) = @_;
Dump \&test;
test(++$a,--$b) if $b>0;
}

Dump \&test;
test(1,2);

输出：
SV = RV(0x298f50) at 0x298f44
REFCNT = 1
FLAGS = (TEMP,ROK)
RV = 0x182a834
SV = PVCV(0x1829024) at 0x182a834
REFCNT = 2
FLAGS = ()
COMP_STASH = 0x298e34	"main"
START = 0x18ba94c ===> 0
ROOT = 0x18ba4cc
GVGV::GV = 0x184b34c	"main" :: "test"
FILE = "tmp.pl"
DEPTH = 0
FLAGS = 0x0
OUTSIDE_SEQ = 535
PADLIST = 0x182a864
PADNAME = 0x182a934(0x18c7c6c) PAD = 0x182a8c4(0x18c7be4)
1. 0x182a854<1> (535,536) "$a"
2. 0x182a884<1> (535,536) "$b"
OUTSIDE = 0x299094 (MAIN)
SV = RV(0x298f50) at 0x298f44
REFCNT = 1
FLAGS = (TEMP,ROK)
RV = 0x182a834
SV = PVCV(0x1829024) at 0x182a834
REFCNT = 4
FLAGS = ()
COMP_STASH = 0x298e34	"main"
START = 0x18ba94c ===> 0
ROOT = 0x18ba4cc
GVGV::GV = 0x184b34c	"main" :: "test"
FILE = "tmp.pl"
DEPTH = 1
FLAGS = 0x0
OUTSIDE_SEQ = 535
PADLIST = 0x182a864
PADNAME = 0x182a934(0x18c7c6c) PAD = 0x182a8c4(0x18c7be4)
1. 0x182a854<1> (535,536) "$a"
2. 0x182a884<1> (535,536) "$b"
OUTSIDE = 0x299094 (MAIN)
SV = RV(0x1899240) at 0x1899234
REFCNT = 1
FLAGS = (TEMP,ROK)
RV = 0x182a834
SV = PVCV(0x1829024) at 0x182a834
REFCNT = 4
FLAGS = ()
COMP_STASH = 0x298e34	"main"
START = 0x18ba94c ===> 0
ROOT = 0x18ba4cc
GVGV::GV = 0x184b34c	"main" :: "test"
FILE = "tmp.pl"
DEPTH = 2
FLAGS = 0x0
OUTSIDE_SEQ = 535
PADLIST = 0x182a864
PADNAME = 0x182a934(0x18c7c6c) PAD = 0x182a8c4(0x18c7be4)
1. 0x182a854<1> (535,536) "$a"
2. 0x182a884<1> (535,536) "$b"
OUTSIDE = 0x299094 (MAIN)
SV = RV(0x1863a28) at 0x1863a1c
REFCNT = 1
FLAGS = (TEMP,ROK)
RV = 0x182a834
SV = PVCV(0x1829024) at 0x182a834
REFCNT = 4
FLAGS = ()
COMP_STASH = 0x298e34	"main"
START = 0x18ba94c ===> 0
ROOT = 0x18ba4cc
GVGV::GV = 0x184b34c	"main" :: "test"
FILE = "tmp.pl"
DEPTH = 3
FLAGS = 0x0
OUTSIDE_SEQ = 535
PADLIST = 0x182a864
PADNAME = 0x182a934(0x18c7c6c) PAD = 0x182a8c4(0x18c7be4)
1. 0x182a854<1> (535,536) "$a"
2. 0x182a884<1> (535,536) "$b"
OUTSIDE = 0x299094 (MAIN)

词法变量(my & our)会设置SVs_PADMY/SVs_PADOUR标记，目标设置SVs_PADTMP标记。