関数の引数（マクロ）で `do`構造体を使う

Question

私はちょうどElixirの基礎を取り上げて、メタプログラミングを楽しみました。私はunless(expression, do: block)部分の意味をなすように見えることはできません

defmodule ControlFlow do 
    defmacro unless(expression, do: block) do 
    quote do 
     if !unquote(expression), do: unquote(block) 
    end 
    end 
end 

：クリス・マッコードの著書では、私たち自身のunless構造を定義する次の例があります。 do:構成の唯一の使用は、関数の本体を短くして1行に圧縮することです。ただし、ここでは、unlessの後に実行されるブロックは、すでに関数の引数の一部です。 do: blockの部分はどのようにここに収まりますか？たぶん私は本当にシンプルなものを見落としていますが、私はそれを指摘して喜んでします。

Answer 1

do: blockは、単純なパターンマッチングで、キーワード引数:doに渡された値を簡単に抽出できます。それはやってと同等です：

defmacro unless(expression, [{:do, block}]) 

、あなたはそれを期待するだけのように振る舞う：あなたはまた、パターンを使用しないようにunlessを書き換えることができます

iex(1)> [do: block] = [do: 123] 
[do: 123] 
iex(2)> block 
123 

の略です

defmacro unless(expression, [do: block]) 

このような一致：

defmodule ControlFlow do 
    defmacro unless(expression, args) do 
    quote do 
     if !unquote(expression), do: unquote(args[:do]) 
    end 
    end 
end 

_{do:引数がないことを黙って無視するので、これは元のコードと完全には同じではありませんが、サポートするコードを変更するのは簡単です。}