1) Обычный вариант, когда происходит Undefined Behavior:
int main(void)
{
int a = -10;
int c = a + (a = 10);
printf("%d",c);
// undefined behavior
return 0;
}
2) Похожий на следующий пункт вариант, здесь тоже undefined behavior:
int main(void)
{
int a = -10;
int c = 0;
if( a + (a = 10) || 0)
c = 1;
printf("%d %d",a,c);
// undefined behavior
return 0;
}
3) Но если мы поменяем второй операнд в условии на 1 то происходит магия:
int main(void)
{
int a = -10;
int c = 0;
if( a + (a = 10) || 1)
c = 1;
printf("%d %d",a,c);
// выводит 10 1
return 0;
}
Знаю про существование т.н. "ленивой логики", т.е. в случае операции && если первый операнд равен 0, то второй операнд опускается и не рассматривается. Но В данном случае этот "определяющий ленивую логику" операнд стоит справа. В чем же дело?
Если что, используется именно стандарт C99. Компилятор mingw32 gcc.