ガード の

ガードについて

ガードは、パターンマッチングを補完するものとして使われます。ガードを使うと、より複雑なチェックができます。パターンマッチングが使える場面のうち、すべてではありませんが、いくつかの場面で使えます。たとえば、関数の節やcase節などです。

def empty?(list) when is_list(list) and length(list) == 0 do
  true
end

• ガードはwhenキーワードで始まり、そのあとに真偽値の式が続きます。

• ガード式は特別な関数で、次の条件を満たす必要があります。

  • 純粋であること。グローバルな状態を変更してはいけません。
  • 厳密にtrueまたはfalseを返すこと。

• よく使われるガードの一覧は、Elixirのドキュメントにあります。次のようなものがあります。

  • 型チェック：is_integer/1、is_list/1、is_nil/1など
  • 算術演算子：+/2、-/2など
  • 比較：==/2、>/2、</2など
  • 真偽値の演算子：and/2、or/2、not/1
  • 所属演算子：in/2

• defguardを使えば、独自のガードを定義できます。

  • Elixirの命名規則では、ガードの名前はis_で始めることになっています。

    defmodule HTTP do
      defguard is_success(code) when code >= 200 and code < 300
    
      def handle_response(code) when is_success(code) do
        :ok
      end
    end