|
== Tipi ==
Un tipo di dati definisce un insieme di possibili valori e un insieme di operazioni che possono essere applicate su tali valori.
La nozione di Tipo proviene dall'algebra. Un ''tipo di dati'' è costituito da un insieme di valori caraterizzato da un ''Dominio'' (che può essere finito o infinito) e da delle ''Operazioni''. In ambito informatico i Tipi sono sempre caratterizzati da domini Finiti (che possono al massimo essere considerati ''virtualmente'' infiniti). L'insieme dei numeri è un tipo, l'insieme delle parole è un tipo: all'atto pratico il computer ha bisogno di sapere quanta memoria preparare per contenere un dato che ci serve (Un nome di un utente, un punteggio di un gioco, ecc...) e quali operazioni si possono eseguire su di esso (i punteggi si possono sommare, i nomi no).
Nella programmazione a oggetti è fondamentale il concetto di '''classe''', che verrà approfondito più avanti. Per ora ci basta sapere che la classe è un tipo di dato definito dal programmatore a partire da tipi di dati elementari, e che gli oggetti sono istanze di una classe.
Ad esempio, gli oggetti ''fuffi'' e ''pedro'' sono istanze della classe ''Cane'', che definisce quali sono le caratteristiche definibili (nome, altezza, età...) delle sue istanze.
Il Java distingue tra ''tipi base'' (o ''tipi primitivi'') e ''classi''.
*Il linguaggio in sé fornisce otto tipi primitivi (''boolean'', ''byte'', ''char'', ''short'', ''int'', ''long'', ''float'', ''double''), più due tipi particolari, ''void'' e il ''tipo null'' (''nulltype'' in inglese);
*InA aggiuntapartire ada questi, il programmatore può servirsidefinire i propri tipi personalizzati (classi); un programma può fare uso di un numero potenzialmente infinito di classi, definite nella libreria standard o in librerie di terze parti;
*il programmatore non può definire nuovi tipi base, ma solo classi.
Quando si parla di classi, i "valori" possibili sono chiamati ''oggetti''.
Gli array e le stringhe vengono gestiti come oggetti. I caratteri singoli vengono gestiti usando il tipo numerico ''char''.
| 