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

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

За да поддържат съвместимостта, разработчиците могат да използват етикети "2015", "2018" и "2021" в своите програми, което позволява на програмите да бъдат свързани към срезове на състоянието на езика, съответстващи на избраните издания на Rust. Изданията бяха въведени, за да отделят несъвместимите промени и се конфигурират в метаданните на карго пакети чрез полето „издание“ в секцията „[пакет]“. Например, изданието „2018“ включва функционалността, стабилизирана към края на 2018 г., и също така покрива всички допълнителни промени, които не нарушават съвместимостта. Изданието от 2021 г. допълнително включва нарушаващи оперативната съвместимост функции, предложени в текущата версия 1.56 и одобрени за бъдещо внедряване. Освен самия език, редакторите вземат предвид и състоянието на инструментите и документацията.

Основни несъвместимости, записани в Rust 2021:

• Отделно улавяне в затваряния - затварянията вече могат да прихващат отделни имена на полета вместо целия идентификатор. Например „|| брадва + 1" ще улови само "брадва" вместо "а".
• Характеристиката на IntoIterator за масиви: array.into_iter() ви позволява да итерирате елементите на масива по стойности, а не по препратки.
• Обработката на изрази „|“ е променена в macro_rules (Булево ИЛИ) в шаблони – Спецификаторът „:pat“ при съвпадения вече зачита „A | Б".
• Мениджърът на товарни пакети включва по подразбиране втората версия на резолвера на функции, поддръжката за която се появи в Rust 1.51.
• Характеристиките TryFrom, TryInto и FromIterator са добавени към прелюдния стандартен библиотечен модул.
• Макросите 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
  • Низ::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]::първи
  • [T]::split_first
  • [T]::последен
  • [T]::split_last
• Компилаторът е превключен да използва LLVM версия 13.
• Внедрено е второ ниво на поддръжка за платформата aarch64-apple-ios-sim и трето ниво за платформите powerpc-unknown-freebsd и riscv32imc-esp-espidf. Третото ниво включва основна поддръжка, но без автоматизирано тестване, публикуване на официални компилации или проверка дали кодът може да бъде компилиран.

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

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

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