C# è staticamente tipizzato — le variabili hanno un tipo noto al momento della compilazione. È possibile dichiarare una variabile con un tipo esplicito o utilizzare var per l'inferenza del tipo (il compilatore deduce il tipo dal valore), ma in ogni caso il tipo è fisso.
count = ;
name = ;
price = ;
active = ;
age = ;
message = ;
items = List<>();
var deduce il tipo dall'inizializzatore — var age = 30 è esattamente come int age = 30. Crucialmente, var è comunque staticamente tipizzato: il tipo è fisso al momento della compilazione (non è possibile assegnare successivamente una stringa a age); è semplicemente dedotto, non dinamico.
var x = 5;
x = "hi"; // ❌ compile error — x is an int, can't become a string
var y; // ❌ error — var needs an initializer to infer from
var user = new UserService(); // ✅ type is obvious from the right side — var is clean
var count = users.Count;
int total = CalculateComplexValue(); // explicit when the type isn't obvious aids readability
Utilizza var quando il tipo è ovvio dal lato destro (riduce la ridondanza, soprattutto con tipi generici lunghi); utilizza tipi espliciti quando aiuta la chiarezza.
const double Pi = 3.14159; // compile-time constant (can't change)
readonly int id; // set once (in constructor), then immutable
int a = 1, b = 2; // multiple of the same type
nint nativeInt; // platform-sized integer
int, long, short, byte integers
float, double, decimal floating point (decimal for money — exact)
bool, char, string boolean, character, text
object the base of all types
Comprendere la dichiarazione di variabili e var è una conoscenza fondamentale di C# quotidiana.
Il punto concettuale chiave è che var è inferenza del tipo, non tipizzazione dinamica — un'idea sbagliata comune.
Con var, il compilatore deduce il tipo dall'inizializzatore, ma il tipo è comunque fisso al momento della compilazione (si ottengono tutti i vantaggi della tipizzazione statica — controllo del tipo, IntelliSense, prestazioni), solo senza scrivere il nome del tipo esplicitamente.
Questo rende var una comodità per la leggibilità (soprattutto con tipi generici verbosi come Dictionary<string, List<int>>) piuttosto che un allentamento del sistema dei tipi.
Sapere quando utilizzare var (quando il tipo è ovvio dal lato destro, riducendo la ridondanza) rispetto ai tipi espliciti (quando aiuta la chiarezza), insieme ai tipi built-in (in particolare decimal per denaro — aritmetica decimale esatta, a differenza di double), costanti (const, readonly), è una conoscenza quotidiana per scrivere C#.
Comprendere che C# è staticamente tipizzato ovunque (sia che si scriva il tipo sia che si utilizzi var), e gli idiomi attorno alla dichiarazione di variabili, è fondamentale per leggere e scrivere codice C# pulito e corretto, e il punto che var non è dinamico è un chiarimento frequente che riflette una corretta comprensione del linguaggio.