Pattern Matching

Operatore match

Se pronto ad essere spiazzato? In Elixir, l’operatore = è in realtà un operatore match. Tramite l’operatore match possiamo assegnare ed abbinare valori, simile al segno uguale in algebra. Scrivendolo, transforma l’intera espressione in un’equazione ed Elixir deve abbinare i valori sulla sinistra a quelli della destra. Se l’operazione ha successo, Elixir genera i valori dell’equazione, altrimenti, genera un errore. Diamo uno sguardo:

iex> x = 1
1

Ora proviamo un semplice abbinamento:

iex> 1 = x
1
iex> 2 = x
** (MatchError) no match of right hand side value: 1

Ora proviamo con una delle collezioni che conosciamo:

# Liste
iex> list = [1, 2, 3]
[1, 2, 3]
iex> [1, 2, 3] = list
[1, 2, 3]
iex> [] = list
** (MatchError) no match of right hand side value: [1, 2, 3]

iex> [1 | tail] = list
[1, 2, 3]
iex> tail
[2, 3]
iex> [2|_] = list
** (MatchError) no match of right hand side value: [1, 2, 3]

# Tuple
iex> {:ok, value} = {:ok, "Successful!"}
{:ok, "Successful!"}
iex> value
"Successful!"
iex> {:ok, value} = {:error}
** (MatchError) no match of right hand side value: {:error}

Operator pin

Abbiamo appena imparato che l’operatore match gestisce l’assegnazione quando la parte sinistra dell’abbinamento include una variabile. In alcuni casi questo comportamento, cambiare l’abbinamento di una variabile, non è desiderabile. Per queste situazioni, abbiamo l’operatore pin ^.

Quando fissiamo (pin) una variabile, abbiniamo il valore esistente invece di cambiare l’abbinamento con un nuovo valore. Vediamo come funziona:

iex> x = 1
1
iex> ^x = 2
** (MatchError) no match of right hand side value: 2
iex> {x, ^x} = {2, 1}
{2, 1}
iex> x
2

Elixir 1.2 ha introdotto il supporto per usare l’operatore pin per le chiavi delle mappe e nelle clausole delle funzioni:

iex> key = "hello"
"hello"
iex> %{^key => value} = %{"hello" => "world"}
%{"hello" => "world"}
iex> value
"world"
iex> %{^key => value} = %{:hello => "world"}
** (MatchError) no match of right hand side value: %{hello: "world"}

Un esempio di pinning in una clausola di una funzione:

iex> greeting = "Hello"
"Hello"
iex> greet = fn
...>   (^greeting, name) -> "Hi #{name}"
...>   (greeting, name) -> "#{greeting}, #{name}"
...> end
#Function<12.54118792/2 in :erl_eval.expr/5>
iex> greet.("Hello", "Sean")
"Hi Sean"
iex> greet.("Mornin'", "Sean")
"Mornin', Sean"

Da notare il fatto la riassegnazione di greeting nell’esempio "Mornin'", la riassegnazione succede solo dentro la funzione. Fuori dalla funzione greeting contiente ancora il valore di "Hello".

Caught a mistake or want to contribute to the lesson? Edit this lesson on GitHub!