C# si los operadores de taquigrafía de la declaración (? :) dan como resultado el código inalcanzable

Question

¿Por qué aparece esta advertencia en C# con Visual Studio 2010?

"Unreachable expression code detected" 

desde el siguiente código (DateTime.Now subrayada en verde squiggly):

public DateTime StartDate 
{ 
    get 
    { 
    DateTime dt = (DateTime)ViewState["StartDate"]; 
    return ((dt == null) ? DateTime.Now : dt); 
    } 
} 

Answer 1

Debido a una estructura DateTime nunca puede ser nulo.

Si está esperando un posible valor nulo, debe usar una estructura de fecha y hora anulable. También puede utilizar el operador nulo coalescencia en lugar del operador condicional, así:

public DateTime StartDate 
{ 
    get 
    { 
     DateTime? dt = (DateTime?)ViewState["StartDate"]; 
     return dt ?? DateTime.Now; 
    } 
} 

O usted podría hacerlo como una sola línea (como en the comments):

public DateTime StartDate 
{ 
    get { return (DateTime)(ViewState["StartDate"] ?? DateTime.Now); } 
} 

Answer 2

Eso podría ser porque DateTime es una estructura (tipo de valor) & no es un tipo de referencia.
Por lo tanto, compararlo con nulo siempre será falso.

Answer 3

DateTime no puede ser nulo

Answer 4

DateTime es un tipo de valor, por lo que nunca puede ser nulo. Por lo tanto, la prueba para == null se evalúa como una constante falsa en tiempo de compilación, por lo que la mitad de?: Nunca se alcanzará en el tiempo de ejecución.

Answer 5

DateTime no puede contener nulos, por lo que su valor nunca será nulo.

Answer 6

Las respuestas ya dadas (que un tipo de valor que no admite nulos nunca será nulo y, por lo tanto, se sabe que la comparación devuelve falso en el momento de la compilación) son correctas, puede que se pregunte sobre la siguiente pregunta obvia : ¿por qué esto es legal? Esa pregunta se ha hecho muchas veces en SO; la versión corta es que C# proporciona un operador de igualdad "levantado" para cada estructura que proporciona un operador de igualdad en el tipo no anulable (si ya no existe uno elevado)

Es decir, porque DateTime proporciona un operador ==, el compilador genera automáticamente un operador == en DateTime ?, y que el operador es aplicable en su caso.