Nullreferensfel

Nullreferensfel är ett körtidsfel som uppstår när ett program försöker använda en referens som är null, det vill säga utan tilldelat objekt, som om den pekade på ett giltigt objekt. Vanligt är att felet uppstår vid dereferering av en nullpekare, när en metod anropas på en nullreferens eller när ett fält används genom en referens som saknar objekt. Fenomenet förekommer i de flesta programmeringsspråk och kan leda till att programmet kraschar eller att ett undantag kastas om det inte hanteras.

Orsakerna varierar men är ofta kopplade till osäker hantering av objektets livscykel. Exempel är objekt som inte blivit initialiserade, data som tas emot från användare eller externa källor som kan vara null, bristande null-kontroller före tillgång till objekt eller felaktig programlogik som lämnar referenser i ett oanvänt eller tidigare frigjort läge.

Konsekvenserna kan vara betydande: programmet får ett oväntat avbrott, undantag hanteras felaktigt eller inte alls, vilket kan leda till störningar i funktionalitet, säkerhetsrisker eller inkonsekvent programbeteende. I många miljöer är felet upphöjt till en specifik expection, såsom NullPointerException i Java eller NullReferenceException i C#.

Språk och praktiker varierar i hur de hanterar nullreferensfel. Vissa språk erbjuder nullable/non-nullable typer eller optionals för att uttryckligen hantera närvaro eller frånvaro av värden. Andra språkliga lösningar inkluderar defensiv programmering, tydliga konstruktorer som försäkrar icke-nullresultat, användning av Optional/Option-typer, tidig avbrott genom guard-satser och statisk analys för att upptäcka möjliga null-scenarier innan körning.