C# 4: Dinámico y anulables <>

Question

Así que tengo un código que pasa alrededor de este objeto anónimo entre los métodos:

var promo = new 
{ 
    Text = promo.Value, 
    StartDate = (startDate == null) ? 
     new Nullable<DateTime>() : 
     new Nullable<DateTime>(DateTime.Parse(startDate.Value)), 
    EndDate = (endDate == null) ? 
     new Nullable<DateTime>() : 
     new Nullable<DateTime>(DateTime.Parse(endDate.Value)) 
}; 

Los métodos que reciben este tipo de objeto en el anonimato declaran su tipo que dynamic:

private static bool IsPromoActive(dynamic promo) 
{ 
    return /* check StartDate, EndDate */ 
} 

en tiempo de ejecución, sin embargo, si StartDate o EndDate se establecen para new Nullable<DateTime>(DateTime.Parse(...)), un método que recibe esta dynamic objeto (llamado promo) realiza esto:

if (promo.StartDate.HasValue && promo.StartDate > DateTime.Today || 
    promo.EndDate.HasValue && promo.EndDate < DateTime.Today) 
{ 
    return; 
} 

lanza una excepción:

Server Error in '/' Application. 
'System.DateTime' does not contain a definition for 'HasValue' 

lo que está pasando aquí? ¿Qué no entiendo acerca de los tipos Nullable y la palabra clave dynamic?

Este código funcionaba bien antes de que cambiara Quité el struct que previamente almacenada Text, StartDate y EndDate y lo reemplazó con un tipo anónimo y se lo pasó alrededor mientras dynamic.

Answer 1

Gran pregunta. Dos hechos que probablemente desconozca:

1. La dinámica detrás de la escena es solo un objeto. Es decir, una variable "dinámica" es una variable "objeto" con una sugerencia para el compilador que dice "generar operaciones dinámicas en esta variable cuando se usa".

2. No existe la marca de un nulo. Cuando encasillas un int? para objetar obtienes una referencia de objeto nulo o una int encuadrada. La envoltura de nullable alrededor de int se descarta.

Ahora debe quedar claro lo que está sucediendo aquí. Si promo es dinámico, promo.StartDate es dinámico. Lo que significa que en tiempo de ejecución, es un objeto. Lo que significa que si es de tipo de valor, está encuadrado. Lo que significa que si era nulable, ahora es una referencia nula o un valor enmarcado no anulable. De cualquier manera, esa cosa no tiene una propiedad HasValue. Si desea saber si estaba en su tipo de valor de un tipo de valor que admite valores NULL, entonces verifique si promo.StartDate es nulo o no.