Nullable reference types

A C# 8.0 legnagyobb újdonsága a nullable reference types, ami kicsit félrevezető név.

A referencia típusok eddig is felvehettek null értéket. Ha azt nem kezeltük le, hogy egy referencia null értéket is felvehet és úgy próbáltunk rajta metódust hívni, vagy tulajdonságot lekérdezni/írni, akkor NullReferenceException típusú kivételt kaptunk.

Ez pedig sajnos a "legnépszerűbb" futásidejű hiba típussá nÅ‘tte ki magát az elmúlt jó pár évben. Ez alatt az értendÅ‘, hogy a fejlesztÅ‘k leginkább ilyen kivételekkel találkoznak fejlesztés közben, ha nem jól írják meg a kódjukat. Relatíve nehéz is megtalálni az ilyen hiba eredetét, hisz lehet, hogy egy távoli kódrész meghívása miatt lett null az adott változó értéke, és a hibával jóval késÅ‘bb a használatakor szembesülünk.

Ebben hivatott segíteni a nullable reference types bevezetése. Ez a gyakorlatban azt jelenti, hogy a ? operátort ki kell tennünk referencia típusok esetén, ha azt szeretnénk jelezni, hogy az a változó megengedett, hogy null értéket vegyen fel.

Ebben az esetben, ha elmulasztjuk a null ellenőrzést, akkor már fordítási idejű figyelmeztetést kapunk.

Ha pedig nem jeleztük, hogy a változó null értéket is felvehet, akkor a fordító a változót úgy fogja kezelni, mint ami referencia, de normál körülmények között nem lenne szabad neki null értéket felvennie. Ebben az esetben a null check elmulasztása szintén fordítási idejű figyelmeztetést fog generálni.

Nézzük meg az alábbi példakódot:

using System;

namespace NullableDisabled
{
    public static class Program
    {
        public static void Main(string[] args)
        {
            string s = null;

            Console.WriteLine(s.Length);
        }
    }
}

Ez futási idÅ‘ben NullReferenceException kivételt fog generálni, mert s értéke null. Ha engedélyezzük a nullable reference types használatát, akkor bizony fordításkor már figyelmeztetést kapunk:

A figyelmezetések közül a leghasznosabb, hogy konkrétan már fordítási idÅ‘ben jelzi a fordító, hogy az s.Length hívásakor s értéke null lehet. Továbbá figyelmeztetést kapunk arról is, hogy a változót nem jelöltük meg nullable referenciaként, ennek ellenére null értéket adunk neki.

Engedélyezés

A szolgáltatás alapesetben ki van kapcsolva .NET 6 előtti keretrendszereken. Ennek az oka az, hogy hatékonyan csak a .NET Core 3.0 vagy újabb keretrendszerrel működik.

A másik nagy ok az alapértelmezetten kikapcsolt állapot mellett az, hogy ez egy olyan szolgáltatás, ami a már megírt C# kódok többségénél több száz, vagy ezer fordítási figyelmeztetést okozna. A sok figyelmezetetés között pedig könnyen elvesznének más figyelmeztetések.

A szolgáltatást több módon aktiválhatjuk. Projekt szintű engedélyezéshez a projekt fájlt kell módosítanunk és kiegészítenünk az alábbi xml tagokkal:

  <PropertyGroup>
    <Nullable>enable</Nullable>
  </PropertyGroup>

.NET 6 óta az újonnan létrehozott projektek esetén be van kapcsolva a szolgáltatás és kikapcsolni csak akkor érdemes, ha régen írt kódot kell átemelnünk. Az újonnan létrehozott projektek és kódok esetén azonban sokat tud segíteni ez az annotáció.

Fájl szinten is kontrollálhatjuk a nullable viselkedést. Ehhez "előfeldolgozó" utasításokat definiáltak, amelyek a következők:

#nullable enable

Nullable figyelmeztetések és IntelliSense engedélyezése.

#nullable disable

Nullable figyelmeztetések és IntelliSense kikapcsolása, letiltása.

 #nullable restore

Nullable figyelmeztetések és IntelliSense beállítása a projektben meghatározott alapértelmezésre.

#nullable disable warnings

Nullable fordítási figyelmeztetések letiltása.

#nullable enable warnings

Nullable fordítási figyelmeztetések engedélyezése.

#nullable restore warnings

Nullable fordítási figyelmeztetések beállítása a projektben meghatározott alapértelmezésre.

#nullable disable annotations

Nullable IntelliSense segítségek letiltása.

#nullable enable annotations

Nullable IntelliSense segítségek engedélyezése.

#nullable restore annotations

Nullable IntelliSense segítségek beállítása a projektben meghatározott alapértelmezésre.

Tags Nullable, Reference, Referencia, Types