Исходное сообщение
"Выпуск языка программирования Rust 1.45" Отправлено Аноним, 20-Июл-20 14:28
UB это свойство реальности, тут может произойти что угодно. К счастью с разной и существенно отличной вероятностью. Иначе не было бы модулей памяти с ECC и т.п. Сам попадал на такое когда компилятор ругнулся на loooup, я удивился и посмотрел код, а там правильно lookup. Потом оказалось одна планка памяти сбоила. UB нет только в абстрактно математическом мире. Вопрос как применить эти абстракции в реальности... Другая проблема в мышлении людей. Некоторые кто лучше умеет абстрагироваться начинают считать, что они "лучше" или "правильнее" умеют думать. Но может они просто не могут воспринимать мир как есть, сложным и нелогичным? Может им сложно мыслить более реально, решая существующие задачи пусть и не красиво. Вместо этого они пытаются не испортить "красоту" своего решения реальными условиями задачи. Получается прав C-шник, который привык жить в не идеальном мире, контролируя всё сам. Такие люди делают море работы, хотя она возможно не идеальна, но служит многим и долго. Только вот объём и сложность задач растёт. Также растёт зависимость цивилизации от этих решений. В любом случае должно было бы появится что-то для облечения этого процесса. Думаю Rust это неплохой шаг в верную сторону.