La conversion de type est une forme de calembour type, une technique utilisée en informatique et programmation informatique dans lequel le type de données d'une entité spécifique est transformé en un type de données différent. Le concept de jeu de mots de type est venu sur le point de contourner le système de type spécifié d'un langage de programmation si certains effets peuvent être obtenus qui serait autrement difficile à faire dans les limites de la définition formelle du langage de programmation. Conversion de type, étant la forme la plus courante de calembour type, est possible dans pratiquement tous les langages de programmation, même si certaines langues offrent des méthodes supplémentaires de jeu de mots de type, comme l'union ou la réinterprétation. Certains guides de style de programmation suggèrent contre calembour type, même si la conversion de type est souvent utilisée de toute façon.
La conversion de type est également parfois appelé transtypage ou de la coercition, selon le langage de programmation utilisé. Chaque langage de programmation a des règles sur la façon de conversion de type peut être utilisé avec succès. De manière générale, les conversions peuvent avoir lieu soit sur des types fondamentaux ou des objets.
Il existe plusieurs types de données fondamentales ou des catégories de types de données. Un type de données commun utilisé dans les opérations mathématiques sont des nombres entiers ou des nombres simples, qui peuvent aller dans les milliers ou millions, en fonction du nombre de bits dans leur largeur. Par exemple, un entier 32-bit peut varier de zéro à travers 4294967295 ou 2147483648 -2147483648 travers. Un autre type est le nombre à virgule flottante, qui est essentiellement un nombre avec une virgule. Caractères uniques, comme une lettre de l'alphabet ou un signe de ponctuation, peut également être utilisé comme un type de données. Un type de données string est un groupe ou une séquence de chiffres et / ou lettres sans interruption; longueurs de chaîne sont arbitraires, mais leur taille ou leur limite est généralement défini dans le langage de programmation. Le plus ancien des types de données est l'opérateur booléen, qui est tout simplement vraies ou fausses. D'autres classes de types comprennent algébriques, les fonctions, les paramètres machine et les objets. Par exemple, dans les langages orientés objet, l'ancêtre d'un objet peut utiliser le type d'un objet parent de sorte que leurs interactions les uns avec les autres aller plus en douceur.
Les détails de la conversion de type vraiment n'entrent pas en jeu jusqu'à ce que les règles d'un langage de programmation particulier soient prises en considération. Certaines règles linguistiques de plus dictent si une conversion de type est implicite ou explicite. Une conversion de type implicite est le plus souvent appelée la coercition et a généralement lieu au moment où le programme est compilé à partir du code source en un programme exécutable. Cela peut se produire, par exemple, si plusieurs types de données sont utilisés dans une expression et une comparaison est exécutée. La conversion de type est considéré comme implicite, et le compilateur gère automatiquement, une conversion de type explicite est défini dans le code du programme. Le langage de programmation C établit une distinction entre les deux, appelant une conversion de type implicite d'une contrainte, et une conversion de type explicite un plâtre.
Un exemple simple d'une conversion de type commun serait opérations mathématiques sur des nombres dans un programme informatique. Un programme informatique recevoir un nombre décimal, un type de données à virgule flottante en entrée peut être nécessaire de convertir le nombre en un type de données entier pour effectuer des opérations mathématiques, ou vice versa. Cette conversion permet l'opération se poursuive.