我如何知道 Perl 方法属于哪个包？

Question

可能的重复：
在 Perl 中，如何我可以检查给定函数是从哪个模块导入的吗？

我正在处理一些遗留代码，其中使用了多个（！）XML 解析模块。

这意味着具有相同名称的方法正在互相践踏。

有没有一种简单的方法来判断特定方法属于哪个包？

Answer 1

简单且最可能正确的答案是，最后加载的导出给定函数的模块将是其函数被使用的模块。

当导出函数（或其他符号）时，接收包的符号表会被修改。因此，如果两个导​​入函数对表进行更改，则最后的更改将被保留。

回想一下，use Foo;或多或少相当于 BEGIN { require Foo; Foo->import 如果 Foo->can(import); }。

由于 import 只是一个具有特殊名称的子例程，唯一的限制是 J. Random Hacker 扭曲的想象力。 import 可以是任何代码。它可以做任何事，也可以什么都不做。例如，它可以包含确保没有已定义的函数被覆盖的逻辑。

但是，除非有任何奇怪的情况，最后加载的将是正在使用的。

---

为了在技术上 100% 正确，use Foo; 相当于 BEGIN { require Foo; Foo->导入； }。

只是这段代码并不像您期望的那样工作。

具体代码与我的示例有所不同。

上面的代码的作用与方法解析在 Perl 中的工作方式有关。

通常，调用 Foo->some_sub，其中 some_sub 不存在，并且 AUTOLOAD 函数在 Foo, some_sub 将由 AUTOLOAD 函数处理。 import 有一种特殊情况，可以免除 AUTOLOAD 检查。请参阅perlsub 关于自动加载。

在检查（或实际上未检查）AUTOLOAD之后，我们检查继承。对于原始包的 @ISA 中的每个项目，都会重复对匹配函数或 AUTOLOAD 函数进行相同的检查。这是一个递归过程，包括父级的父级等等，直到检查整个继承树 - @ISA 按从左到右、深度优先的顺序检查。在此期间，AUTOLOAD 异常一直存在，导入 时将跳过该异常。

最终，如果没有找到匹配的方法，我们就会求助于通用基类 UNIVERSAL。如果该函数存在于 UNIVERSAL 中，则会调用该函数，否则我们会抛出一个异常，表示无法找到该函数。

因此，在我们的 Foo->import; 调用中，将调用 UNIVERSAL::import 来处理这项工作。那么，这个函数有什么作用呢？

在 Perl 5.12.2 中，代码如下所示：

sub import {
    return unless $_[0] eq __PACKAGE__;
    return unless @_ > 1;
    require warnings;
    warnings::warnif(
      'deprecated',
      'UNIVERSAL->import is deprecated and will be removed in a future perl',
    );
    goto &Exporter::import;
}

请注意，如果未在 UNIVERSAL 上调用该函数，该函数所做的第一件事就是退出。

现在我所说的一切都是正确的，只要您不做以下几件事：

• 覆盖方法解析顺序。如果你这样做，那么方法解析将会发生，无论你如何定义它。无论我们是否到达 UNIVERSAL，或者何时到达，都完全悬而未决，取决于您的想法。

• 覆盖UNIVERSAL::import。你可以猴子补丁 UNIVERSAL::import 来做任何你想做的事。同样，它的行为方式完全取决于您的想法。

因此，我上面给出的半等效代码只是所发生情况的简写。我认为这会更容易理解，因为它不需要了解 Perl 如何做事的那么多细节，但它并不 100% 等同于实际发生的情况。做意想不到的事情打破了等价性。

我的代码与完全相同的代码不同

此外，我的代码调用 Foo->can ，它通常会回退到 UNIVERSAL::can。在正常的事件链中，没有任何地方可以被调用。当人们考虑 Perl 中的 can 问题时，这一点变得尤其棘手。

• can 可以被继承图中的任何类覆盖或重新实现。哪个可以被调用取决于方法解析顺序。多重继承的所有问题都适用于此。
• can 看不到自动加载的函数。由于自动加载不适用于导入，这看起来似乎没什么大不了的。问题是，如果您使用自动加载，则最好重载 can 来考虑这一点。因此，这使上述问题变得更加复杂。最好的办法是使用非核心模块 NEXT 来启用方法重新调度，以便可以由链中的每个模块处理。不幸的是，很少这样做。

结论

所有这些都值得深思熟虑。

您可以接受我的速记，但知道在某些情况下它并不完全正确。

或者您可以接受实际的代码，它有自己的一组异常。

无论哪种方式，如果您突破了任一示例的表面，都需要解决一些微妙的问题。