有時(shí)你必須不擇手段地得到一個(gè)東西。 如果它是一個(gè)文件，你可以使用 Jonathan Stowes 的 URI::FetchFile。 所述模塊檢查四個(gè)模塊中的任何一個(gè)是否可用，并且采用第一個(gè)將 URI 保存為磁盤上的文件。 在他的代碼中有一個(gè)有趣的觸發(fā)了 ENODOC 的行。

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

這里 require 返回一個(gè)類型對(duì)象，該類型對(duì)象由模塊聲明，并且具有與該模塊相同的名字。

檢查 roast 這個(gè)巧妙的花招并把玩整個(gè)動(dòng)態(tài)模塊的魔法讓我意識(shí)到，我們沒(méi)有真正地在文檔中覆蓋這一點(diǎn)。 當(dāng)我嘗試處理一個(gè) ENODOC 時(shí)我喜歡從一個(gè)可編譯的例子開(kāi)始。 這一次，我們需要兩個(gè)文件。

# 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);

通過(guò) require 加載的任何符號(hào)在運(yùn)行時(shí)將不可用。因此，我們不能進(jìn)行靜態(tài)類型檢查。使用 subset 和動(dòng)態(tài)查找，我們可以得到一個(gè)類型對(duì)象來(lái)檢查。 where 從句將與類型對(duì)象進(jìn)行智能匹配。由于動(dòng)態(tài)查找很慢，所以像下面這樣緩存類型對(duì)象可能是明智的：

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

where 會(huì)智能匹配給定的表達(dá)式，除非你用 * 或 $_ 手動(dòng)匹配。 給定的表達(dá)式本身不進(jìn)行智能匹配，因此它將被求值。 由于 $ 是一個(gè)狀態(tài)變量，它的初始化將只被執(zhí)行一次（對(duì)于給定的thunk）。 所以我們最終得到一個(gè)狀態(tài)變量 $，它填充了第一次使用subset時(shí) ::('M::C') 后面的類型對(duì)象。 然后，針對(duì)該subset的每個(gè)約束檢查，完成對(duì)該類型對(duì)象的智能匹配。

// 是 Defined-or 運(yùn)算符。它返回第一個(gè)有定義的的操作數(shù), 否則就返回最后的那個(gè)操作數(shù)。是短路運(yùn)算符。

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

Any 是類型對(duì)象(Type Object)， 類型對(duì)象是未定義的（unfined）。如果你在類型對(duì)象上調(diào)用 .defined 方法, 它會(huì)返回 False。
你可以用這種方法來(lái)找出一個(gè)對(duì)象到底是不是類型對(duì)象:

my $obj = Int; # Int 是類型對(duì)象
if $obj.defined {
    say "普通對(duì)象, 有定義的對(duì)象";
} else {
    say "類型對(duì)象";
}

而對(duì)于普通對(duì)象:

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

//= 是多余的，可以被一個(gè)簡(jiǎn)單的 = 替換，但它告訴讀者，我期望 $ 是未定義的。 我使用定義或賦值語(yǔ)法，希望讀者熟悉它。

> $a = Int  # $a 初始值是未定義的類型對(duì)象
(Int)
> $a //= 3  # 等價(jià)于 $a = $a // 3
3
> $a        # // 返回第一個(gè)有定義的操作數(shù)
3

現(xiàn)在我們得到一個(gè)類型約束來(lái)防止 require 不返回一個(gè)匹配我們期望的名稱的類型。請(qǐng)注意，我們會(huì)檢查名稱，而不是類型或接口。如果您有機(jī)會(huì)設(shè)計(jì)動(dòng)態(tài)加載的模塊，您可能需要定義一個(gè)角色（甚至可能為空），這些角色必須由動(dòng)態(tài)加載的類實(shí)現(xiàn)，以確保您可以真正調(diào)用所期望的方法。不只是具有相同名稱的方法。

現(xiàn)在實(shí)際上我們可以按名字加載模塊，并動(dòng)態(tài)解析其中一個(gè)類，并從 try 塊返回它。因?yàn)?M.pm6 定義了一個(gè)模塊（如在 Perl6::Metamodel::ModuleHOW中）作為它的頂層包，我們不能簡(jiǎn)單地接受 require 的返回值，因?yàn)?Module 不是我們?cè)?Perl 6 中最內(nèi)省的東西。請(qǐng)注意，require 所加載的符號(hào)可在 try-block 外部通過(guò)動(dòng)態(tài)查找獲得。我不知道會(huì)發(fā)生什么如果你 go wild 并加載具有相同完全限定名的符號(hào)的模塊。可能會(huì)有龍。

加載任何一組可能安裝過(guò)也可能沒(méi)有安裝過(guò)的模塊是一種相當(dāng)普遍的情況，對(duì)我有限的知識(shí)，我們的生態(tài)系統(tǒng)中還沒(méi)有那樣一個(gè)模塊。因此，我想挑戰(zhàn)一下，寫一個(gè)運(yùn)行以下接口的模塊。

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

其中 Callable-adapter 提供了一個(gè)通用接口，將模塊的 sub 或方法調(diào)用轉(zhuǎn)換為用戶代碼需要的任何內(nèi)容。有了這樣的模塊，Jonathan 可以將 URI::FetchFile 減少到 50 行代碼。