你必须接受你所拥有的

有时你必须不择手段地得到一个东西。 如果它是一个文件,你可以使用 Jonathan Stowes 的 URI::FetchFile。 所述模块检查四个模块中的任何一个是否可用,并且采用第一个将 URI 保存为磁盘上的文件。 在他的代码中有一个有趣的触发了 ENODOC 的

$type = try require :: ($class-name);

这里 require 返回一个类型对象,该类型对象由模块声明,并且具有与该模块相同的名字。

检查 roast 这个巧妙的花招并把玩整个动态模块的魔法让我意识到,我们没有真正地在文档中覆盖这一点。 当我尝试处理一个 ENODOC 时我喜欢从一个可编译的例子开始。 这一次,我们需要两个文件

# M.pm6
unit module M;
class C is export { method m { 'method C::m' } };
class D is export { method m { 'method D::m' } };

# dynamic-modules.p6
use v6;
use lib '.';

subset C where ::('M::C');

my C $context = try { 
    CATCH { default { .note } };
    require ::('M');
    ::('M::C')
};

dd $context.HOW.^methods.elems;
dd $context.HOW.shortname($context);

通过 require 加载的任何符号在运行时将不可用。因此,我们不能进行静态类型检查。使用 subset 和动态查找,我们可以得到一个类型对象来检查。 where 从句将与类型对象进行智能匹配。由于动态查找很慢,所以像下面这样缓存类型对象可能是明智的:

subset C where $ //= ::('M::C');

where 会智能匹配给定的表达式,除非你用 *$_ 手动匹配。 给定的表达式本身不进行智能匹配,因此它将被求值。 由于 $ 是一个状态变量,它的初始化将只被执行一次(对于给定的thunk)。 所以我们最终得到一个状态变量 $,它填充了第一次使用subset时 ::('M::C') 后面的类型对象。 然后,针对该subset的每个约束检查,完成对该类型对象的智能匹配。

// 是 Defined-or 运算符。它返回第一个有定义的的操作数, 否则就返回最后的那个操作数。是短路运算符。

say Any // 0 // 42;   # 0
say Int // Mu // 42;  # 42
say Int // Mu // Str; # (Str)

Any 是类型对象(Type Object), 类型对象是未定义的(unfined)。如果你在类型对象上调用 .defined 方法, 它会返回 False
你可以用这种方法来找出一个对象到底是不是类型对象:

my $obj = Int; # Int 是类型对象
if $obj.defined {
    say "普通对象, 有定义的对象";
} else {
    say "类型对象";
}

而对于普通对象:

0.defined     # True
False.defined # True
True.defined  # True
"".defined    # True
[].defined    # True
().defined    # True

//= 是多余的,可以被一个简单的 = 替换,但它告诉读者,我期望 $ 是未定义的。 我使用定义或赋值语法,希望读者熟悉它。

> $a = Int  # $a 初始值是未定义的类型对象
(Int)
> $a //= 3  # 等价于 $a = $a // 3
3
> $a        # // 返回第一个有定义的操作数
3

现在我们得到一个类型约束来防止 require 不返回一个匹配我们期望的名称的类型。请注意,我们会检查名称,而不是类型或接口。如果您有机会设计动态加载的模块,您可能需要定义一个角色(甚至可能为空),这些角色必须由动态加载的类实现,以确保您可以真正调用所期望的方法。不只是具有相同名称的方法。

现在实际上我们可以按名字加载模块,并动态解析其中一个类,并从 try 块返回它。因为 M.pm6 定义了一个模块(如在 Perl6::Metamodel::ModuleHOW中)作为它的顶层包,我们不能简单地接受 require 的返回值,因为 Module 不是我们在 Perl 6 中最内省的东西。请注意,require 所加载的符号可在 try-block 外部通过动态查找获得。我不知道会发生什么如果你 go wild 并加载具有相同完全限定名的符号的模块。可能会有龙。

加载任何一组可能安装过也可能没有安装过的模块是一种相当普遍的情况,对我有限的知识,我们的生态系统中还没有那样一个模块。因此,我想挑战一下,写一个运行以下接口的模块。

sub load-any-module(*%module-name-to-adapter);
load-any-module({'Module::Name' => &Callable-adapter});

其中 Callable-adapter 提供了一个通用接口,将模块的 sub 或方法调用转换为用户代码需要的任何内容。有了这样的模块,Jonathan 可以将 URI::FetchFile 减少到 50 行代码。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 202,056评论 5 474
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 84,842评论 2 378
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 148,938评论 0 335
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,296评论 1 272
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,292评论 5 363
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,413评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,824评论 3 393
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,493评论 0 256
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,686评论 1 295
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,502评论 2 318
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,553评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,281评论 4 318
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,820评论 3 305
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,873评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,109评论 1 258
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 42,699评论 2 348
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,257评论 2 341

推荐阅读更多精彩内容

  • Spring Cloud为开发人员提供了快速构建分布式系统中一些常见模式的工具(例如配置管理,服务发现,断路器,智...
    卡卡罗2017阅读 134,573评论 18 139
  • Android 自定义View的各种姿势1 Activity的显示之ViewRootImpl详解 Activity...
    passiontim阅读 171,335评论 25 707
  • Learn from React 官方文档 一、Rendering Elements 1. Rendering a...
    恰皮阅读 2,658评论 2 3
  • 同一片天,自有不同的景象,当我孑然一身站在树的虬枝下,那如花如水般成放射性蔓延的枝桠却是爬满了我的心,此时此刻,在...
    天离墨阅读 306评论 0 1
  • 第一次去新疆学读了一个字“很”(鼻音四声),概括一下就是新疆:风景美的很、天气冷的很、人热情的很、路远的很、面积大...
    近琢阅读 714评论 5 4