Αντιπαραβολές Προτύπων

Τελεστής Αντιπαραβολής

Είστε έτοιμοι για μια έκπληξη; Στην Elixir, ο τελεστής = στην πραγματικότητα χρησιμοποιείται σαν τελεστής αντιπαραβολής, περίπου όπως στην άλγεβρα. Γράφοντάς το μετατρέπετε την όλη έκφραση σε μια ισότητα, και κάνετε την Elixir να ταιριάζει τις τιμές στα αριστερά του με τις τιμές στα δεξιά του. Αν η αντιπαραβολή πετύχει, επιστρέφει την τιμή της ισότητας, αλλιώς πετάει ένα σφάλμα. Για να ρίξουμε μια ματιά:

iex> x = 1
1

Τώρα ας προσπαθήσουμε μια απλή αντιπαραβολή:

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

Ας το προσπαθήσουμε με μερικές από τις συναρτήσεις που ξέρουμε:

# Λίστες
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]

# Τούπλες
iex> {:ok, value} = {:ok, "Successful!"}
{:ok, "Successful!"}
iex> value
"Successful!"
iex> {:ok, value} = {:error}
** (MatchError) no match of right hand side value: {:error}

Τελεστής Καρφίτσας

Μόλις μάθαμε ότι ο τελεστής αντιπαραβολής εκτελεί μια εκχώρηση όταν η αριστερή μεριά της αντιπαραβολής περιέχει μια μεταβλητή. Σε μερικές περιπτώσεις, αυτή η επανασύνδεση δεν είναι επιθυμητή. Για αυτές τις περιπτώσεις έχουμε τον τελεστή καρφίτσας: ^.

Όταν καρφιτσώνουμε μια μεταβλητή, αντιπαραβάλουμε με την υπάρχουσα τιμή αντί να επανασυνδέουμε σε μια νέα. Ας δούμε πως δουλεύει:

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 εισήγαγε υποστήριξη για καρφίτσες σε κλειδιά χαρτών και ρήτρες συναρτήσεων:

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"}

Ένα παράδειγμα καρφιτσώματος σε μια ρήτρα συνάρτησης:

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"
iex> greeting
"Hello"

Παρατηρήστε ότι στο παράδειγμα "Mornin'" η επανεκχώρηση του greeting στο "Mornin'" συμβαίνει μόνο μέσα στη συνάρτηση. Εξω από τη συνάρτηση greeting είναι ακόμα "Hello".

Έπιασες λάθος ή θέλεις να συνεισφέρεις στο μάθημα; Επεξεργαστείτε αυτό το μάθημα στο GitHub!