Релиз на програмния език Rust 2021 (1.56)

Публикувана е версия на езика за системно програмиране Rust 1.56, основан от проекта Mozilla, но в момента развитието му се осъществява под егидата на независимата неправителствена организация Rust Foundation. Освен стандартния номер на версията, изданието е обозначено и като Rust 2021 и представя стабилизация на промените, предложени през последните три години. Rust 2021 също така ще бъде основа за увеличаване на функционалността през следващите три години, аналогично на начина, по който версията Rust 2018 стана основа за развитието на езика в последните три години.

За запазване на съвместимостта, разработчиците могат да използват в своите програми етикети «2015», «2018» и «2021», позволяващи свързване на програмите към състояния на езика, съответстващи на избраните редакции на Rust. Редакциите бяха въведени за разделяне на несъвместими промени и се настройват в метаданните на cargo пакетите чрез полето «edition» в секцията «[package]». Например, редакцията «2018» включва стабилизирана функционалност към края на 2018 година и обхваща всички по-нататъшни промени, които не нарушават съвместимостта. Редакцията «2021» допълнително включва нововъведения, нарушаващи съвместимостта, предложени в текущото издание 1.56 и одобрени за реализация в бъдеще. Освен самия език, редакциите също така отразяват състоянието на инструментария и документацията.

Основни несъвместимости, фиксирани в Rust 2021:

• Разделно улавяне в затварянията — затварянията вече могат да улавят отделни имена на полета вместо целия идентификатор. Например, «|| a.x + 1» ще улови само «a.x» вместо «a».
• Типажът IntoIterator за масиви: array.into_iter() позволява организация на перебора на елементите на масива по стойности, а не по референции.
• В macro_rules е изменена обработката на изразите «|» (логическа операция OR) в шаблоните — спецификаторът «:pat» в съвпаденията сега отразява шаблоните «A | B».
• В пакетния мениджър cargo по подразбиране е включена втора версия на определителя на наличните възможности (feature resolver), чиято поддръжка се появи в Rust 1.51.
• Типажите (trait) TryFrom, TryInto и FromIterator са добавени към състава на модула на стандартната библиотека prelude.
• Макросите panic!(..) и assert!(expr, ..) сега винаги използват format_args!(..) за форматиране на низове аналогично на println!().
• В синтаксиса на езика са запазени изрази ident#, ident»…» и ident’…’.
• Предупреждения bare_trait_objects и ellipsis_inclusive_range_patterns са преместени в категорията на грешките.

Новостите в Rust 1.56:

• В Cargo.toml в секцията «[package]» е добавено полето rust-version, което позволява да се определи минимално поддържаната версия на Rust за crate-пакета. Ако текущата версия не отговаря на зададения параметър, Cargo ще спре работа с изходяща грешка.
• При съвпадение с шаблон с помощта на изразите «binding @ pattern» е реализирана поддръжка за указване на допълнителни привързвания (например, «let matrix @ Matrix { row_len, .. } = get_matrix();»).
• В категорията стабилни е преведена нова порция API, като са стабилизирани методите и реализациите на типажите:
  • std::os::unix::fs::chroot
  • UnsafeCell::raw_get
  • BufWriter::into_parts
  • core::panic::{UnwindSafe, RefUnwindSafe, AssertUnwindSafe}
  • Vec::shrink_to
  • String::shrink_to
  • OsString::shrink_to
  • PathBuf::shrink_to
  • BinaryHeap::shrink_to
  • VecDeque::shrink_to
  • HashMap::shrink_to
  • HashSet::shrink_to
• Признак «const», който определя възможността за използване в произволен контекст вместо константи, е приложен във функциите
  • std::mem::transmute
  • [T]::first
  • [T]::split_first
  • [T]::last
  • [T]::split_last
• Компилаторът е преминал на версия LLVM 13.
• Реализиран е втори ниво на поддръжка за платформата aarch64-apple-ios-sim и трето ниво за платформите powerpc-unknown-freebsd и riscv32imc-esp-espidf. Третото ниво предпоставя базова поддръжка, но без автоматизирано тестване, публикуване на официални сборки и проверка на възможността за компилиране на кода.

Напомняме, че езикът Rust е фокусиран върху безопасната работа с паметта, осигурява автоматично управление на паметта и предлага средства за постигане на висока паралелност на изпълнението на задачи, като в същото време заобикаля нуждата от garbage collector и runtime (runtime се свежда до базовата инициализация и поддръжката на стандартната библиотека).

Автоматичното управление на паметта в Rust освобождава разработчика от грешки при манипулирането на указатели и защитава от проблеми, произтичащи от ниско ниво на работа с паметта, като обращение към район на паметта след освобождаването ѝ, разименуване на нулеви указатели, излизане извън границите на буфера и т.н. За разпространение на библиотеки, осигуряване на компилация и управление на зависимости, проектът се развива с пакетния мениджър Cargo. За хостване на библиотеки се поддържа хранилище crates.io.

Източник: opennet.ru