Annotazione di tipi
Mediante l'inserimento di un'annotazione di tipo in una funzione si specifica un tipo obbligatorio di argomenti di funzione, un tipo obbligatorio di dati restituiti o un tipo obbligatorio di entrambi. Se i parametri di una funzione non vengono specificati mediante annotazione del tipo, saranno di tipo Object. Analogamente, se il tipo restituito da una funzione non viene specificato, sarà il compilatore a desumere il tipo restituito appropriato.
Utilizzo di un'annotazione di tipo
L'annotazione del tipo dei parametri di funzione consente di garantire che la funzione accetti solo i dati che è in grado di elaborare. Dichiarando in modo esplicito un tipo restituito da una funzione si migliora la leggibilità del codice, dal momento che si rende immediatamente chiaro il tipo di dati che sarà restituito dalla funzione.
Nell'esempio riportato di seguito viene illustrato l'utilizzo dell'annotazione di tipo sia dei parametri che del tipo restituito dalla funzione.
// Declare a function that takes an int and returns a String.
function Ordinal(num : int) : String{
switch(num % 10) {
case 1: return num + "st";
case 2: return num + "nd";
case 3: return num + "rd";
default: return num + "th";
}
}
// Test the function.
print(Ordinal(42));
print(Ordinal(1));
L'output del programma è il seguente:
42nd
1st
Se viene passato alla funzione Ordinal un argomento che non può essere assegnato forzatamente a un tipo integer, verrà generato un errore di mancata corrispondenza del tipo. L'espressione Ordinal(3.14159), ad esempio, non produrrà alcun esito.