Исходное сообщение
"Для Linux и Redox представлена реализация Libc на языке Rust" Отправлено Ordu, 10-Мрт-18 18:32
> Но > так как ты страдаешь избирательной амнезией, то я процитирую, что именно > ты сказал: "гарантированно не выполняется, значит можно ругнуться о dead_code и > вышвырнуть из кода println!, а затем и весь if тоже, а > затем ещё и цикл, потому что это код не имеющий побочных > эффектов." А, ну да, я там ошибся -- я всё ж не компилятор. Но давай вернёмся тогда чуть назад: мы ведь говорим о лишних проверках в рантайме нет? Я тебе дал ассемблерный листинг, в нём нет ни одной проверки. Немного не по тем причинам как я ошибочно описал: условие цикла гарантированно выполняется на последней итерации и гарантированно не выполняется на предыдущих, компилятор может это доказать, что позволяет ему оторвать последнюю итерацию от цикла статически и реализовать её отдельно. При таком подходе ни одна проверка не нужна, и поэтому ни одной проверки в коде нету. Ещё какие-нибудь возражения у "практика" есть?