I tipi (parte prima)

Nelle sezioni precedenti del corso abbiamo visto, in particolare nelle sezioni che spiegavano gli operatori, cose come Integer, String, Boolean. Si tratta dei tipi di dati. Un tipo è essenzialmente un nome che identifica un particolare genere di dati. Un tipo determina anche il range di valori validi per quel tipo. Quando si definisce una variabile si deve specificarne il tipo.

L’Object Pascal è un linguaggio fortemente tipizzato. Ciò significa che distingue un gran numero di dati. Solitamente, questa caratteristica permette al compilatore di trattare i dati in maniera intelligente e di poter rilevare degli errori in fase di compilazione che altrimenti sarebbero difficili da diagnosticare.

Esistono diversi tipi di dati in Object Pascal; questi sono organizzati in tipi fondamentali (definiti direttamente dal linguaggio), generici, predefiniti e definiti dall’utente.

I tipi fondamentali sono implementati direttamente nel linguaggio Object Pascal; i loro formati e intervalli di validità sono gli stessi in tutte le implementazioni e sono indipendenti dalla CPU e dal sistema operativo. I tipi generici invece, possono variare da un’implementazione all’altra e sono specifici della piattaforma. È consigliabile l’utilizzo dei tipi generici in quanto facilitano il porting tra piattaforme differenti.

I tipi predefiniti sono automaticamente riconosciuti dal compilatore e non hanno necessità di essere dichiarati.

I tipi Object Pascal possono essere classificati come segue: simple, string, structured, pointer, procedural, variant.

I tipi Simple

I tipi simple definiscono insiemi ordinati di valori. Appartengono a questa categoria di tipi, i tipi ordinal e real.

I tipi ordinal

I tipi ordinal definiscono insiemi ordinati di valori in cui tutti i valori hanno un predecessore ed un successore univoci ad esclusione del primo valore e dell’ultimo. Sono tipi ordinal i tipi integer, boolean, character, subrange.

Ogni valore è caratterizzato da una ordinalità che ne determina l’ordinamento nel tipo. Solamente per il tipo integer l’ordinalità corrisponde con il valore stesso. In tutti gli altri tipi, ad esclusione del subrange, il primo valore ha ordinalità 0, successivo 1 e così a seguire. Delphi, o meglio l’Object Pascal, mettono a disposizione diverse funzioni predefinite che permettono di lavorare sulla ordinalità di questa categoria di tipi.

Le più importanti tra queste sono le seguenti:

Vediamo alcuni esempi: High(Byte) restituisce 255 in quanto il valore più alto del tipo è 255; Succ(4) è 5 poiché 5 è il successore di 4.

Esistono due funzioni deifnite in Object Pascal che che si usano per incrementare e decrementare il valore di una variabile ordinal e sono Inc e Dec. La prima incrementa il valore ed equivale al Succ del valore stesso, la seconda lo decrementa ed equivale al Pred del valore indicato.

I tipi Integer

I tipi Integer sono un sottoinsieme dei numeri interi. Esistono vari tipi di interi in Object Pascal che si differenziano per intervallo di valori rappresentabili e per formato. Per quanto riguarda i tipi interi generici abbiamo il tipo Integer e Cardinal. I tipi integer fondamentali sono: Shortint, Smallint, Longint, Int64, Byte, Word, Longword. Nella tabella seguente sono riportate le differenze tra i tipi menzionati.

Incrementando l’ultimo valore o decrementando il primo valore di un tipo integer il risultato sconfina all’inizio od alla fine dell’intervallo valido per quel tipo. Ad esempio, nel caso del tipo Byte che ha come intervallo 0..255 l’esecuzione del codice

var I : Byte;

…

I := High(Byte);

I := I + 1;

assegna ad I il valore 0. Da notare che se è stato attivato il controllo sugli intervalli, il codice precedente genererà un errore di runtime.

I tipi character

Fanno parte dei tipi ordinal anche i tipi character i cui tipi fondamentali sono AnsiChar e WideChar. Gli AnsiChar sono caratteri che occupano un byte (8 bit) mentre i tipi WideChar sono caratteri che occupano due byte ovvero una word (16 bit). Il rpimo tipo è ordinato secondo il set di caratteri esteso ANSI mentre il secondo è ordinato secondo il set UNICODE i cui primi 256 caratteri corrispondono ai caratteri ANSI.

Il tipi generico è Char che nell’implementazione corrente equivale ad AnsiChar.

