Qu'est-ce que la conversion de type?
La conversion de type est une forme de type punning, une technique utilisée en informatique et en programmation informatique dans laquelle le type de données d'une entité spécifique est modifié en un type de données différent. Le concept de type punning est apparu pour contourner le système de types spécifié d'un langage de programmation afin de produire certains effets qui seraient autrement difficiles à obtenir dans les limites de la définition formelle du langage de programmation. La conversion de type, étant la forme la plus répandue de frappe de type, est possible dans pratiquement tous les langages de programmation, bien que certaines langues offrent des méthodes supplémentaires de frappe de type, telles que l'union ou la réinterprétation. Certains guides de style de programmation suggèrent de ne pas utiliser le typage, même si la conversion de type est quand même fréquemment utilisée.
La conversion de type est également parfois appelée conversion de type ou coercition, selon le langage de programmation utilisé. Chaque langage de programmation a des règles sur la manière dont la conversion de type peut être utilisée avec succès. De manière générale, les conversions peuvent avoir lieu soit sur des types fondamentaux, soit sur des objets.
Il existe plusieurs types de données ou classes de types de données fondamentaux. Un type de données commun utilisé dans les opérations mathématiques est le nombre entier, ou nombres simples, pouvant aller dans les milliers ou les millions, en fonction du nombre de bits dans leur largeur. Par exemple, un entier de 32 bits peut aller de zéro à 4 294 967 295, ou de -2 147 483 648 à 2 147 483 648. Un autre type est le nombre à virgule flottante, qui est essentiellement un nombre avec une virgule décimale.
Des caractères uniques, tels qu'une lettre de l'alphabet ou un signe de ponctuation, peuvent également être utilisés comme type de données. Un type de données de chaîne est un groupe ou une séquence de chiffres et / ou de lettres sans pause. les longueurs de chaîne sont arbitraires, mais leur taille ou limite est généralement définie dans le langage de programmation. Le plus ancien des types de données est le booléen, qui est simplement vrai ou faux. Les autres classes de types incluent algébrique, fonctions, données machine et objets. Par exemple, dans les langages orientés objet, l'ancêtre d'un objet peut utiliser le type d'un objet parent afin que leurs interactions les unes avec les autres se déroulent de manière plus fluide.
Les spécificités de la conversion de type n'entrent vraiment en jeu que lorsque les règles d'un langage de programmation particulier sont prises en compte. Les règles de certaines langues déterminent en outre si une conversion de type est implicite ou explicite. Une conversion de type implicite est le plus souvent appelée coercition et a généralement lieu au moment où un programme est compilé à partir du code source dans un programme exécutable. Cela peut arriver, par exemple, si plusieurs types de données sont utilisés dans une expression et qu'une comparaison est ensuite exécutée. La conversion de type est considérée comme implicite et le compilateur la gère automatiquement. une conversion de type explicite est définie dans le code du programme. Le langage de programmation C fait la distinction entre les deux, appelant une conversion de type implicite une contrainte et une conversion de type explicite une conversion.
Un exemple simple de conversion de type commun serait les opérations mathématiques sur les nombres dans un programme informatique. Un programme informatique recevant un nombre décimal, un type de données à virgule flottante, en entrée peut avoir besoin de convertir ce nombre en un type de données entier pour effectuer des opérations mathématiques, ou inversement. Cette conversion permet à l'opération de se poursuivre.