Equivalence de type avec nullable

Bonjour,

J'ai une erreur de compilation que j'ai du mal à comprendre. Voilà le code:

Code:

---

1 2	ExamDate = inf.ExamDate.ToOADate() == 0.0 ? null : inf.ExamDate;

---

ExamDate est du type System.DateTime? et inf.ExamDate de type System.Datetime.

A la compilation, j'ai l'erreur:

Citation:

---

Erreur 1 Le type d'expression conditionnelle ne peut pas être déterminé, car il n'existe pas de conversion implicite entre '<null>' et 'System.DateTime'

---

Si j'écris

Code:

---

1 2 3 4 5

if (inf.ExamDate.ToOADate() == 0.0) ExamDate = null; else ExamDate = inf.ExamDate;

---

Aucune erreur !

Ça me parait pourtant être la même chose.
Pourtant, il y a forcément une différence sinon C# ne râlerait pas.


Par contre, si je fais ça:

Code:

---

1 2	ExamDate = inf.ExamDate.ToOADate() == 0.0 ? null : (System.DateTime?)inf.ExamDate;

---

Plus d'erreur non plus !

Ce qui voudrait dire que je ne peux assigner à mon ExamDate qu'une valeur de type System.DateTime? Pourtant:

Code:

---

ExamDate = inf.ExamDate;

---

compile sans problème !

J'ai beau ouvrir les yeux et me gratter la tète, je ne comprends pas !

Papy !

Le problème vient de l'opérateur ternaire ?

Dans le premier cas, il rencontre un DateTime, type valeur, et un null, qui ne peut être assigné qu'à un type référence.

null ne pouvant être utilisé pour déterminer le type de retour de l'expression conditionnelle, le compilateur utilise le type du troisième terme (DateTime). Il se rend alors compte que le deuxième terme (null) n'est pas assignable à DateTime => erreur.

Si tu castes le troisième terme en en DateTime?, le compilateur, selon le même schéma, détermine que le type de retour est DateTime?, auquel il peut assigner le résultat du deuxième terme (null), et donc tout va bien.

L'opérateur ternaire ? n'est pas exactement un raccourci pour une structure if...else. Il y a des contraintes supplémentaires, du fait que ? renvoie une valeur de retour, ce que ne fait pas if.

Un truc comme ça :

Code:

---

m = x ? a : b;

---

ne peut fonctionner que si a est convertible dans le type de b ou inversement.

Ici, tu as null, qui est un object, et un DateTime. Le compilo ne va pas parcourir l'ensemble des types dans lesquels a et b peuvent être implicitement convertis...

Donc, soit tu remplaces par un if... else, soit tu castes l'un ou l'autre en DateTime?, ou alors tu remplaces null par default(DateTime?), qui vaut bien null, mais un null typé :)

Ok, j'ai compris, merci :-)

ps: default(DateTime?) , ça, je ne connaissais pas encore. J'en apprends tous les jours et j'aime ça :mrgreen:

default(...) est surtout utile avec les generics.

Par exemple, List<T>.Find(Predicate<T>) renvoie le premier objet de la liste qui satisfait le prédicat donné. Mais s'il n'y en pas pas, il renvoie default(T), qui est null pour les class, et 0 pour les int, 0.0d pour les double, le 1janv01 pour les Dates, et "null" pour les nullable (qui sont des structs, d'ailleurs).

Donc si tu veux faire une méthode générique, sans contrainte du style "where T : class", et que tu veux ernvoyer une valeur par défaut, "return null" est incorrect, parce que null n'existe pas pour tous lestypes (uniquement pour les classes et les nullable). Il faut alors écrire "return default(T)".