Une comparaison de langages objet relative au traitement de la redéfinition de méthode et à la liaison dynamique
Une comparaison de langages objet relative au traitement de la redéfinition de méthode et à la liaison dynamique
Résumé
Maintenant que les techniques de programmation objet sont largement disséminées dans la communauté scientifique informatique, il est intéressant de faire une pause et d?observer les langages de programmation communément utilisés. Si les mécanismes comme l?encapsulation et l?héritage sont bien connus et compris, leur conséquence opérationnelle ? la liaison dynamique ? a encore beaucoup d?interprétations, faisant des langages objet une solution toujours immature, ou, du moins, une juxtaposition de nombreuses théories. Puisque nous pensons que la notion d?objet a un sens, et apporte une réelle amélioration par rapport aux langages classiques ? sans liaison dynamique -, nous avons comparé sept langages objet et étudié leurs différences vis-à-vis de la liaison dynamique. Nous proposons une sémantique " raisonnable " à la liaison dynamique qui autorise tout à la fois des redéfinitions de méthodes covariantes, contravariantes et invariantes pour ce que ce qui est considéré, même par des experts, comme un problème délicat.
Maintenant que les techniques de programmation objet sont largement disséminées dans la communauté scientifique informatique, il est intéressant de faire une pause et d?observer les langages de programmation communément utilisés. Si les mécanismes comme l?encapsulation et l?héritage sont bien connus et compris, leur conséquence opérationnelle ? la liaison dynamique ? a encore beaucoup d?interprétations, faisant des langages objet une solution toujours immature, ou, du moins, une juxtaposition de nombreuses théories. Puisque nous pensons que la notion d?objet a un sens, et apporte une réelle amélioration par rapport aux langages classiques ? sans liaison dynamique -, nous avons comparé sept langages objet et étudié leurs différences vis-à-vis de la liaison dynamique. Nous proposons une sémantique " raisonnable " à la liaison dynamique qui autorise tout à la fois des redéfinitions de méthodes covariantes, contravariantes et invariantes pour ce que ce qui est considéré, même par des experts, comme un problème délicat.