Problem z typem dopuszczającym wartość null z?: Operator warunkowy

Czy ktoś mógłby wyjaśnić, dlaczego to działa w C # .NET 2.0:

    Nullable<DateTime> foo;
    if (true)
        foo = null;
    else
        foo = new DateTime(0);

... ale to nie:

    Nullable<DateTime> foo;
    foo = true ? null : new DateTime(0);

Druga forma powoduje błąd kompilacji „Nie można określić typu wyrażenia warunkowego, ponieważ nie ma niejawnej konwersji między '<null>' i 'System.DateTime'.”

Nie to, że nie mogę użyć pierwszego, ale drugi styl jest bardziej spójny z resztą mojego kodu.

To pytanie zadawano już kilka razy. Kompilator mówi ci, że nie wie, jak przekonwertować nullplik DateTime.

Rozwiązanie jest proste:

DateTime? foo;
foo = true ? (DateTime?)null : new DateTime(0);

Zauważ, że Nullable<DateTime>można napisać, DateTime?co pozwoli Ci zaoszczędzić sporo pisania.

FYI (Offtopic, but sprytny i powiązany z typami dopuszczającymi wartość null) mamy przydatny operator tylko dla typów dopuszczających wartość null zwany null coalescing operator

??

Używane w ten sposób:

// Left hand is the nullable type, righthand is default if the type is null.
Nullable<DateTime> foo;
DateTime value = foo ?? new DateTime(0);

Dzieje się tak, ponieważ w operatorze trójargumentowym dwie wartości muszą być rozstrzygane na ten sam typ.

Wiem, że to pytanie padło w 2008 roku, a teraz jest 5 lat później, ale odpowiedź oznaczona jako odpowiedź mnie nie satysfakcjonuje. Prawdziwą odpowiedzią jest to, że DateTime jest strukturą i jako struktura nie jest zgodna z wartością null. Masz dwa sposoby rozwiązania tego problemu:

Po pierwsze, należy uczynić null kompatybilnym z DateTime (na przykład rzut null na DateTime ?, jak sugeruje dżentelmen z 70 upvotes, lub rzut null na Object lub ValueType).

Drugim jest zapewnienie zgodności DateTime z wartością null (na przykład rzutowanie DateTime na DateTime?).

Innym rozwiązaniem podobnym do przyjętego jest użycie defaultsłowa kluczowego C # . Chociaż jest zdefiniowany przy użyciu typów ogólnych, w rzeczywistości ma zastosowanie do każdego typu.

Przykładowe użycie zastosowane do pytania PO:

Nullable<DateTime> foo;
foo = true ? default(DateTime) : new DateTime(0);

Przykładowe użycie z aktualnie zaakceptowaną odpowiedzią:

DateTime? foo;
foo = true ? default(DateTime) : new DateTime(0);

Ponadto, korzystając z default, nie musisz określać zmiennej jako nullable, aby przypisać jej nullwartość. Kompilator automatycznie przypisze domyślną wartość określonego typu zmiennej i nie zostanie napotkany żaden błąd. Przykład:

DateTime foo;
foo = true ? default(DateTime) : new DateTime(0);