Les conversions implicites sont effectuées par le compilateur pour l'évaluation d'une expression.
Prenons le cas de l'affectation suivante :

où expression peut comporter un mélange de variables de types différents et d'opérateurs. Par exemple :

Les règles sont les suivantes :

– Le type de la variable de destination (Leftvalue) n'intervient pas pendant le calcul de l'expression située à droite de l'opérateur =. Ce n'est qu'après le calcul de celle‐ci que la valeur est éventuellement convertie pour s'exprimer selon le type de la variable de destination.

– L’expression à droite de l'opérateur = est évaluée par défaut de la gauche vers la droite en respectant les priorités des opérateurs rencontrés.

– Afin de fournir deux opérandes de même type à l'opérateur qui va être appliqué, le compilateur convertit si nécessaire l’opérande le plus « faible » dans le type de la variable occupant le plus de place en mémoire. Il existe donc une hiérarchie pour les conversions :

char < short int < int < long int < float < double

Exemple 9, Conversions implicites :

Le produit est effectué dans le type dominant float (var_int est pour cela convertie en float par le compilateur). Puis son résultat est converti en double au moment de l’affectation à la variable var_double (sans perte d’information dans ce sens).

On commence par calculer le produit (prioritaire) qui est effectué dans le type dominant double. Puis son résultat (de type double) est ajouté (addition réelle) au double résultant de la conversion de l’entier 45.
Enfin, le résultat double de l’addition est converti (c’est‐à‐dire tronqué) en float au moment de l’affectation à la variable var_float, avec perte d’information.