>> поэтому «подобные штуки» — не более чем досужие измышления.
> Естественно, нет. Вокруг каждого ЯП есть определённая культура - то, что плохо
> формализуется. То, что ты её не видишь, очень плохо.естественно, да. то, что кучка людей договорилась чесать левое ухо и делать три приседания перед тем, как запускать компилятор — это их личная проблема и местечковый обычай. ни авторы компилятора, ни авторы библиотек не обязаны обращать внимание на местечковые обычаи, у них есть документ, которым они руководствуются. всё, что в этом документе не описано, они поддерживать не должны.
>> это как раз потому, что воровать — не плохо, а уголовно наказуемо.
> А почему воровать уголовно наказуемо?
потому что общество так договорилось. впрочем, то же самое общество узаконило некоторые формы отнятия личной собственности для некоторых членов. не надо в этом искать логику, а то можно быстро до недозволеных речей дойти.
>> какое отношение k&r имеют к текущим стандартам?
> Если ты таки прочитаешь внимательно комментатора, которого несправедливо обосрал, ты поймёшь,
> что он писал про дела минувших дней.
а если ты удосужишься почитать его стенания, то увидишь, что он писал напрямую о сегодняшнем дне, и рассказывал, что раньше трава была зеленей. кто ему запрещает взять софт из старых добрых дней и сидеть на нём — не ясно.
стандарт си (как и любой стандарт, где встречаются слова UB, да и вообще любой стандарт, созданный комитетом) — конечно, гуано. но так сложилось, что это последняя инстанция, основополагающий документ. и если этот документ что-то позволяет, то это правильно. если, исходя из документа, некоторые проверки можно удалить — оптимизатор вправе их удалить. особенно если — повторяю в очередной раз — корректная работа оптимизатора гарантирована только для программ, в которых нет UB.
