CORSO C++ STANDARD - Didattica.it

typeid typename union unsigned
using virtual void volatile
wmain while
Dichiarazione obbligatoria degli identificatori
In C++ tutti gli identificatori di un programma devono essere dichiarati prima
di essere utilizzati (non necessariamente all'inizio del programma), cioè deve
essere specificato il loro tipo. Per dichiarare un identificatore bisogna scrivere
un'istruzione apposita in cui l'identificatore è preceduto dal tipo di
appartenenza. Es.
int Variabile_Intera;
Più identificatori dello stesso tipo possono essere dichiarati nella stessa
istruzione e separati l'uno dall'altro da una virgola. Es.
int ore, giorni, mesi;
Definizione obbligatoria degli identificatori
Un'istruzione di dichiarazione si limita ad informare il compilatore del C++ che
un certo identificatore appartiene a un certo tipo, ma può non essere
considerata in fase di esecuzione del programma. Quando una dichiarazione
comporta anche un'operazione eseguibile, allora si dice che è anche una
definizione.
Per esempio, l'istruzione: extern int error_number;
è soltanto una dichiarazione, in quanto (come vedremo più avanti) con lo
specificatore extern informa il compilatore (o meglio il linker) che la variabile
error_number è definita in un altro file del programma (e quindi l'istruzione
serve solo ad identificare il tipo della variabile e a permetterne l'utilizzo);
mentre l'istruzione: int error_number;
è anche una definizione, in quanto non si limita ad informare il compilatore che
la variabile error_number è di tipo int, ma crea la variabile stessa, allocando
un'apposita area di memoria.
Per meglio comprendere la differenza fra dichiarazione e definizione, si
considerino le seguenti regole:
• tutte le definizioni sono anche dichiarazioni (ma non è vero il
contrario);
• deve esserci una ed una sola definizione per ogni identificatore che
appare nel programma (o meglio, per ogni identificatore che appare in
uno stesso ambito, altrimenti si tratta di identificatori diversi, pur
avendo lo stesso nome), mentre possono esserci più dichiarazioni
(purchè non in contraddizione fra loro);