Yoda Condiciones y promoción de enteros

Question

Al comparar un tipo más grande que int, con una constante entera, ¿debo colocar la constante a la izquierda o derecha para asegurar que se realiza la comparación correcta?

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

o debe ser:

if (-1 == i) 

¿Hay alguna circunstancia en la que cualquiera de los casos no es idéntica a la comparación con -1LL (donde int64_t es long long)?

Answer 1

No importa si lo coloca en el lado derecho o izquierdo; el operador == es completamente simétrico.

Si los dos operandos del operador == tienen un tipo aritmético, como en este caso, se aplican las "conversiones aritméticas habituales" (C99 §6.5.9). En este caso, la regla que se aplica es:

Si ambos operandos han firmado tipos de enteros o ambos han unsigned tipos de enteros, el operando con el tipo de rango de conversión de número entero menor se convertida al tipo del operando con mayor rango (C99 §6.3.1.8)

Entonces el -1 se convierte en int64_t. -1LL no hace la diferencia.