L'addition

$\bullet$
Syntaxe :

expression :
$\Rightarrow$ + expression
$\Rightarrow$ expression$_1$ + expression$_2$

$\bullet$
Sémantique :

Les deux expressions sont évaluées, l'addition réalisée, et la valeur obtenue est la valeur de l'expression d'addition. (La sémantique de + expression est celle de 0 + expression).

L'ordre dans lequel les deux expressions sont évaluées, n'est pas déterminé. Si expression$_1$ et expression$_2$ font des effets de bords, on n'est donc pas assuré de l'ordre dans lequel ils se feront.

Après évaluation des expressions, il peut y avoir conversion de type de l'un des opérandes, de manière à permettre l'addition. On pourra par exemple faire la somme d'une expression délivrant un flottant et d'une expression délivrant un entier : l'entier sera converti en flottant et l'addition sera réalisée entre flottants.



Matthieu Moy 2017-02-08