我可以在 Perl 中创建类似 Java 的界面吗？

Question

我知道 Perl 的 OO 模型相当原始； 在大多数方面，它本质上是一种命名空间黑客。

尽管如此，我想知道是否有可能创建类似“界面”的东西？ 我的目标是拥有一个基类，从中扩展其他类，其主要目的是强制这些子类实现某些方法（通过名称即可，无需签名）。 我真的不在乎它是一个“纯虚拟”类（就像Java中的“接口”）还是一个具有超类中这些方法的实际实现存根的具体类，但我想要的是使它确定性地需要子类实现超类的某些方法。

这可能吗？ 如果是这样，怎么办？

Answer 1

这是使用 Moose 的答案...

package Comparable;
use Moose::Role;

requires 'eq';

package Person;

has size => (
    is   => 'ro',
    does => 'Comparable',
);

现在 size 属性必须是一个实现 Comparable “接口的对象”。 在 Moose-land 中，接口就是角色，而角色不仅仅是接口定义。

Answer 2

我不确定你将如何实施它。 不过，请看一下 Moose，它是“Perl 5 的后现代对象系统”。

• Moose::Manual
• Moose::Cookbook

Answer 3

我认为强制实现/重载基类函数/子函数的整个想法对于 Perl 来说是陌生的。 您认为执行机制将在什么时候发挥作用？

如果您可以在运行时执行此操作，那么如果您的基类的实现被调用，您可能会死亡。

编辑：实际上，是的，Class::Contract 似乎是正确的选择。

Answer 4

Class::Contract 可以帮忙解决这个问题。 它支持编译时契约检查。

Answer 5

我有一个称为“兼容”的轻量级模式，我在对 指示一个类是否实现 Perl 中的接口有多重要？

这只是在 中粘贴伪包的问题@ISA：

our @ISA = qw<... X::Compatible ...>;

如果您不按照 X 的预期行事，您就破坏了他们的代码。 在实践中，我有一堆可重复使用的记录行为，但我用一个告诉我它是 X::Compatible 的类来向自己保证它可以达到我的预期。

由于 Perl 5.10 引入了 DOES 概念，该概念同样是轻量级的，因此 X::Compatible 对象继承自基类 Object::Compatible > 它通过在 @ISA 中查找 /::Compatible$/ 并对其中的任何内容回复肯定来实现基本的 DOES。 这个想法是：

$object->DOES( $x ) == $object->isa( $x . '::Compatible' )

Answer 6

在运行时产生错误的简单解决方案：

package SomeVirtualClass;

use strict;
use warnings;

use Carp;

sub some_method { croak "virtual method some_method not overridden" }