C# je statično tipizirani jezik — spremenljivke imajo tip, ki je znan v času prevajanja. Spremenljivko lahko deklariraš z eksplicitnim tipom ali uporabiš var za sklepanje tipa (prevajalnik dedukuje tip iz vrednosti), vendar je v obeh primerih tip fiksiran.
count = ;
name = ;
price = ;
active = ;
age = ;
message = ;
items = List<>();
var sklepa tip iz inicijalizatorja — var age = 30 je natanko enako int age = 30. Ključno je, da je var še vedno statično tipiziran: tip je fiksiran v času prevajanja (später ne moreš dodeliti niza spremenljivki age); le sklepan je, ne dinamičen.
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
Uporabi var, ko je tip očiten na desni strani (zmanjšuje odvečnost, še posebej s dolgimi generičnimi tipi); uporabi eksplicitne tipe, ko to izboljšuje razumljivost.
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
Razumevanje deklaracije spremenljivk in var je temeljno vsakodnevno znanje C#.
Ključna konceptualna poanta je, da je var sklepanje tipa, ne dinamično tipiziranje — pogosta napačna predstava.
S var prevajalnik dedukuje tip iz inicijalizatorja, vendar je tip še vedno fiksiran v času prevajanja (dobiš vse prednosti statičnega tipiziranja — preverjanje tipov, IntelliSense, zmogljivost), le da ne pišeš imena tipa eksplicitno.
To naredi var priročnostjo za berljivost (posebej z besednimi generičnimi tipi kot Dictionary<string, List<int>>) namesto rahljanja sistema tipov.
Znanje, kdaj uporabiti var (ko je tip očiten z desne strani, kar zmanjšuje odvečnost) v primerjavi z eksplicitnimi tipi (ko to izboljšuje razumljivost), skupaj s vgrajenimi tipi (predvsem decimal za denar — natančna decimalna aritmetika, za razliko od double), konstante (const, readonly), je vsakodnevno znanje za pisanje C#.
Razumevanje, da je C# statično tipiziran povsod (ne glede na to, ali napišeš tip ali uporabiš var), in idiome okrog deklaracije spremenljivk, je temeljno za branje in pisanje čistega, pravilnega koda C#, in poanta, da var ni dinamičen, je pogosta razjasnitev, ki odraža pravilno razumevanje jezika.