perl – 使用具有Moose类型约束的祝福CodeRef

我们使用Moose类将迭代器序列化为各种输出格式.我们将迭代器描述为一个属性：

has iterator => (
    is => 'ro',isa => 'CodeRef',required => 1,);

到目前为止,这种方法运行良好,但我们最近使用Iterator::Simple来准备迭代器以供以后使用.这意味着我们可以写下这个：

has iterator => (
    is => 'ro',isa => 'CodeRef|Iterator::Simple::Iterator',);

并允许我们的序列化程序正确接受迭代器类.但是,这似乎是一个不完整的解决方案.

在Moose中是否有一种方法可以指定属性必须可调用的约束？我怀疑有可能使用Moose::Util::TypeConstraints并在& {}上使用overload::Overloaded来检查,但我想知道是否有人已经创建了一个模块来执行此操作,或者是否有Moose标准方法来测试它.

解决方法

CodeRef仅允许未经验证的代码引用.幸运的是,制作自己的类型很容易.

如下所示定义Callable,然后使用它而不是CodeRef.它允许以下内容：

>未经过编码的代码参考.
>有福的代码参考.
>假装是代码引用的对象(即那些过载和放大的对象).

use Moose::Util::TypeConstraints;
use overload     qw( );
use Scalar::Util qw( );

subtype 'Callable'
    => as 'Ref'
    => where {
          Scalar::Util::reftype($_) eq 'CODE'
             ||
          Scalar::Util::blessed($_) && overload::Method($_,"&{}")
       }

    # Written such that parent's inline_as needs not be prepended.
    => inline_as {'(
          (Scalar::Util::reftype('.$_[1].') // "") eq 'CODE'
             ||
          Scalar::Util::blessed('.$_[1].') && overload::Method('.$_[1].',"&{}")
       )'};

no Moose::Util::TypeConstraints;