C# 4: Dynamiczna i Nullable <>

Question

Więc mam jakiś kod, który przechodzi wokół tego anonimowego obiektu pomiędzy metodami:

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)) 
}; 

Metody, które otrzymają ten anonimowy typ obiektu zadeklarować jej typ jako dynamic:

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

W czasie działania, jednakże, jeśli StartDate lub EndDate są ustawione new Nullable<DateTime>(DateTime.Parse(...)), sposób, który odbiera ten dynamic obiektu (o nazwie promo) wykonuje sposób:

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

zgłasza wyjątek:

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

Co tu się dzieje? Czego nie rozumiem w przypadku typów Nullable i słowa kluczowego dynamic?

Ten kod pracował dobrze, zanim zmieniłem usunąłem struct że wcześniej zapisany Text, StartDate i EndDate i zastąpił go typu anonimowego i przekazał go wokół jako dynamic.

Answer 1

Świetne pytanie. Dwa fakty, których prawdopodobnie nie znasz:

1. Dynamiczny za kulisami jest po prostu przedmiotem. Oznacza to, że zmienna "dynamiczna" jest zmienną "obiektową" z podpowiedzią dla kompilatora, który mówi "generuj dynamiczne operacje na tej zmiennej, gdy jest używana."

2. Nie ma czegoś takiego, jak pudełko puste. Kiedy zapakujesz int? do obiektu otrzymasz odwołanie do obiektu o wartości NU lub pole do int. Nullable wrapper wokół int jest odrzucany.

Teraz powinno być jasne, co się tutaj dzieje. Jeśli promo jest dynamiczne, wówczas promo.StartDate jest dynamiczne. Co oznacza, że ​​w czasie wykonywania jest to obiekt. Co oznacza, że ​​jeśli ma wartość, jest zapakowany. Co oznacza, że ​​jeśli był on zerowalny, teraz jest to albo zerowa referencja, albo pudełkowa wartość nie podlegająca zerowaniu. Tak czy inaczej, rzecz ta nie ma właściwości HasValue. Jeśli chcesz się dowiedzieć, czy był to typ wartości z pustym typem wartości null, sprawdź, czy promo.StartDate ma wartość null, czy nie.