Yoda Conditions et promotion des nombres entiers

Question

Lorsque vous comparez un type supérieur à int, avec une constante entière, devrais-je placer la constante à gauche ou à droite pour assurer la comparaison correcte?

int64_t i = some_val; 
if (i == -1) 

ou doit-il être:

if (-1 == i) 

Y at-il des circonstances dans lesquelles les deux cas n'est pas identique à la comparaison avec -1LL (où int64_t est long long)?

Answer 1

Peu importe si vous le placez du côté droit ou du côté gauche; l'opérateur == est complètement symétrique.

Si les deux opérandes de l'opérateur == ont un type arithmétique, comme dans ce cas, alors les "conversions arithmétiques usuelles" sont appliquées (C99 §6.5.9). Dans ce cas, la règle applicable est:

Si les deux opérandes ont signé types entiers ou les deux ont unsigned types entiers, l'opérande avec le type de rang de conversion inférieur entier est converti au type de l'opérateur avec un plus grand rang. (C99 §6.3.1.8)

Donc le -1 est converti en int64_t. -1LL ne fait aucune différence.