Bonjour,
Mon premier article est en ligne, il parle d'une nouveauté méconnue de .NET 4.0 : la variance en C# 4.0.
Les suggestions/commentaires sont bienvenus !
Bonne lecture!
Bonjour,
Mon premier article est en ligne, il parle d'une nouveauté méconnue de .NET 4.0 : la variance en C# 4.0.
Les suggestions/commentaires sont bienvenus !
Bonne lecture!
Microsoft MVP : Windows Platform
MCPD - Windows Phone Developer
MCPD - Windows Developer 4
http://www.guruumeditation.net
“If debugging is the process of removing bugs, then programming must be the process of putting them in.”
(Edsger W. Dijkstra)
Bonjour à toi.
Et avant tout, bonne initiative.
Première remarque : une légère incohérence dans le plan. La section (2b) sur la création d'interfaces et de délégués covariants est une sous-section de la covariance (2) tandis que son pendant sur les contravariants est une section à part (4), distincte à la section sur la contravariance (3).
Second remarque : dans l'introduction tu affirmes que la covariance et la contravariance ont été introduites avec dotnet 4.0. Tu corriges plus tard en précisant que dotnet supportait déjà la covariance de tableaux (mais aussi les délégués covariants). Du coup l'intro m'a un peu fait tiquer.
Troisième remarque : rien sur l'implémentation ou les performances. Le lecteur pourrait penser qu'il s'agit d'un truc du compilateur qui créerait un wrapper autour de la structure originale (ce qui impliquerait une allocation et tout le bazar). Il me semble important de préciser que covariance et contravariance sont en fait gérées au niveau du clr lui-même, par exemple en montrant que le code IL est inchangé quand on use ou non de la co/contravariance. Et donc que le concept est portable entre langages (même si certains compilateurs non à jour peuvent signaler des erreurs). Enfin, j'aurais personnellement aimé voir quelle est le coût sur les performances : je soupçonne qu'il est faible mais je ne l'ai jamais mesuré.
Bonjour,
Oula voila un sujet pas facile à traiter, je vais m'empresser de le lire, ayant quelques lacunes sur le sujet
Merci pour les encouragements (et les remarques, vu qu'elles sont constructives).
Effectivement, remarques judicieuses. Je ferais bien, d'ici la fin de l'année, une version 1.1 de l'article (on peut faire ça?) en tenant compte de tout ça. Avec une section supplémentaire pour ta troisième remarque.
Microsoft MVP : Windows Platform
MCPD - Windows Phone Developer
MCPD - Windows Developer 4
http://www.guruumeditation.net
“If debugging is the process of removing bugs, then programming must be the process of putting them in.”
(Edsger W. Dijkstra)
Salut.
D'après moi, un article sur ce sujet manquait clairement sur DVP.
Donc c'est cool de l'avoir écrit, et encore plus de l'avoir bien fait . Avec une mention particulière pour le choix des exemples, les fruits ou les animaux facilitant grandement l'approche des concepts par rapport à T et U.
Bravo .
Ca y est, j'ai lu, et commencer à digérer l'article.
Très bon point, on comprend parfaitement de quoi il s'agit, et les exemples sont bien choisit.
Exacte, il manquait même un bon article en français.Envoyé par _Max_
Pour autant y'a des choses flou, d'ailleurs DonQuiche a commencé à pointer le problème.
De la variance on en fait tous les joursC'est de la covariance, et le framework a toujours gérer cela. La nouveauté c'est le support de la variance sur les générique. Même si on peut pas encore tout faire, comme
Code : Sélectionner tout - Visualiser dans une fenêtre à part object toto = new MaClass()D'ailleur je ne comprend pas le problème avec IList<T>, il doit surement avoir une raison, la méthode "CopyTo" peut-etre?
Code : Sélectionner tout - Visualiser dans une fenêtre à part IList<object> list = new List<string>()
La covariance ne fonctionne que si le type pour lequel l'interface est covariante ne se trouve qu'en position de sortie (par exemple dans IEnumerable<T>, T est seulement en sortie, jamais en entrée). Or dans IList<T>, T se retrouve aussi bien en entrée qu'en sortie (par exemple la méthode Add(T item)), la covariance ne peut donc pas fonctionner. Si IList<T> était covariante, ça "casserait" la sécurité de type, parce qu'on pourrait avoir à l'exécution des erreurs de typage :
Si la première ligne était valide, ce code compilerait sans problème (un DateTime étant un object), mais ça planterait à l'exécution, car on ne peut pas ajouter un DateTime à une collection de String.
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2 IList<object> list = new List<string>(); list.Add(DateTime.Now);
Le problème existe déjà pour les tableaux, qui sont covariants depuis .NET 1 :
Ce code compile, mais provoque une ArrayTypeMismatchException. Voir cet article pour plus d'infos à ce sujet
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2 object[] array = new string[1]; array[0] = DateTime.Now;
Pas de questions techniques par MP ! Le forum est là pour ça...
Tutoriels : Les nouveautés de C# 6 - Accès aux données avec Dapper - Extraction de données de pages web à l'aide de HTML Agility Pack - La sérialisation XML avec .NET (Aller plus loin) - Les markup extensions en WPF
Non, à strictement parler ce n'est pas de la covariance, c'est du simple polymorphisme. On parle de covariance ou de contravariance quand les règles du polymorphisme sont étendues à des compositions/fonctions/applications de type. Il faut se référer la théorie des catégories.
Pour résumer : si T assignable à U (polymorphisme), f:X->T est assignable à f:X->U (covariance).
Pour IList<T>, je pense que la raison est qu'assigner un List<String> à un IList<Object> peut ensuite conduire l'utilisateur à tenter d'ajouter autre chose qu'une string à la liste et que cela pue le design bancal à cent mètres. Cela dit cette raison n'a pas empêchée l'équipe dotnet d'autoriser la covariance de tableaux (une erreur selon moi, qui a fait débat à l'époque dans l'équipe des concepteurs de dotnet et qui a malheureusement entraîné un coût pour toutes les assignations dans des tableaux).
Effectivement je n'avais pas pensé à ce cas.Envoyé par tomlev
Je ne suis pas d'accord.Envoyé par DonQuiche
Le concept de polymorphisme utilise sur les concepts de covariance et contravariance. C'est surement pour cela qu'on en parle très peu.
Bien sur la variance n'est pas suffisante pour définir le polymorphisme, il faut aussi lui rajouter des concepts lié au morphisme (mathématique)
@Antione Debyser
Désolé mais je vois difficilement comment.
Pour reprendre la théorie des catégories d'où sont issues ces notions, un foncteur covariant/contravariant est défini comme l'association de deux objets de catégories différentes qui préserve l'identité des morphismes et leurs compositions. Autrement dit : pour définir un foncteur (et les notions de covariance/contravariance), on n'a besoin que des seules notions de morphisme et de catégorie (cette dernière étant elle-même définie à partir du concept de morphisme).
Quant au polymorphisme, il est simplement défini comme un ensemble de morphismes distincts ayant la même catégorie cible : chien et chat sont tous deux assignables à animal en langage objet. Je ne vois pas où faire intervenir la covariance et la contravariance là-dedans.
Et, pour revenir à l'informatique, qui découle des mathématiques mais sans les calquer, je n'ai jamais vu appelée covariance une simple assignation. Et à mon humble avis ça ne peut que créer de la confusion.
C'est pas fauxEnvoyé par DonQuiche
j'ajouterai que l'assignation est foncteur, même si c'est l'un des plus basique.un foncteur covariant/contravariant
Justement de le fait qu'ils appartiennent à la même catégorie cible.Quant au polymorphisme, il est simplement défini comme un ensemble de morphismes distincts ayant la même catégorie cible : chien et chat sont tous deux assignables à animal en langage objet. Je ne vois pas où faire intervenir la covariance et la contravariance là-dedans.
Si on ne pouvais pas faire l'assignation sur une variable plus faiblement typé, le polymorphisme n’aurait aucun intérêt.
Je comprends pourquoi nous n'arrivions pas à discuter.
Tu considères l'assignation comme un foncteur. Autrement dit, tu considères que le morphisme dans un langage objet est définit comme la capacité abstraite de substituer un objet à un autre et il est effectivement définit ainsi conceptuellement. Mais, dans les faits, il me semble que le morphisme est en fait définit en langage objet par la capacité d'assigner un type vers un autre.
Et ça me semble plus cohérent puisque, si l'on suit ta logique, tu te sens obligé de faire appel à la notion de covariance pour définir le morphisme (*) en programmation objet alors qu'au contraire le morphisme est un pré-requis pour définir la covariance en mathématiques. Qui plus est, si l'assignation est un foncteur, alors, lors de l'appel d'un délégué, ce n'est plus le délégué lui-même qui peut être covariant mais les assignations de ses paramètres.
(*) Le polymorphisme n'est qu'un cas particulier où le langage permet d'avoir plusieurs classes filles. On pourrait très bien imaginer la même problématique avec un langage qui n'autoriserait qu'une seule classe fille, ce qui serait moins puissant mais conserverait un intérêt pratique.
Bref, pour ma part je trouve plus explicite, élégant et consistant de considérer que le (poly)morphisme est définit en programmation objet comme la capacité à assigner un type à un autre et la covariance comme la capacité à assigner l'application F d'un type à l'application F d'un autre type.
Oula les gars, ça devient vraiment high level votre discussion, je suis un peu perdu
Pas de questions techniques par MP ! Le forum est là pour ça...
Tutoriels : Les nouveautés de C# 6 - Accès aux données avec Dapper - Extraction de données de pages web à l'aide de HTML Agility Pack - La sérialisation XML avec .NET (Aller plus loin) - Les markup extensions en WPF
Tout à fait d'accord pour l'assignation. Pour le morphisme d’instinct je dirai oui, et dans ce cas on peut toujours considérer l'assignation comme un functeur.Envoyé par DonQuiche
Oui est non. Car la covariance est définit sur le morphisme (je ne parle pas de polymorphisme), la covariance est un cas particulier.Envoyé par DonQuiche
C'est effectivement une façons concrète d'expliquer le polymorphisme à des débutant (les exemples c'est bien ^^). Mais elle relève d'un petit abus.Envoyé par DonQuiche
Du au fait qu'on utilise le polymorphisme principalement par sous-typage.
Le polymorphisme c'est l'abstraction qui permet de travailler sur les membres d'un objet sans connaitre la nature final de l'objet.
En tout cas je trouve cela plus juste.
Bon après c'est vrai que je ne suis pas forcement très alaise avec les derniers évolution sur les théories des langages (notament F-Bounds, et le typage de second ordre).
D'ailleurs j'ai l'impression que j'ai une vision classique du typage, et toi une vision plus moderne (avec le typage de second ordre).
Je vous remercie pour vos commentaires, ça fait plaisir (Et me motive pour un autre article!).
La discussion est très intéressante mais, comme Thomas le dit, je commence à être perdu. Ce qui est grave quand on est le rédacteur
Microsoft MVP : Windows Platform
MCPD - Windows Phone Developer
MCPD - Windows Developer 4
http://www.guruumeditation.net
“If debugging is the process of removing bugs, then programming must be the process of putting them in.”
(Edsger W. Dijkstra)
Pas de questions techniques par MP ! Le forum est là pour ça...
Tutoriels : Les nouveautés de C# 6 - Accès aux données avec Dapper - Extraction de données de pages web à l'aide de HTML Agility Pack - La sérialisation XML avec .NET (Aller plus loin) - Les markup extensions en WPF
Article très intéressant, exemple bien choisis, la discussion aussi. Ça force a revoir/apprendre des concepts de la programmation objet.
sans vouloir faire le rabat joie une petite coquille qui m'a sauté aux yeux :
Si nous avons une liste de Dog, on ceci est valide :
"Le train de tes injures roule sur le rail de mon indifférence."
"Monde de merde !!"
Georges Abitbol.
Je déterre la discussion car je me suis posé la question hier.
Est-ce que quelqu'un a eu l'occasion de tester ce point?
Par défaut je ne pense pas que ça ait d'impact sur les performances, mais la question est judicieuse et j'avoue que je ne sais pas du tout si cela a un impact au niveau du CLR, particulièrement sur des gros volumes d'objets.
A défaut de réponse j'en donnerai surement une d'ici quelques semaines !
One minute was enough, Tyler said, a person had to work hard for it, but a minute of perfection was worth the effort. A moment was the most you could ever expect from perfection.
-- Chuck Palahniuk, Fight Club, Chapter 3 --
Vous avez un bloqueur de publicités installé.
Le Club Developpez.com n'affiche que des publicités IT, discrètes et non intrusives.
Afin que nous puissions continuer à vous fournir gratuitement du contenu de qualité, merci de nous soutenir en désactivant votre bloqueur de publicités sur Developpez.com.
Partager