モジュールと関数

  • このページの目標
    • モジュールと関数について知り、読めるようになる
    • 定義構文を知り、書けるようになる
  • 所要時間: 15 分程度
    • ここまで累積で 90 分程度予定(環境構築に時間を取らない場合)

モジュール

資料: Modules and functions - Elixir

  • Elixir では関連する関数をグループ化してModule; モジュールとして管理します
  • グループ化の際には、関心の対象であるデータごとにモジュールを分けることが多いです
    • 例えば文字列を扱う関数群をStringモジュールで管理する、など
    • これは「データと、それを扱う関数」がプログラムのほぼ全てである関数型言語の特性をよく表していると言えます
  • Stringモジュールを例に取ると、
iex> String.length("hello")
5
  • 先ほども出てきたものですが、length/1がStringモジュールに属する関数です
  • Stringは、実は内部的には単なる Atom です。Atom はこのように Elixir 言語において、標準機能を実現するためにも多く使われています
  • モジュールはdefmoduleマクロで定義します
    • defmoduleや、このあと登場するdefがマクロであるということは、最初はそれほど意識しなくて構いません
defmodule Math do
end
  • Mathという名前を持ったモジュールがこれで定義されます。中身はまだありません
    • モジュール名には CamelCase を使います
    • iexでも実行可能です

(名前付き)関数

  • String.length/1のような関数を名前付き関数; named functionといい、Elixir プログラムの最も標準的な構成要素です
  • 関数名には snake_case を使います
  • defマクロで、モジュール内に定義します
defmodule Math do
  def add(a, b) do
    a + b
  end
end
  • iexでも実行できます。やってみてください
    • すでにiex上でMathモジュールを定義してあった場合、定義が上書きされます(再定義警告が出ると思います)
  • このように定義すると、Math.add(1, 2)のように他の場所から呼び出せるようになるわけです
  • 複雑な関数の処理を別の関数に分解するようなケースでは、同一モジュール内部からのみ参照可能なプライベート関数; private function をdefpで定義できます
defmodule Math do
  def add(a, b) do
    do_add(a, b)
  end

  defp do_add(a, b) do
    a + b
  end
end
  • 無名関数と名前付き関数の違いは、
    • モジュールに属しているか
    • 呼び出す際の構文が、name()かname.()か、です
  • それ以外はほとんど同様に扱えます。例えば、無名関数と同様、名前付き関数を別名の変数に束縛することもできます
iex> sl = &String.length/1
&String.length/1
iex> sl.("hello")
5
  • 末尾の/nはすでに触れましたが、&で始めるのが名前付き関数を値として扱う場合の構文です
  • モジュールと関数を実装していく際には、他のモジュールの関数を利用することも頻繁にあります
    • Elixir では、モジュール名と関数名をフルネームで明記すれば、どこからでも利用可能です
      • 「継承」の概念は存在せず、したがって継承先でのみ使用できる関数(protected)，のような仕組みもありません
    • モジュール名を簡約表記するためのaliasや、マクロを使用可能にするための特別な宣言構文(require)などもあります
    • 詳しくはalias, require, and import - Elixir参照
  • モジュールをコンパイルする際のみに使用する値を格納する、module attribute という専用の仕組みがあり、@nameで表記されます
  • ここまでで、Elixir コードを読むためのごく基本的な構文要素は紹介できました
  • もちろん、省略した細かな内容も多くありますので、以降は公式ガイドを読み進め、検索しながら学んでいってください
    • 研修期間中はどんどん質問しましょう。都度講師が説明を展開するので、他のメンバも共有できます

results matching ""

    No results matching ""