为什么符号的包限定导致使用的内存更少，即使符号是本地导入的？

问题描述

注意，我尝试了 testing this before in this question which may look similar，但是这些结果有缺陷，result of constant folding,which I subsequently disabled. 并在此问题中重新发布。

---

给定这两个 eval（注释一个执行），它们只改变了 &Module::FOO() 和 &FOO()。

# Symbols imported,and used locally.
eval qq[ 
  package Foo$num;
  Module->import();
  my \$result = &Module::FOO() * &Module::FOO();
] or die $@;

# Symbols imported,not used locally referencing parent symbol.
eval qq[ 
  package Foo$num;
  Module->import();
  my \$result = &FOO() * &FOO();
] or die $@;

为什么顶部块占用显着更少的空间？脚本和输出复制如下，

脚本

package Module {
  use v5.30;
  use warnings;
  use constant FOO => 42; 
  use Exporter 'import';
  our @EXPORT = ('FOO');
}


package main {
  use v5.30;
  use autodie;
  use warnings;

  $|=1;
  say "Our PID is $$";

  for my $num ( 0..1e5 ) { 
    eval qq[ 
      package Foo$num;
      Module->import();
      my \$result = &Module::FOO() * &Module::FOO();
    ] or die $@;
    eval qq[
      package Foo$num;
      Module->import();
      my \$result = &FOO() * &FOO();
    ] or die $@;
  }

  say "DONE";

  _debug();

}

sub _debug {
  open my $fh,"<","/proc/$$/status";
  while ( <$fh> ) { 
    next unless /Rss/;
    print;
  }
}

结果

包（命名空间）限定

RssAnon:     101856 kB
RssFile:       5228 kB
RssShmem:         0 kB

本地进口

RssAnon:     151528 kB
RssFile:       5224 kB
RssShmem:         0 kB

更新

aquanight 在 irc.freenode.net/#perl 上要求直接使用 constant 尝试这个实验，这是我使用的代码，

eval qq[ 
  package Foo$num;
  use constant FOO => 42;
  my \$result = &FOO() * &FOO();
] or die $@; 
eval qq[ 
  package Foo$num;
  use constant FOO => 42;
  my \$result = &Foo${num}::FOO() * &Foo${num}::FOO();
] or die $@;

有了这个两个示例，要清楚，直接使用带有常量的变体并通过包限定访问常量实际上更糟糕，然后创建另一个包具有该包的常量和包限定。

Our PID is 204846
RssAnon:     143560 kB
RssFile:       5196 kB
RssShmem:         0 kB

解决方法

导出整个符号

如果导出整个符号而不是全局中的一个插槽，则似乎可以非常接近，

our @EXPORT = ('*FOO');

重新运行相同的测试，你会发现两者非常相似

RssAnon:      93900 kB
RssFile:       5228 kB
RssShmem:         0 kB

事实上，这更接近于理论最大值，这完全切断了对 import 的调用，

eval qq[
  package Foo$num;
  my \$result = &Module::FOO() * &Module::FOO();
] or die $@;

哪个产生，

RssAnon:      74528 kB
RssFile:       5160 kB
RssShmem:         0 kB

也许是最大的黑魔法乐趣。

但是，如果我们按照aquanight的建议检查这个荣耀的金块，

our sub FOO;      # top of file
Module->import();

package Bar;
print FOO();      # works
print Bar::FOO(); # does not work

符号 FOO 可用于包 Bar 而不会膨胀 Bar 包。当这种方法应用于上述基准测试时，它看起来像，

eval qq[
  our sub FOO ();
  Module->import();
  package Foo$num;
  my \$result = FOO() * FOO();
] or die $@;

并产生这些结果，

RssAnon:      75112 kB
RssFile:       5284 kB
RssShmem:         0 kB

使用constant.pm，

这可以进一步实现为，

eval qq[
  our sub FOO ();
  use constant FOO => 42;
  package Foo$num;
  my \$result = FOO() * FOO();
];

哪些会产生这些结果，

RssAnon:      75076 kB
RssFile:       5180 kB
RssShmem:         0 kB