Кратко: выражение $\text{int}i=0;i=i+++++i$ в C даёт undefined behavior. Объяснение и варианты исправления — ниже.
Почему UB:
- Оба выражения $i++$ (постинкремент) и $++i$ (преинкремент) изменяют одно и то же объект $i$. В стандарте C говорится, что если побочный эффект (изменение) на скалярном объекте не упорядочен (unsequenced) относительно другого побочного эффекта или значения того же объекта, поведение неопределено.
- В выражении $i=i+++++i$ побочные эффекты инкрементов и запись присваивания не упорядочены однозначно внутри одной полной подвыражения, то есть модификация $i$ происходит более одного раза без определённого порядка — следовательно, UB.
Последствия:
- Компиляторы могут оценивать операнды сложения в разном порядке; возможны разные результаты (например, $1$ или $2$), или неожиданные значения/ошибки — никакой результат не гарантирован.
Как сделать корректно:
- Разделить операции в разные выражения (сознавая, что между ними есть последовательность):
$\text{int}i=0;$ $\text{int}a=i++;$ $\text{int}b=++i;$ $i=a+b;$ - Или явно задать нужный порядок:
$\text{int}i=0;$ $\text{int}old=i;$ $++i;$ $i=old+i;$
Вывод: никогда не модифицируйте одну и ту же переменную более одного раза в рамках одного выражения, если порядок этих модификаций не явно указан — это ведёт к undefined behavior.