Мова програмування Rust оновлена до версії 1.83

28 листопада відбувся реліз мови програмування Rust 1.83. Як повідомляється на сайті спільноти розробників Rust, оновлена версія сфокусована на безпечній роботі з пам’яттю, має засоби для досягнення високого паралелізму виконання завдань без використання збирача сміття та обмеження застосування runtime (runtime використовується для базової ініціалізації та супроводу стандартної бібліотеки).

Методи роботи з пам’яттю в Rust захищають розробника від помилок, які можуть виникати через низькорівневу роботу з пам’яттю, таких як звернення до області пам’яті після її звільнення, розіменування нульових покажчиків та вихід за межі буфера. 

Безпечна робота з пам’яттю забезпечується в Rust під час компіляції через перевірку посилань, відстеження володіння об’єктами, облік часу життя об’єктів (області видимості) та оцінку коректності доступу до пам’яті під час виконання коду. 

Новая версія Rust вимагає обов’язкової ініціалізації значень змінних перед використанням, краще обробляє помилки в стандартній бібліотеці, застосовує концепцію незмінності посилань і змінних за умовчанням, пропонує сильну статичну типізацію для мінімізації логічних помилок.

Основні зміни та оновлення, які з’явились в Rust 1.83:

• Додано нові можливості для коду в контексті “const”, який обчислюється на етапі компіляції та придатний для використання замість констант. Тепер є можливість визначення посилань з ознакою “const” на значення, ініціалізовані з ознакою “static”, за умови, що посилання виставляється на статичні змінні, які не змінюються (без ознаки “mut”).
• Дозволено використання в контексті констант змінюваних посилань та покажчиків (з ознакою “mut”). Варто зауважити, що подібні змінювані посилання та покажчики допускаються тільки всередині блоку для обчислення константи, але не можуть вказуватися у фінальному значенні константи.
• Стабілізовано застосування &Cell та *const Cell у контексті констант.
• У розряд стабільних перевели кілька десятків API, у тому числі методи та реалізації типажів.
• Реалізовано третій рівень підтримки для платформ aarch64_unknown_nto_qnx700, arm64e-apple-tvos, armv7-rtems-eabihf, loongarch64-unknown-linux-ohos, riscv32-wrs-vxworks and riscv64 riscv32{e|em|emc}-unknown-none-elf, x86_64-unknown-hurd-gnu та x86_64-unknown-trusty. Третій рівень передбачає базову підтримку, але без автоматизованого тестування, публікації офіційних збірок та перевірки можливості складання коду.
• Вимоги до мінімальної зовнішньої версії LLVM піднято до гілки 18. Припинено підтримку компілятора Visual Studio 2013.