Esistono anche per questo tipo delle funzioni predefinite dell’Object Pascal come la Chr che restituisce il carattere associato ad un intero compreso nell’intervallo AnsiChar o WideChar. Ad esempio Chr(65) restituisce ‘A’. Come per tutti i tipi ordinali, è possibile applicare al tipo character la funzione predefinita Ord che restituisce l’ordinale del valore character. Ad esempio, riprendendo l’esempio precedente, Ord(‘A’) restituisce 65 che è appunto l’ordinalità del carattere ‘A’ all’interno di AnsiChar o WideChar.

Valgono anche per i tipi character gli sconfinamenti come visto per i tipi integer.

I tipi Boolean

I tipi boolean predefiniti sono quattro e sono: Boolean, ByteBool, WordBool e LongBool. Si utilizza preferibilmente il tipo boolean mentre gli altri esistono per compatibilità con altri linguaggi e con l’ambiente Windows.

Una variabile boolean equivale a ByteBool ed occupa un byte (8 bit) mentre una WordBool occupa due byte (16 bit) ed una LongBool due word (32 bit). L’intervallo di valori per questo tipo è composto da due costanti predefinite che sono true e False.

Un valore boolean viene considerato true quando la sua ordinalità è diversa da zero. Da notare che se questo valore compare in un contesto in cui è atteso un valore boolean, questo viene automaticamente convertito dal compilatore in true la dove la sua ordinalità sia diversa da 0.

I tipi Enumerated

Il tipo enumerated serve a definire insiemi ordinati di valori. Da notare che l’ordinalità di questi valori segue l’ordine con cui sono stati elencati i valori al momento della dichiarazione del tipo.

Per dichiarare un tipo enumerated si utilizza la seguente sintassi

Type EnumeratedTypeName = (val1, val2, …, valn);

Un esempio pratico potrebbe essere la dichiarazione di un tipo enumersto “Seme” in un gioco di carte

Type Seme = (Cuori, Quadri, Fiori, Picche);

Nel caso del nostro esempio, i valori validi per il tipi “Seme” da noi dichiarato sono: Cuori, Quadri, Fiori, Picche. In pratica quando si dichiara un tipo enumerated si dichiarano delle costanti (val) del tipo enumerated dichiarato (EnumeratedTypeName). Sempre facendo riferimento al nostro esempio, Cuori, Quadri, Fiori, Picche sono costanti di tipo Seme.

Bisogna fare attenzione, al momento della dichiarazione del tipo,  a non utilizzare, per gli identificatori dei valori, nome che possano andare in conflitto con altri nomi dichiarati nello stesso campo d’azione. Ad esempio, dichiarando un tipo

Type TSound = (Click, Clack, Clock);

ed utilizzando il valore Click come nel codice seguente, si verificherà un conflitto di nome; questo perché Click è anche il nome di un metodo della classe TControl e di tutti i sui discendenti (nel senso degli oggetti che discendono da esso!).

Procedure TForm1.Edit1Exit(Sender : TObject);

Var Snd : TSound;

Begin

…

Snd := Click;

…

End;

Si può aggirare questo tipo di inconveniente facendo riferimento al valore Click qualificandolo con il nome della unit in cui è stato dichiarato. Ammettiamo che il tipo TSound sia dichiarato nella unit SoundFuncs, si potrebbe utilizzare il seguente codice

Snd := SoundFuncs.Click;

Comunque, benché sia possibile utilizzare il codice precedente, si consiglia di cercare di definire, per i valori dei tipi eneumerated, dei nomi che non entrino in conflitto con altri identificatori. Una buona pratica è quella di anteporre al nome del valore enumerated le iniziali del nome del tipo enumerated. Nell’esempio precedente abbiamo dichiarato un tipo TSound; possiamo ridefinire i nomi dei suoi valori anteponendo “ts” al loro nome in questo modo

Type TSound = (tsClick, tsClack, tsClock);

Come anche

Type TMyType = (mtVal1, mtVal2, mtVal3);

I tipi Subrange

Come dice il nome stesso, questi tipi identificano dei sottoinsiemi di valori appartenenti ad un altro tipo ordinale che viene definito tipo base. Per definire un tipo subrange, si utilizza la seguente sintassi

Type SubrangeTypeName = Low..High;

dove Low ed High appartengono allo stesso tipo ordinal e Low è minore di High. Questo costrutto definisce quel sottoinsieme di valori compresi tra Low ed High.

Per esempio

Type PrimiDieciNumeri = 1..10;

definisce un tipo subrange di nome PrimiDieciNumeri che conterrà i valori 1, 2, 3, 4, 5, 6, 7, 8, 9, 10.

Non valgono per questo tipo gli sconfinamenti visti per i tipi precedenti.