二郎 - 模式匹配謂詞

Question

要知道，如果特定的表達指定模式匹配，我可以在Erlang的東西寫類似以下內容：

case <expression> of 
    <pattern> -> true; 
    _ -> false 
end 

例如：

case {1, 2, 3} of 
    {_, 2, _} -> true; 
    _ -> false 
end 

有沒有把它寫的方式更緊湊的方式？例如：

is_match(<pattern>, <expression>) 

Answer 1

不，沒有這樣的結構。你可以定義一個宏來做到這一點：

-define(is_match(Pattern, Expr), case Expr of Pattern -> true; _ -> false end). 

Answer 2

另一個宏：O）-define (IS_MATCH(PAT,EXP), catch(PAT = EXP) == EXP end).沒有的情況下，但我不知道，一抓比較好。