为什么不“使用过载”？使用“use namespace:autoclean”？

Question

好吧，只是为了健全性检查过载似乎对我不起作用。我不知道是否是我的 perl 版本、overload.pm 版本或我的实现方式有问题，但这段代码对我不起作用。

perl 版本

This is perl, v5.10.1 (*) built for x86_64-linux-gnu-thread-multi

重载版本

perl -Moverload -e 'print "$overload::VERSION\n";'
1.07

Token.pm

package Token;
use namespace::autoclean;
use Data::Dumper;


use Moose;
use Moose::Util::TypeConstraints; 

use overload '+' => \&_overload_add, fallback => 1;

  has 'secretvalue' => ( is => 'rw', isa => 'Int');  

  sub _overload_add{
    my ( $one, $two ) = @_;   
    my $value = $one->secretvalue() + $two->secretvalue();
    return ($value);
  }

main

use strict;
use warnings;
use Token;
my $t = Token->new( secretvalue => 17, key => 'x' );
my $t2 = Token->new( secretvalue => 12, key => 'y' );

my $x = $t + $t2;

print $x;

prints

 $VAR1 = 12900840;

最糟糕的是我在日志中没有收到任何类型的警告或错误。

更新

感谢 Freido 发现问题。我已经更新了这个问题，以防其他人偶然发现这个问题。

Perl/Moose 社区一般不使用重载吗？

Answer 1

namespace::autoclean 正在使用 overload 添加来处理操作符的魔力。以下内容如您所期望的那样工作：

package Token;

use Moose;
use Moose::Util::TypeConstraints;

use overload '+' => '_overload_add';

has 'secretvalue' => ( is => 'rw', isa => 'Int');

sub _overload_add{
    my ( $one, $two ) = @_;
    my $value = $one->secretvalue() + $two->secretvalue();
    return ($value);
}

1;

粗略地看一眼，并不会发现 namespace::autoclean 文档中解决此问题的任何内容，因此我猜这是一个意料之外的功能。一些搜索显示已报告错误。

我想这取决于 overload 添加到您的包中的特殊符号。重载+会添加符号表条目()、(+和OVERLOAD。我猜有些或所有这些都由 namespace::autoclean 清理掉，从而消除您的超载，

如果您喜欢冒险，这里有一个 namespace::autoclean 的补丁，可以过滤掉重载符号。

Answer 2

所以弗里多是绝对正确的；问题在于 Class::MOP 用来确定什么是“方法”、什么不是“方法”的启发式方法。一般来说，从另一个包导入的任何东西都不是方法，并且重载在技术上也符合方法。由于 namespace::autoclean 询问 Class::MOP 包存在哪些方法并删除其余方法，因此 autoclean 会盲目地清除重载以及其他所有内容。

我认为这非常令人惊讶。

MooseX::MarkAsMethods 将为 Moose 类提供帮助；它在 autoclean 之前运行，并告诉 Moose 将该包的任何重载代码符号识别为方法。这使它们免遭自动清理的困扰，并且还有一个额外的优点，即现在您可以在角色中使用重载，消耗它们，并让它们“正常工作”。 （全面披露：两年前我的 autoclean 修复被拒绝后，我编写了 MX::MarkAsMethods。）

但是，这对您可能想要使用 autoclean 的非 Moose 类没有帮助...通过 autoclean 删除重载是，充其量是自动清洁的一个缺陷。

Answer 3

我遇到了同样的问题（在我的例子中尝试重载 "" ），但还没有让 MooseX::MarkAsMethods 工作。尚未正确研究原因，但确实有效的替代解决方案是使用 MooseX::Role::WithOverloading（因为我已经使用了各种角色，所以很容易适应）。

package MyClass;
use Moose;
use namespace::autoclean;
with 'MyRole';

package MyRole;
use MooseX::Role::WithOverloading;

use overload '""' => sub { ... };