Cos'è un codice irraggiungibile?
Il codice irraggiungibile è un codice di programmazione che non può essere eseguito in nessun contesto. Ci sono una serie di ragioni per cui ciò potrebbe verificarsi e molti linguaggi di computer non consentono l'esecuzione di un programma se una sezione di codice è irraggiungibile. I problemi generati dal codice irraggiungibile possono essere risolti rimuovendo la sezione problematica del codice o riscrivendo parte del codice per rendere nuovamente raggiungibile la sezione.
Quando il software di ingegneria, può essere relativamente facile creare un codice irraggiungibile. Qualsiasi interruzione significativa nel flusso del programma ha il potenziale per causare una sezione di codice che non è raggiungibile. Ad esempio, la creazione accidentale di un ciclo infinito può renderlo tutto il codice che lo viene dopo il non raggiungibile perché non ci sarebbe modo di uscire dal ciclo e continuare il programma. Un altro modo in cui ciò può accadere è se una funzione è codificata per restituire prima che tutto il suo codice venga eseguito. In questo caso, il codice dopo l'istruzione di ritorno sarebbe irraggiungibile.
Esistono due modi in cui è possibile generare codice irraggiungibile. Innanzitutto, gestire in modo improprio le strutture di controllo quando si scrive un codice grezzo può comportare sezioni di codice irraggiungibili. In secondo luogo, gli errori nelle strutture di controllo che non sono evidenti durante il processo di codifica, ma si presentano quando viene eseguito un programma, possono anche causare un codice irraggiungibile. Il primo tipo di errore va da una varietà di nomi, incluso errore di codifica o errore di sintassi, e il secondo tipo di errore è un errore di runtime. Gli errori di codifica sono generalmente catturati da parser o compilatori, ma gli errori di runtime possono essere rilevati testando e eseguendo il programma solo dopo il completamento.
Il codice irraggiungibile è spesso confuso con il codice morto, ma i due sono cose significativamente diverse. Il codice morto è un codice che esegue un particolare calcolo, ma poi non fa nulla con il risultato del calcolo. Questo non è lo stesso del codice irraggiungibile, che non è mai exetagliato affatto. Sia il codice irraggiungibile che quelli morti possono spesso essere rimossi da un programma senza danno, oppure possono essere integrati nel programma prestando un'attenta attenzione al flusso di controllo del programma. Inoltre, il codice sia irraggiungibile che morto può essere rilevato di solito durante la codifica e prima di eseguire un programma.
Nonostante la sua definizione apparentemente terribile, il codice irraggiungibile è spesso relativamente facile da risolvere. La presenza di codice irraggiungibile indica sempre un problema di flusso di controllo, quindi un'attenta analisi del flusso di controllo di un programma di solito identificherà il codice offensivo in breve tempo. Se il flusso di controllo di un programma è attentamente monitorato durante il processo di codifica, la probabilità di generare codice irraggiungibile è molto bassa.