Errori Debug

Chi programma sbaglia di continuo: è normale. Conta saper riconoscere il tipo di errore, perché da quello dipende dove cercare.

Un punto e virgola dimenticato:

#include <stdio.h>

int main(void)
{
    int x = 10
    printf("%d\n", x);
    return 0;
}

err1.c: In function 'main':
err1.c:6:5: error: expected ',' or ';' before 'printf'
    6 |     printf("%d\n", x);
      |     ^~~~~~

Il messaggio indica file (err1.c), riga (6), colonna (5), il tipo (error) e la spiegazione. Nota che il compilatore segnala la riga 6, mentre il punto e virgola manca alla riga 5: l'errore si scopre solo quando arriva l'istruzione successiva. Se la riga indicata sembra corretta, guarda quella precedente.

Un nome scritto male:

#include <stdio.h>

int main(void)
{
    int numero = 4;
    printf("Il doppio vale %d\n", nmero * 2);
    return 0;
}

err2.c: In function 'main':
err2.c:6:35: error: 'nmero' undeclared (first use in this function); did you mean 'numero'?
    6 |     printf("Il doppio vale %d\n", nmero * 2);
      |                                   ^~~~~
      |                                   numero

nmero non è stato dichiarato; gcc propone anche il nome simile numero. I messaggi qui riportati sono quelli di gcc 13 in inglese; il testo può variare leggermente tra versioni.

#include <stdio.h>

int main(void)
{
    float prezzo = 9.5f;
    printf("Prezzo: %d\n", prezzo);
    return 0;
}

err3.c: In function 'main':
err3.c:6:22: warning: format '%d' expects argument of type 'int', but argument 2 has type 'double' [-Wformat=]
    6 |     printf("Prezzo: %d\n", prezzo);
      |                     ~^     ~~~~~~
      |                      |     |
      |                      int   double
      |                     %f

Il programma si compila, ma %d con un float stampa un valore privo di senso. Il warning ti ha avvisato prima ancora di eseguire il programma: per questo si compila sempre con -Wall -Wextra e si tratta ogni warning come un errore da correggere.

Errore a runtime. Questo programma si compila senza problemi, ma se l'utente inserisce 0 come divisore si interrompe:

#include <stdio.h>

int main(void)
{
    int a, b;

    printf("Dividendo: ");
    scanf("%d", &a);
    printf("Divisore: ");
    scanf("%d", &b);
    printf("Risultato: %d\n", a / b);
    return 0;
}

Il C non controlla i dati al posto tuo: la divisione intera per zero termina il programma (su Linux la shell mostra un messaggio come Floating point exception). Imparerai a prevenire il problema con le condizioni.

Errore logico. Qui la media di 8 e 6 dovrebbe valere 7:

#include <stdio.h>

int main(void)
{
    int a = 8, b = 6;
    float media = a + b / 2;

    printf("Media: %.1f\n", media);
    return 0;
}

Media: 11.0

Nessun avviso, ma il risultato è sbagliato: b / 2 viene calcolato prima della somma. La correzione è (a + b) / 2.0.

Come si cercano gli errori logici:

• inserisci dati di cui conosci già il risultato e confronta;
• aggiungi printf di controllo che mostrino i valori intermedi delle variabili;
• spiega il codice a voce, riga per riga (rubber duck debugging);
• usa il debugger di VS Code: un breakpoint ferma il programma e ti fa vedere le variabili passo dopo passo.

da_correggere.c: In function 'main':
da_correggere.c:6:5: error: expected '=', ',', ';', 'asm' or '__attribute__' before 'float'
    6 |     float media;
      |     ^~~~~
da_correggere.c:11:18: error: 'b' undeclared (first use in this function)
   11 |     scanf("%d", &b);
      |                  ^
da_correggere.c:11:18: note: each undeclared identifier is reported only once for each function it appears in
da_correggere.c:13:5: error: 'mdia' undeclared (first use in this function)
   13 |     mdia = a + b / 2.0;
      |     ^~~~
da_correggere.c:14:27: error: 'media' undeclared (first use in this function)
   14 |     printf("Media: %d\n", media);
      |                           ^~~~~

da_correggere.c: In function 'main':
da_correggere.c:13:5: error: 'mdia' undeclared (first use in this function); did you mean 'media'?
   13 |     mdia = a + b / 2.0;
      |     ^~~~
      |     media
da_correggere.c:13:5: note: each undeclared identifier is reported only once for each function it appears in
da_correggere.c:14:21: warning: format '%d' expects argument of type 'int', but argument 2 has type 'double' [-Wformat=]
   14 |     printf("Media: %d\n", media);
      |                    ~^     ~~~~~
      |                     |     |
      |                     int   double
      |                    %f

da_correggere.c: In function 'main':
da_correggere.c:14:21: warning: format '%d' expects argument of type 'int', but argument 2 has type 'double' [-Wformat=]
   14 |     printf("Media: %d\n", media);
      |                    ~^     ~~~~~
      |                     |     |
      |                     int   double
      |                    %f

Primo numero: 7
Secondo numero: 8
Media: 11.0

Primo numero: 7
Secondo numero: 8
Media: 7.5

#include <stdio.h>

int main(void)
{
    int a, b;
    float media;

    printf("Primo numero: ");
    scanf("%d", &a);
    printf("Secondo numero: ");
    scanf("%d", &b);

    media = (a + b) / 2.0;
    printf("Media: %.1f\n", media);
    return 0;
}

1. Qual è la differenza tra un errore di compilazione e un errore logico?
2. Perché conviene correggere prima il primo errore segnalato?
3. Perché il compilatore può segnalare una riga diversa da quella in cui hai sbagliato?
4. A che cosa servono le opzioni -Wall e -Wextra?
5. Quali tecniche puoi usare per trovare un errore logico?

• Gli errori possono essere di compilazione, di collegamento, a runtime o logici; i warning segnalano codice sospetto.
• I messaggi di gcc indicano file, riga, colonna e causa.
• Si corregge un errore alla volta, partendo dal primo, e si ricompila.
• Gli errori logici si scoprono confrontando il risultato con quello atteso.