Исходное сообщение
"Оптимизация кода компилятором может привести к появлению про..." Отправлено Филипп Филиппович, 30-Окт-13 13:37
> Это косяки ЯЗЫКА. > Стандарт С позволяет не только себе ногу отстрелить, но и покалечить окружающих. Стандарт определяет язык, который хорошо переносим и одновременно эффективен. Результат переполнения сильно зависит от аппаратной платформы, поэтому язык НЕ МОЖЕТ регламентировать результат переполнения. Если он регламентирует, к каждой операции с арифметикой указателей придётся генерировать код проверки переполнения и приведения результатов к заданному стандартом виду. Это убьёт эффективность. Косяка в этом никакого нет, очень логичная особенность дизайна, если понимать, что язык изначально позиционировался как переносимая альтернатива ассемблеру. Другой вопрос, что сейчас уже не очень естественно писать почти всё прикладное ПО на таком языке. Но традиция пока жива. :-)