如何创建一个对象，其派生类由创建属性隐式指定？

Question

我正在寻找以下模式。 （我正在使用 Perl 工作，但我认为语言并不特别重要）。

有父类 Foo 和子类 Bar、Baz、Bazza。

构造 Foo 的方法之一是解析字符串，该字符串的一部分将隐式指定要创建哪个类。 例如，如果它以“http:”开头，那么它就是一个 Bar，但如果不是，但它包含“[Date]”，那么 Baz 喜欢它，依此类推。

现在，如果 Foo 知道它的所有子级，以及什么字符串是 Bar，什么是 Baz 等，它就可以调用适当的构造函数。 但基类不应该了解其子类的任何知识。

我想要的是 Foo 的构造函数能够依次尝试它的子级，直到其中一个说“是的，这是我的，我将创建这个东西”。

我意识到，在一般情况下，这个问题没有明确定义，因为可能有多个子节点接受该字符串，因此调用它们的顺序很重要：忽略这一点并假设字符串的特征使得只有一个子类会喜欢该字符串。

我想出的最好的方法是让子类在初始化时向基类“注册”，以便它获得构造函数列表，然后循环遍历它们。 但我缺少更好的方法吗？

示例代码：

package Foo;

my @children;

sub _registerChild
{
  push @children, shift();
}

sub newFromString
{
  my $string = shift;
  foreach (@children) {
    my $object = $_->newFromString(@_) and return $object;
  }
  return undef;
}

package Bar;
our @ISA = ('Foo');

Foo::_registerChild(__PACKAGE__);

sub newFromString
{
  my $string = shift;
  if ($string =~ /^http:/i) {
    return bless(...);
  }
  return undef;
}

Answer 1

也许您可以使用 Module::Pluggable< 来实现此功能/a>? 这将消除注册的需要。

我之前采取的方法是使用 Module::Pluggable 加载我的子模块（这允许我通过简单地编写和安装它们来添加新的子模块）。 每个子类都有一个构造函数，该构造函数要么返回受祝福的对象，要么返回 undef。 您循环遍历插件，直到获得一个对象，然后返回它。

类似于：

package MyClass;
use Module::Pluggable;

sub new
{
    my ($class, @args) = @_;
    for my $plugin ($class->plugins)
    {
       my $object = $plugin->new(@args);
       return $object if $object;
    }
}

有 Class:Factory也是如此，但这可能有点超出了您的需求。

Answer 2

看来您正在尝试让一个类既是基类又是工厂。 不。 使用 2 个单独的类。 像这样的东西：

package Foo;

package Bar;
use base 'Foo';

package Baz;
use base 'Foo';

package Bazza;
use base 'Foo';

package Factory;
use Bar;
use Baz;
use Bazza;

sub get_foo {
    my ($class, $string) = @_;
    return Bar->try($string) || Baz->try($string) || Bazza->try($string);
}

然后像这样使用它：

my $foo = Factory->get_foo($string);

这样你的基类不需要知道你的子类，只有你的工厂需要知道。 并且子类也不需要相互了解，只有 Factory 需要知道要尝试哪些子类以及按什么顺序尝试的详细信息。

Answer 3

您可以在类 Foo 中实现任意查找算法，用于搜索现有的子类。 也许基于子类提供的配置文件，或者您可能想到的任何其他机制。

然后，Foo 类将在运行时检测现有的客户端类并依次调用它们。

此外，您可以缓存查找结果并接近您自己描述的注册表解决方案。

Answer 4

如果您对父类不包含有关子类的信息的评论以及将建立子类适合性的任务委托给类本身的方法，那么从父类中提取类选择并创建一个可能是正确的此任务的单例。

至少这是我的偏好......从此您当前的父类（可能在您的子类中具有一些通用功能）可能会变得抽象或接口。

然后，单例可以管理所有子类的构造及其分布（如果它们不起作用，则克隆它们？）...此外，可以将子类移动到单独的 dll 中以促进分离。

抱歉，这不是直接的解决方案。
我过去通过管理单例中的类列表来完成此操作，就像您在这里一样。 单例背后的想法是，如果您确实想使用任何昂贵的反射，则只需执行一次。