Исходное сообщение
"Выпуск языка программирования Rust 1.46" Отправлено topin89, 28-Авг-20 00:42
>>математически доказано, что весь безопасный код безопасен в работе с памятью, и что если с ней есть неуловимые проблемы, то искать их надо строго внутри unsafe > Ага, как скажешь. Если в программе есть UB, то оно может проявиться > где угодно. Неопределённому поведению плевать safe тут код или нет. Всё верно. Но причины UB по памяти искать можно чисто в небезопасных блоках. Заметим, только по памяти. Проблемы с многопотоком компилятор ловит далеко не все. А часть штук типа signed overflow так и не считаются за UB, но если не знать -- ничто не поможет, кроме отладочной сборки, которая не всегда возможна из-за низкой скорости.