解释这个巫术！！！ （在 Perl 中，使用 Moose 和 namespace::autoclean）

Question

所以这些天我正在处理一个使用 Perl 和 Moose 的项目。我了解 Moose 是建立在 MOP 之上的。我对MOP不是太熟悉，也遇到过不明白的，可以用理论上的解释。这是模块namespace::autoclean的文档：

SYNOPSIS
    package Foo;
    use namespace::autoclean;
    use Some::Package qw/imported_function/;

    sub bar { imported_function('stuff') }

    # later on:
    Foo->bar;               # works
    Foo->imported_function; # will fail. imported_function got cleaned after compilation

所以，在我使用 Moose 之前，您在对象上调用方法的方式是：Perl 解释器会在您的对象被祝福到的包的符号表中查找该方法（然后，如果不是找到了，考虑@ISA继承之类的）。它从包中调用导入函数的方式是：它在包的符号表中查找函数的名称。据我所知，无论哪种方式，这都意味着相同的符号表，所以这种行为应该是不可能的。

我对源的初步检查没有成效。从广义上讲，当使用 Moose、MOP 和 namespace::autoclean 时，这种诡计变得可能有什么不同？

ed. 要特别清楚，如果我将 use namespace::autoclean 替换为

CHECK { undef *Foo::imported_function }

那么文档中描述的Foo->bar; 调用会崩溃，因为Foo->bar 不知道在哪里可以找到imported_function。

Answer 1

其实很简单。对于

some_sub()

some_sub 在编译时被解析。对于

$o->some_method()

some_method 在运行时解析。它不能在编译时完成，因为它取决于 $o 的值。

Answer 2

这里没有什么是非标准的。线

use Some::Package qw/imported_function/;

将imported_function 导入到当前包中，所以Foo::imported_function 与Some::Package::imported_function 是同一个子例程。这假设 Some::Package 继承自 Exporter 以对符号表进行必要的操作。

调用是方法调用，因此Foo->bar 与Foo::bar('Foo') 相同。这里唯一特别的是，Exporter 中的 import 函数完成的魔法在编译时间结束时被 namespace::autoclean 撤销。

我没有看过这个模块的代码，但是因为一个包的符号表只是一个散列（称为 stash，对于 symbol table hash）在某一时刻保存其状态并在之后恢复它是很容易的。所以我猜namespace::autoclean 在加载符号表时会对其进行快照，并在编译时间结束时恢复该状态。这可以方便地在 CHECK block 中完成，它的行为类似于 BEGIN 块，但在编译结束和运行开始之前执行。