perl – 为什么在使用Moose时覆盖new是“非常糟糕的做法”？

2023年7月4日 231次阅读

从
Moose::Manual::BestPractices页面：

Overriding new is a very bad practice. Instead, you should use a BUILD or BUILDARGS methods to do the same thing. When you override new, Moose can no longer inline a constructor when your class is immutabilized.

我的问题是为什么这被认为是非常糟糕的做法？

我认为“内联”构造函数只是意味着构造函数是在与类相同的包中定义的.如果这是真的,这不意味着如果你在该包中覆盖new,那么构造函数仍然会被认为是“内联”构造函数吗？如果我错了,请纠正我.我并不完全理解构造函数“内联”意味着什么的概念.

我遇到这个问题的原因是因为我正在创建一个构建对象列表的脚本.如果用户尝试创建一个与列表中的对象相同的新对象,我想阻止Moose创建一个新对象,并返回对现有对象的引用.

创建新对象时,我想将其推送到列表并返回新对象.尝试创建现有对象时,应返回现有对象,而不是将其推送到列表中.

# Some pseudo code showing the logic of what I attempted
around BUILDARGS => sub {
    my ($orig, $self, %args) = @_;

    # loop through objects in list
    for my $object (@list) {

        # if $args used to define the new object
        # match the arguments of any object in the list
        # return the matched object

        # I want this to directly return the object
        # and skip the call to BUILD
    }

    return $self->orig(
        # Insert args here
    );
};

sub BUILD {
    my ($self) = @_;

    # I don't want this call to happen if the object already existed
    push @list, $self;
}

创建新对象时,我尝试使用BUILD在创建后将其推送到列表中.问题是当我尝试创建一个现有对象并使用BUILDARGS返回现有对象时似乎并没有阻止Moose调用BUILD试图将对象推送到列表上.

我能够解决这个问题的唯一方法是覆盖new并让它返回现有对象而不创建新对象.

# Some pseudo code showing the overridden constructor
sub new {
    my ($class, %args) = @_;

    # loop through objects in list
    for my $object (@list) {

        # if $args used to define the new object
        # match the arguments of any object in the list
        # return the matched object
    }

    # Build the object
    my $self = bless {
        # Insert args here
    }, $class;

    # Add the object to the list
    push @list, $object;
}

覆盖新的工作,但如果它真的是一个如此可怕的想法,正如Moose文档似乎暗示,有没有更好的方法来做到这一点？

最佳答案 内置子程序意味着在调用时复制其代码而不是插入子程序调用.这要快得多,因为它避免了在堆栈上收集参数和任何局部变量以及调用和返回操作的开销.如果该类未被声明为不可变,则是不可能的,因为任何突变都可能意味着构造函数必须更改,因此不再可以在线插入

点赞