我们使用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;
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。