A nullable típus ha éték típus, akkor miért van az, hogy hozzárendelhető a null? (c#)

A nullable típusok structok .NET-ben (Nullable<T>). A structok pedig value typeok. A nullable változók isgazából sosem lehetnek nullok, pl ha ezt írod, akkor nem fog exceptiont dobni:

int? a = null;

if (a.HasValue)

{

// a null, mégis működik

}

Csak a fordító olyan okos, hogyha azt írod, hogy a == null, akkor ahelyett azt fogja értneni, hogy !a.HasValue

Kényelmi okokból. Hogy nem kelljen azt írnod, hogy:

i.HasValue = false

Ettől ez még egy struct, aminek nem lehet null az értéke.

Pont ezért nem száll el az i.HasValue hívás. Ha ez egy objektum lenne, akkor elszállna NullReferenceException-nel