Categoria
Articoli tecnici organizzati per gruppo funzionale.
Si verifica quando si applica l'operatore di indicizzazione '[index]' a una variabile che è un tipo scalare primitivo (come un intero 'int x;' o float) anziché un array o un puntatore a memoria.
Il compilatore rileva due tipi accostati (es. 'int' e 'char'); la causa classica è la dimenticanza del punto e virgola ';' dopo la graffa di chiusura di una dichiarazione di struct in un file header immediatamente precedente.
Il compilatore non riconosce un tipo di dato: accade comunemente quando non si include <stdint.h> per tipi come uint32_t/int64_t, <stdbool.h> per 'bool', oppure se si omette la parola chiave 'struct' prima del nome di una struttura.
Quando si esegue uno 'switch' su una variabile di tipo enumerazione ('enum'), il compilatore segnala se uno dei valori enumerati è stato omesso e non è presente una clausola 'default:' di sicurezza.
Gli array a dimensione variabile (VLA, la cui dimensione è determinata a runtime da una variabile 'int n; int arr[n];') non possono essere inizializzati contestualmente con una lista tra graffe ('= {0};'); devono essere azzerati con 'memset()'.
Il codice tenta di assegnare il valore restituito da una funzione dichiarata con tipo di ritorno 'void' ('void func(); int x = func();') o di utilizzarlo come argomento in un'espressione matematica.
Dichiarare e definire una variabile globale ('const Config cfg = {...};' non-const o oggetto non banale) direttamente in un header file causa definizioni duplicate in ogni unità di traduzione; in C++17 si risolve dichiarandola 'inline Config cfg = {...};'.
Il linker ld analizza le librerie statiche in un singolo passaggio sequenziale da sinistra a destra; se 'libA.a' dipende da 'libB.a' e viceversa, i simboli non vengono risolti a meno di ripetere le librerie o racchiuderle tra '-Wl,--start-group' e '-Wl,--end-group'.