Pyke 邏輯編程入門（6）：模式比對 之“元組模式”

元組模式

元組模式只與元組合一匹配。它形式上是在圓括弧中，成員由逗號隔開的模式列表：

(1, $x, "buckle my shoe")

你可把元組的最後那個變數，用星號（*）修飾成“其餘模式”：

($a, fie, $b, *$c)

這個“其餘模式”的變數，總是約束為元組。

例如：

(1, $x, "buckle my shoe") 與 (1, 2, "buckle my shoe") 合一匹配，$x 約束值等於 2。

(1, $x, "buckle my shoe") 與 (1, 2, "buckle my belt") 不相匹配，原因是兩個元組的第三個模式值不相同。

($a, fie, $b, *$c) 與 (fee, fie, foe, fum) 合一匹配，$a 約束為 fee，$b 約束成 foe，$c 約束為元組 (fum)。

($a, fie, $b, *$c) 與 (fee, fie, foe) 合一匹配，$a 約束成 fee, $b 約束成 foe，$c 約束成空的元組 ()。

($a, fie, $b, *$c) 與 (fee, fie) 不相匹配，原因是第二個元組必須至少有三個成員。

提 示 可以用 (*$foo) 專門匹配元組，$foo 會約束成整個元組。但若與其他類型資料匹配，會失敗。