Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Conversion de type
Résumé
En informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible :
la conversion entre types incomparables ;
la coercition ascendante (transtypage vers le haut) ;
la coercition descendante (transtypage vers le bas).
C'est la coercition la plus ancienne historiquement. Elle consiste (généralement) à transformer physiquement la représentation binaire d'une variable pour la faire correspondre au type de la cible. En langage C, la conversion d'une variable de type entier (usuellement codé en complément à deux) vers un type réel (usuellement codé selon la norme IEEE) est un exemple de ce genre de conversion. Elle est à manier avec prudence car elle n'est pas toujours possible et peut amener des résultats non prévus.
Dans le cadre d'un langage objet, la coercition ascendante permet de prendre une instance de la sous-classe pour une instance directe de la super-classe. Cela peut servir à empêcher l'utilisation d'une méthode m spécifique à la sous-classe B, pour la remplacer par la méthode m d'une super-classe A (en considérant bien sûr que B est une sous-classe de A).
Dans d'autres langages utilisant le sous-typage, mais pas le mécanisme d'héritage, la coercition ascendante permet par exemple à une fonction d'accepter plusieurs types d'arguments, sous-types de l'argument déclaré.
Elle consiste à convertir le type statique de la valeur vers son type dynamique. Elle permet ainsi de faire réapparaître statiquement le type dynamique de l'objet. Elle est par exemple utilisée en Java lors de l'utilisation de collection.
Les coercitions ascendante et descendante ne sont pas une réelle conversion de type dans le sens où il n'y a pas de transformation physique de la valeur. Il s'agit essentiellement d'une indication donnée au compilateur sur la façon dont il doit compiler un certain envoi de message.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.