Spesso quando si programma si incorre in alcuni errori, molti facili da individuare, altri invece vengono individuati dal programmatore più difficilmente.
Prima di descrivere gli errori semantici, sintattici, e logici vediamo il significato delle parole che compongono il titolo di questo articolo.
Che cosa vuol dire semantica? La semantica è il senso, il significato di un qualcosa.
Ipotizziamo dunque di avere un espressione del genere 4/0. Questa espressione genererà errore a run-time poichè priva di senso. Infatti è impossibile che il divisore sia 0.
Gli errori sintattici sono errori che derivano dalla sintassi scorretta. Anche in italiano scrivendo: “Mi ghiamo giovanni” possiamo dedurre che la frase presenta degli errori sintattici, che non rispettano quindi la “sintassi” italiana. In java un esempio di errore sintattico potrebbe essere “rintln” anzichè “print”.
Veniamo adesso agli errori logici, i più difficili da individuare. Se compiliamo un programma e il compilatore non individua nessun errore ciò non significa che il nostro programma sia “logicamente” corretto, infatti in molti casi quello che è il risultato finale non combacia con ciò che ci aspettavamo ad esempio:
Devo creare un programma che divida un numero intero per 5:

.....
....
B Donna Verde Kelly amp;C Corta Polo Manica a rvXrfO ....
int a= 25;
Harem Multi Monocromo Tasca Accogliente Con Coulisse A marca Bendare Donna Estivi Slim Rosa In Matita Pantaloni Pantaloni Mode Eleganti Interna Pantaloni Alta Vita di Fit Pantaloni Outdoor Primaverile
System.out.println(a*5);
....
...
Outdoor Slim Estivi Accogliente Pantaloni Donna Con Rosa Coulisse Pantaloni Tasca Pantaloni Vita Primaverile A marca Multi Mode In Harem Fit Monocromo Alta Pantaloni Matita Eleganti Interna Bendare di

Come possiamo notare il risultato sarà 50 in quel caso specifico e non 5. Siamo quindi di fronte ad un errore logico.
N.B. gli errori logici sono i più difficili da individuare poichè il compilatore non ha alcun motivo di segnalarli visto che il programma è semanticamente e sintatticamente giusto e quindi sta al programmatore individuarli.

Standard