Rust 1.84 добавляет API для строгих доказательств

Вышел Rust 1.84 с изменениями, включая переход на новый решатель признаков и набор API Strict Provenance.

Rust популярен в таких ситуациях, как встраивание в другие языки, написание программ с особыми требованиями к пространству и времени, а также написание низкоуровневого кода.

Rust стремительно развивается, о чем свидетельствуют регулярные обновления. Изменения в этом выпуске начинаются с добавления строгих API для проверки подлинности. Они разработаны для того, чтобы справиться с тем фактом, что в Rust указатели имеют происхождение; чтобы полностью охарактеризовать неопределенное поведение, связанное с указателями, в Rust нужно знать не только адрес, на который указывает указатель, но и отследить, от какого другого указателя (указателей) он «произошел». Обычно программистам не нужно беспокоиться об этом, но при приведении указателей к целым числам и обратно происхождение результирующего указателя недостаточно определено. В этом выпуске Rust добавляет набор API, которые во многих случаях могут заменить использование приведения указателей к целым числам и, следовательно, избежать двусмысленности, присущей таким приведениям.

Разработчики Rust утверждают, что новые API должны упростить код, чтобы его было легче анализировать компилятору, а также сделать его более понятным для разработчиков.

Второе изменение - это шаг на пути перехода Rust к новой реализации решателя признаков. Решатель признаков нового поколения - это новая реализация одного из основных компонентов системы типов Rust. Он проверяет, выдержаны ли границы признаков, а также используется многими другими частями системы типов, такими как нормализация. В этом выпуске новый решатель используется для проверки согласованности имплантов трейтов.

Третье улучшение, которое стоит отметить, - это стабилизация резолвера, учитывающего минимальную поддерживаемую версию Rust (MSRV). По словам разработчиков, выбор версии с учетом MSRV сокращает работу сопровождающих по поддержке старых цепочек инструментов, поскольку им больше не нужно вручную выбирать старые версии для каждой зависимости.

В этом выпуске также внесены незначительные улучшения в сам Rust, Cargo и Clippy.

Версия 1.84 Rust доступна уже сейчас.