为什么这个 Perl 会产生“不是代码引用？”

Question

我需要在运行时从 Perl 符号表中删除一个方法。我尝试使用 undef &Square::area 来执行此操作，它确实删除了该函数，但留下了一些痕迹。具体来说，当调用 $square->area() 时，Perl 抱怨它是“不是 CODE 引用”，而不是我所期望的“未定义的子例程 &Square::area 调用” 。

您可能会问，“为什么这很重要？您删除了该函数，为什么还要调用它？”答案是我没有调用它，Perl 才是。 Square 继承自 Rectangle，我希望继承链将 $square->area 传递到 &Rectangle::area，但不要跳过 Square 方法所在的位置不存在，然后转到 Rectangle 的 area()，该方法调用因“不是 CODE 引用”而终止。

奇怪的是，这似乎仅在 &Square::area 由 typeglob 赋值定义时才会发生（例如 *area = sub {...}）。如果该函数是使用标准 sub area {} 方法定义的，则代码将按预期工作。

同样有趣的是，取消定义整个 glob 可以按预期工作。只是不取消子例程本身的定义。

这是一个简短的示例，说明了症状，并与正确的行为进行了对比：

#!/usr/bin/env perl
use strict;
use warnings;

# This generates "Not a CODE reference". Why?
sub howdy; *howdy = sub { "Howdy!\n" };
undef &howdy;
eval { howdy };
print $@;

# Undefined subroutine &main::hi called (as expected)
sub hi { "Hi!\n" }
undef &hi;
eval { hi };
print $@;

# Undefined subroutine &main::hello called (as expected)
sub hello; *hello = sub { "Hello!\n" };
undef *hello;
eval { hello };
print $@;

更新：我已经使用 Package::Stash 解决了这个问题（感谢@Ether），但我仍然对为什么会这样感到困惑首先发生的。 perldoc perlmod 说：

包主程序；

sub Some_package::foo { ... } # &foo 在 Some_package 中定义

这只是编译时 typeglob 赋值的简写：

BEGIN { *Some_package::foo = sub { ... } }

但它似乎不仅仅是简写，因为两者在取消定义函数后会导致不同的行为。如果有人能告诉我这是否是（1）不正确的文档，（2）perl 中的错误，或（3）PEBCAK 的情况，我将不胜感激。

Answer 1

自己操作符号表引用肯定会给您带来麻烦，因为有很多棘手的事情很难正确处理。幸运的是，有一个模块可以为您完成所有繁重的工作，Package::Stash - 所以就这样根据需要调用其方法 add_package_symbol 和 remove_package_symbol。

您可能想要查看的另一个好方法安装程序是 Sub::Install - 特别好，如果您想要生成很多类似的函数。

至于为什么你的方法不正确，让我们看一下删除代码引用后的符号表：

sub foo { "foo!\n"}
sub howdy; *howdy = sub { "Howdy!\n" };

undef &howdy;
eval { howdy };
print $@;

use Data::Dumper;
no strict 'refs';
print Dumper(\%{"main::"});

prints (abridged):

    $VAR1 = {
              'howdy' => *::howdy,
              'foo' => *::foo,
    };

正如你所看到的， 'howdy' 槽仍然存在 - undefining &howdy< /code> 实际上并没有做足够的任何事情。您需要显式删除 glob 槽 *howdy。

Answer 2

发生这种情况的原因正是因为您分配了一个 typeglob。

当您删除 CODE 符号时，typeglob 的其余部分仍然存在，因此当您尝试执行 howdy 时，它将指向 typeglob 的非 CODE 部分。