Guards in

Informazioni su Guards

Le guardie si usano come complemento al pattern matching. Permettono di eseguire controlli più complessi. Si possono usare in alcune, ma non tutte le situazioni in cui si può usare il pattern matching, per esempio nelle clausole di funzione o nelle clausole case.

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

• Le guardie iniziano con la parola chiave when, seguita da un'espressione booleana.

• Le espressioni di guardia sono funzioni speciali che:

  • Devono essere pure e non modificare alcuno stato globale.
  • Devono restituire valori rigorosamente true o false.

• Un elenco delle guardie più comuni si trova nella documentazione di Elixir. Ne fanno parte:

  • Controlli di tipo: is_integer/1, is_list/1, is_nil/1 ecc.
  • Operatori aritmetici: +/2, -/2 ecc.
  • Confronti: ==/2, >/2, </2 ecc.
  • Operatori booleani: and/2, or/2, not/1
  • Operatore di appartenenza: in/2

• Puoi definire una guardia personalizzata con defguard.

  • Secondo la convenzione di denominazione di Elixir, i nomi delle guardie dovrebbero iniziare con 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