D fornisce un insieme di tipi base che hanno sempre la stessa
dimensione a presicendere dalla piattaforma.
Unica eccezione è il tipo real, che è dotato della massima precisione
in virgola mobile. Non c'è comunque differenza di dimensioni di un
intero, anche se l'applicazione viene compilata su sistemi a 32 o 64 bit.
| tipo | dimensione |
|---|---|
bool | 8-bit |
byte, ubyte, char | 8-bit |
short, ushort, wchar | 16-bit |
int, uint, dchar | 32-bit |
long, ulong | 64-bit |
| tipo | dimensione |
|---|---|
float | 32-bit |
double | 64-bit |
real | >= 64-bit (generalmente 64-bit, ma 80-bit su piattaforme Intel x86 a 32-bit) |
Il prefisso u indica tipi senza segno. char traduce in caratteri UTF-8,
wchar viene usato nelle stringhe UTF-16 e i dchar
nelle stringhe UTF-32.
Una conversione tra variabili di tipi differenti, viene permessa
dal compilatore solo se non c'è perdita di precisione.
Tuttavia, una coversione tra tipi in virgola mobile (es: da double a float)
è sempre permessa.
Una conversione in un altro tipo può essere forzata usando un espressione
cast(TYPE) myVar. Va usata comunque con molta attenzione, in quanto
l' espressione cast forza il meccanismo dei tipi.
La speciale keyword auto crea una variabile e ne deduce il tipo dalla parte destra
dell' espressione.
auto myVar = 7 assegna automaticamente il tipo int alla variabile myVar.
Notate che il tipo viene assegnato in fase di compilazione e non può essere cambiato. Come
se alla variabile fosse stato espressamente assegnato un tipo.
Tutti i tipi dato hanno una proprietà .init dalla quale vengono inizializzati.
Per gli interi è 0 e per i numeri a virgola mobile è nan (not a number).
I tipi interi e a virgola mobile hanna una proprietà .max che contiente il massimo
valore che riescono a rappresentare.
I tipi interi hanno anche una proprietà .min per il valore più piccolo, mentre i numeri a
virgola mobile hanno un .min_normal che è definito come il valore più piccolo rappresentabile
diverso da 0.
I numeri a virgola mobile prevedono anche una proprietà .nan (NaN - Not a Number), e .infinity
(valori infiniti), .dig (numero di cifre di precisione decimale), .mant_dig
(numero di bit per mantissa) e altre.
Ogni tipo prevede inoltre una proprietà .stringof che tramuta il suo valore in una striga.
In D, gli indici tipicamente hanno un tipo alias size_t, perché è un tipo grande abbastanza per rappresentare l' offset all'interno della memoria indicizzabile - che è il
uint per le architetture a 32-bit e l' ulong per quelle a 64-bit.
assert è un'espressione che verifica la presenza di condizioni nella modalità di debug e gli abort
con AssertionError in caso di fallimenti.
assert(0) viene usato per contrassegnare codice irraggiungibile.
