"a++ - a++" - это как раз unspecified behavior и такого в любом языке системного программирования высокого уровня действительно будет полно.

А Undefined Behavior - это про другое, не про специфику железа а про бондаж и дисциплину.

(Reply to this) (Parent) (Thread)

В нормальных языках такого нет.
И в Цє такого бы тоже не было, если бы такие структуры, как коммитет не подразумевали засилья красножопого актива и бюрократизацию всего и вся. Поэтому структура, в своё время неспешно легализовавшая bool теперь способна думать только о жидах и ребе Марксе (всё в соответстствии с законом Паркинсона, в принципе).

> unspecified behavior
> Undefined Behavior
Просто играешь словами и проигрываешь, потому что (a) это одно и то же, (b) unsafe это unsafe это unsafe, кому нужен баунд-чекер, пишут на С++/CLI и (c) int a, b; bool c = &a < &b;

(Reply to this) (Parent)