7 Tipi variabili ed espressioni

La struttura di un programma

Un programma è costituito da una collezione di algoritmi (in Java metodi), ognuno dei quali risolve uno specifico problema; un metodo è costituito da:

• Intestazione: descrive come l'algoritmo si presenta e ne regola l'uso;
• Corpo: ne determina l'esatto comportamento.

Esso ha la seguente struttura sintattica:

<algoritmo> ::= <intestazione>{<corpo>}

In Java il corpo di un metodo è una sequenza di istruzioni di due tipi:

• Dichiarazioni: con l'intestazione, descrivono l'ambiente di lavoro, ovvero la collezione dei dati su cui lavorare;
• Comandi: determinano come vanno impiegati i dati disponibili.

Come vengono immagazzinate le informazioni

Le informazioni elaborate dagli algoritmi risiedono nella memoria della macchina come dati numerici. Tuttavia, lavorare direttamente con le codifiche numeriche e con la memoria può rivelarsi complesso, perciò i linguaggi di programmazione "ad alto livello" lavorano attraverso un'astrazione quasi matematica, introducendo variabili, tipi, strutture dati.

I dati nella memoria

I dati sono memorizzati in forma numerica e contenuti in una o più celle di memoria: per accedervi è necessario conoscere:

• Posizione o indirizzo;
• Dimensione (numero di celle usate);
• Codifica adoperata.

I linguaggi ad alto livello adoperano le variabili per nascondere questi dettagli: una variabile è un'associazione tra simbolo (rappresentato da un identificatore) e locazione (insieme di celle di memoria contigue). Essa è caratterizzata da:

• Un identificatore: nome che permette di riferirsi in modo univoco alla variabile;
• Un indirizzo: indica la posizione della locazione di memoria;
• Il valore: il contenuto nella locazione di memoria stessa;
• Il tipo: che intuitivamente è l'insieme dei valori che una particolare variabile può assumere. È un insieme di possibili valori, per esempio numeri interi, razionali, valori di verità, caratteri, etc.

Si parla di Tipo di Dato Astratto (ADT) per intendere un tipo caratterizzato da:

• Dominio: insieme di possibili valori per quel tipo;
• Collezione di funzioni che rappresentano le operazioni e le proprietà applicabili ai valori del dominio.

Tipi di dati primitivi e strutturati

In un linguaggio di programmazione ad alto livello sono presenti due "generi" di tipi:

• Primitivi: sono i tipi fondamentali del linguaggio già pronti per l'uso;