Elixir 関数パターンマッチ+ガード節

Last updated at 2024-11-10Posted at 2024-11-10

こんにちは！
プログラミング未経験文系出身、Elixirの国に迷い込んだ？！見習いアルケミストのaliceと申します。
今回は関数パターンマッチ+ガード節でさらに条件を絞り込む方法について学んだことをまとめます。

目的

関数パターンマッチ+ガード節でさらに条件を絞り込む方法を理解する

実行環境

Windows 11 ＋ WSL2 ＋ Ubuntu 22.04
Elixir v1.17.3
Erlang v27.0

今回やりたいこと

前回は下記2つが条件分岐できていませんでした。

引数のリストの要素数が2以上であるとき
引数がそもそもリストではないとき

そこで、ガード節を使ってこの部分をさらに細かく条件分岐したいと思います

前提

前回作成したElixirプロジェクトをそのまま使います

bash

mix new func_matching
cd func_matching

開始時点でのテストモジュールは以下の通りです

test/func_matching_test.exs

describe "check list elements" do
  test "when list is []" do
    assert FuncMatching.checkelems([]) == "空のリストです"
  end

  test "when list has only one element" do
    assert FuncMatching.checkelems([5]) == "リストの要素数は1です"
  end

  test "other pattern" do
    assert FuncMatching.checkelems([1, 2, 3]) == "リストの要素数は2以上であるか、そもそもリストではありません"
  end

  test "when argument is not a list" do
    assert FuncMatching.checkelems("hoge") == "リストの要素数は2以上であるか、そもそもリストではありません"
  end
end

開始時点での実装は以下の通りです。
countelems(_)は、

引数のリストの要素数が2以上であるとき
引数がそもそもリストではないとき

を区別できていません。

lib/func_matching.ex

defmodule FuncMatching do
  def countelems([]) do
    "空のリストです"
  end

  def countelems([_]) do
    "リストの要素数は1です"
  end

  def countelems(_) do # 上記のいずれにもマッチしなかった場合
    "リストの要素数は2以上であるか、そもそもリストではありません"
  end
end

テストの修正

test/func_matching_test.exs

describe "check list elements" do
    test "when list is []" do
      assert FuncMatching.checkelems([]) == "空のリストです"
    end

    test "when list has only one element" do
      assert FuncMatching.checkelems([5]) == "リストの要素数は1です"
    end

-   test "other pattern" do
-     assert FuncMatching.checkelems([1, 2, 3]) == "リストの要素数は2以上であるか、そもそもリストではありません"
-   end

+   test "when list has more than two elements" do
+     assert FuncMatching.checkelems([1, 2, 3]) == "リストの要素数は2以上です"
+   end

    test "when argument is not a list" do
-     assert FuncMatching.checkelems("hoge") == "リストの要素数は2以上であるか、そもそもリストではありません"
+     assert FuncMatching.checkelems("hoge") == "リストではありません"
    end
  end

関数の修正

ガード節(when句)を使用して条件分岐をさらに細かくします

lib/func_matching.ex

 defmodule FuncMatching do
   def countelems([]) do
     "空のリストです"
   end
 
   def countelems([_]) do
     "リストの要素数は1です"
   end
 
-  def countelems(_) do # 上記のいずれにもマッチしなかった場合
-    "リストの要素数は2以上であるか、そもそもリストではありません"
-  end
+  def checkelems(list) when is_list(list) do
+   "リストの要素数は2以上です"
+  end
+
+  def checkelems(_) do # 上記のいずれにもマッチしなかった場合
+    "リストではありません"
+  end
  end