Déduction du type de données

Les signaux d'entrée ont un type défini comme on peut le voir dans la colonne type de l'Explorateur de variables. Les types de résultats intermédiaires d'une formule de calcul sont choisis automatiquement en fonction des types d'entrées et des opérations appliquées. Ce processus est appelé déduction du type.

En interne, une opération de calcul est représentée par plusieurs implémentations, chacune avec des types spécifiques pour les entrées et les sorties de l'opération : les combinaisons de types. La déduction de type fonctionne en choisissant une combinaison de types qui correspond aux entrées. Les entrées peuvent être converties en des types plus grands similaires si aucune correspondance exacte ne peut être trouvée :

• Nombre entier signé vers un nombre entier signé plus grand
• Nombre entier non signé vers un nombre entier non signé plus grand
• Tout entier vers 64 bits à virgule flottante
• Booléen vers toute valeur numérique

Exemples :

• Les opérations binaires existent pour les entiers signés et non signés de toutes tailles. La déduction de type choisit la plus petite taille qui est supérieure ou égale à toutes les entrées.
• Les opérations arithmétiques (plus, temps, ....) n'existent qu'en double, si bien que la déduction de type convertit toujours les entrées en double.