C# razlikuje med tipi, ki lahko vsebujejo , in tistimi, ki ga ne morejo. () omogočajo vrednostnim tipom, da vsebujejo null, (značilnost prevajalnika) pomagajo zaznati null napake, in (, , ) naredijo delo z morebitno null vrednostmi čisto in varno — naslovljejo problem, ki je splošen pri null referencah.
nullint??.??!int x = 5; // a value type — CANNOT be null
int? y = null; // int? = Nullable<int> — CAN be null
if (y.HasValue) { int val = y.Value; } // check + access
int z = y ?? 0; // default if null
Vrednostni tipi običajno ne morejo biti null, vendar int? (Nullable<int>) to dovoljuje — pogosto za izbirne/manjkajoče podatke (npr. nullable stolpec baze podatkov).
#nullable enable // (on by default in modern projects)
string name = null; // ⚠️ warning — string is non-nullable by default now
string? maybe = null; // ✅ string? explicitly allows null
void Use(string? s) {
Console.WriteLine(s.Length); // ⚠️ warning — s might be null (must check first)
}
Ko so omogočeni nullable referenčni tipi, prevajalnik sledi katerim referencam je mogoče biti null (string?) v primerjavi s tistimi, ki niso (string) in opozori ko bi morda lahko dali dereferenco null — tako da ujete NullReferenceException napake ob času prevajanja. To je glavna moderna varnostna značilnost C#.
// ?. null-conditional — short-circuits to null instead of throwing
int? len = user?.Name?.Length; // null if user or Name is null (no exception)
user?.DoSomething(); // only calls if user isn't null
// ?? null-coalescing — provide a default
string name = input ?? "Anonymous";
name ??= "fallback"; // assign if currently null
// ! null-forgiving — assert non-null (suppress the warning; use carefully)
string definitelyNotNull = maybe!; // "I know it's not null" — no runtime check
Operator null-pogojnega dostopa (?.) varno dostopa do članov morebitno null vrednosti (vrne null namesto da bi vrgl izjemo), in ?? zagotovi privzete vrednosti — skupaj naredita upravljanje null vrednosti čisto in varno.
Upravljanje null vrednosti je eden najpomembnejših vidikov pisanja robustnega C#, ker je NullReferenceException ("napaka vredno milijarde dolarjev") ena najpogostejših napak časa izvajanja — in nullable tipi in operatorji C# to direktno naslavljajo, kar jih naredi bistvenim znanjem. Nullable vrednostni tipi (int?) so praktično nujni za predstavitev izbirnih/manjkajočih podatkov (nullable polja baze podatkov, izbirne vrednosti).
Značilnost nullable referenčnih tipov (zdaj privzeta v sodobnih .NET projektih) je glavno varnostno izboljšanje: z tem da prevajalnik sledi in opozori na mogoče null dereference, ujame celoten razred null napak ob času prevajanja namesto kot padce med izvajanjem — pomembna prednost zanesljivosti, ki bi jo morali razumeti in slediti.
Operatorji za upravljanje null vrednostmi so vsakodnevna orodja, ki naredijo delo z morebitno null vrednostmi čisto in varno: operator null-pogojnega dostopa (?.) varno navigira morebitno null verige (vrne null namesto da bi vrgl), ??/??= zagotovijo privzete vrednosti na jedrnat način, in ! trdi ne-null (uporabiti jih je treba previdno).
Razumevanje nullable vrednostnih tipov, varnostne značilnosti nullable referenčnih tipov in null-operatorjev (?., ??, !) je pomembno za pisanje null-varnega, robustnega C#, ki se izogiba razširjenem NullReferenceException — pogost, praktično kritičen problem.
Ker so null-povezane napake tako pogoste in C# zagotavlja močna orodja (posebej preverjanje null-vrednosti ob času prevajanja) za njihovo preprečevanje, obvladovanje nullable tipov in null operatorjev je temeljno, mora-znati znanje za pisanje zanesljive sodobne C#.