La clave para entender qué significa null!
es entender el operador !
, todos estamos acostumbrados a usarlo como negación, pero desde c#-8.0 puede ser usado para controlar Nulabilidad.
¿Qué es el operador !
cuando es usado en un tipo?
El operador !
, cuando es usado en un tipo, se llama Null Forgiving Operator, fué introducido en c#-8.0
Explicación técnica
Uso típico
Asumiendo la siguiente clase..
class Person
{
public string? MiddleName;
}
El uso sería:
void LogPerson(Person person)
{
Console.WriteLine(person.MiddleName.Length); // ADVERTENCIA: puede ser null.
Console.WriteLine(person.MiddleName!.Length); // No hay advertencia.
}
Este operador básicamente apaga el comprobador de null del compilador
Funcionamiento interno
Este operador le dice al compilador que algo que puede no lo es, y es seguro accederlo. En esencia, es expresar despreocupación respecto a la posibilidad de que una instancia sea null.
Una variable puede encontrarse en dos estados (al hablar de "null safety")
- Nullable - puede ser null.
- Non-Nullable - No puede ser null
A partír de C#8.0 Todos los tipos de referencia son Non-Nullable por defecto.
La "nulabilidad" puede ser modificada por estos dos nuevos operadores de tipo:
!
= de Nullable
a Non-Nullable
.
?
= de Non-Nullable
a Nullable
Estos operadores son básicamente la contraparte uno del otro, el compilador utiliza la información que se define con estos operadores para garantizar la ''null safety''
Uso del operador ?
- Nullable
string? x;
x
es un tipo de referencia, por ende, por defecto es Non-Nullable.
- Aplicamos el operador
?
que lo convierte en Nullable.
x=null
funciona normalmente.
- Non-Nullable
string y;
y
es un tipo de referencia, por ende, por defecto es Non-Nullable.
y=null
genera una advertencia, ya que está intentando asignar un valor null
a algo que se supone que no debe ser null
Uso del operador !
string x;
string? y = null;
x=y
- ¡Ilegal! -
Advertencia: "y" puede ser null
- El lado izquierdo de la asignación es non-nullable pero el de la derecha es nullable.
x=y!
- ¡Legal!
- El lado izquierdo y derecho de la asignación son non-nullable!
- Funciona, ya que se aplica el
!
a y
y eso lo convierte en non-nullable!
ADVERTENCIA: El operador !
solo apaga el chequeador del compilador a
nivel sistema de tipos.
- En tiempo de ejecución, el valor puede seguir siendo null.
Esta es una traducción de la respuesta de Patrick Hollweck en SOen
Por favor, cualquiera siéntase libre de realizar correcciones/modificaciones en la traducción.