Mitigazione del disastro

Crystal ha quelle che vengono chiamate espressioni di controllo: servono a controllare il modo in cui il programma verrà eseguito e assumono un valore truthy o falsey. Ci sono operatori che possono essere usati per creare valori truthy o falsey, questi sono noti come operatori di uguaglianza e confronto.

Ci sono due espressioni di controllo principali che servono a controllare quale codice verrà eseguito e quale no. In altre parole, quale ramo verrà eseguito.

Queste due sono: if e l'espressione unless.

Gli operatori di confronto

Gli operatori di confronto servono a confrontare valori e restituiscono un valore true o false. Questi operatori richiedono che vengano confrontati due valori dello stesso tipo. Se i valori non sono dello stesso tipo, il compilatore genererà un errore. Ecco un elenco degli operatori di confronto e un esempio di quando restituiscono un valore true:

Gli operatori di uguaglianza

Gli operatori di uguaglianza sono simili a quelli di confronto, ma servono a verificare se due valori sono uguali o meno.

L'operatore == verifica se due valori sono uguali, incluso il tipo del valore. Se i valori sono uguali restituisce true, altrimenti restituisce false. L'operatore == può confrontare qualsiasi tipo di valore con qualsiasi altro tipo di valore. L'operatore != funziona allo stesso modo, ma restituisce true se i valori non sono uguali e false se lo sono.

L'istruzione if

L'istruzione if serve a verificare se una determinata condizione è truthy o falsey. Se la condizione è truthy, il codice dentro l'istruzione if verrà eseguito. Un'istruzione if termina con la parola chiave end.

if 1 == 1
  puts "1 is equal to 1"
end
# => 1 is equal to 1

if 1 > 2
  puts "1 is greater than 2"
end
# => no output

L'istruzione unless

L'istruzione unless funziona in modo molto simile all'istruzione if, ma esegue il codice al suo interno se la condizione è falsey.

unless 1 == 1
  puts "1 is not equal to 1"
end
# => no output

unless 1 > 2
  puts "1 is not greater than 2"
end
# => 1 is not greater than 2

L'istruzione else

L'istruzione else può essere usata insieme alle istruzioni if e unless. L'istruzione else viene eseguita se il ramo if o il ramo unless non viene eseguito.

Anche se un ramo `else` può essere usato insieme a `unless,` è sconsigliato farlo perché riduce la leggibilità.
Al contrario, si consiglia di usare `if !condition` con un ramo else.

if 1 == 1
  puts "1 is equal to 1"
else
  puts "1 is not equal to 1"
end
# => 1 is equal to 1

unless 1 < 2
  puts "1 is not greater than 2"
else
  puts "1 is greater than 2"
end
# => 1 is greater than 2

Le istruzioni «if a cascata»

L'istruzione elsif può essere usata insieme all'istruzione if. L'istruzione elsif viene eseguita se il ramo if non viene eseguito e la condizione dell'istruzione elsif è truthy. Le istruzioni elsif possono essere concatenate tra loro e verrà eseguita la prima condizione truthy. Alla fine dell'istruzione if può esserci anche un'istruzione else, che verrà eseguita se nessuna delle istruzioni precedenti è risultata vera.

if 1 != 1
  puts "1 is not equal to 1"
elsif 1 > 2
  puts "1 is greater than 2"
else
  puts "1 is not equal to 1 and 1 is not greater than 2"
end
# => 1 is not equal to 1 and 1 is not greater than 2

I tipi con i condizionali

Quando si assegnano tipi diversi, la variabile porterà entrambi i tipi. Questo perché il compilatore non sa quale ramo verrà eseguito. Questa assegnazione multipla, nota anche come union, verrà spiegata nei concetti successivi. Lo si può vedere nell'esempio seguente:

if 1 == 1
  a = 1
else
  a = "1"
end

typeof(a) # => Int32 | String

L'operatore ternario

Crystal ha un operatore ternario, un'istruzione if-else su una sola riga: condition ? expression_if_truthy : expression_if_falsey

1 == 1 ? puts("1 is equal to 1") : puts("1 is not equal to 1")
# => 1 is equal to 1