Издаване на език за програмиране Rust 1.57

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

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

Основни иновации:

• Използването на макроса „паника!“ е стабилизирано. в контексти, създадени по време на компилация, като например декларации "const fn". Освен това, в допълнение към използването на "panic!" const декларациите позволяват използването на макроса “assert!”. и някои други стандартни библиотечни API. Стабилизацията все още не покрива цялата инфраструктура за форматиране, така че в сегашната си форма макросът „паника!“ може да се използва само със статични низове (panic!(“...")) или с единична интерполирана стойност "&str" при заместване (panic!("{}", a)), което трябва да бъде ограничено до заместване на "{ }" без спецификатори за форматиране и други типове. В бъдеще приложимостта на макросите в постоянен контекст ще бъде разширена, но стабилизираните възможности вече са достатъчни за извършване на проверки на assert на етапа на компилация: const _: () = assert!(std::mem::size_of::() == 64); const _: () = assert!(std::mem::size_of::() == 8);
• Мениджърът на пакети Cargo позволява използването на профили с произволни имена, без да се ограничава до "dev", "release", "test" и "bench". Например, за да активирате оптимизация на етапа на свързване (LTO) само когато се генерират крайните продуктови сглобки, можете да създадете „производствен“ профил в Cargo.toml и да добавите флага „lto = true“ към него. Въпреки това, когато дефинирате свои собствени профили, трябва да посочите съществуващ профил, за да наследите настройките по подразбиране от него. Примерът по-долу създава „производствен“ профил, който допълва профила „издаване“, като включва флага „lto = true“. Самият профил се активира чрез извикване на cargo с опцията „--profile production“ и артефактите на сглобяването ще бъдат поставени в директорията „target/production“. [profile.production] inherits = "release" lto = true
• Използването на try_reserve за типовете Vec, String, HashMap, HashSet и VecDeque е стабилизирано, което ви позволява да резервирате място предварително за определен брой елементи от даден тип, за да намалите честотата на операциите за разпределение на паметта и да избегнете се срива по време на работа поради липса на памет.
• Разрешено е да се указват макроси с фигурни скоби в изрази като "m!{ .. }.method()" и "m!{ .. }?".
• Оптимизирано е изпълнението на функциите File::read_to_end и read_to_string.
• Поддръжката на Unicode спецификация е актуализирана до версия 14.0.
• Разширен е броят на функциите, маркирани с „#[must_use]“, за да издават предупреждение, ако върнатата стойност бъде пренебрегната, което помага да се идентифицират грешки, причинени от предположението, че дадена функция ще промени стойностите, вместо да върне нова стойност.
• Добавен е експериментален бекенд за генериране на код с помощта на libgccjit.
• Нова част от API е преместена в категорията на стабилни, включително методите и имплементациите на характеристиките са стабилизирани:
  • [T; N]::as_mut_slice
  • [T; N]::as_slice
  • колекции::TryReserveError
  • HashMap::try_reserve
  • HashSet::try_reserve
  • String::try_reserve
  • Низ::try_reserve_exact
  • Vec::try_reserve
  • Vec::try_reserve_exact
  • VecDeque::try_reserve
  • VecDeque::try_reserve_exact
  • Итератор::map_while
  • iter::MapWhile
  • proc_macro::is_available
  • Команда::get_program
  • Команда::get_args
  • Команда::get_envs
  • Команда::get_current_dir
  • CommandArgs
  • CommandEnvs
• Атрибутът „const“, който определя дали може да се използва във всеки контекст вместо константи, се използва във функцията hint::unreachable_unchecked.
• Третото ниво на поддръжка е внедрено за armv6k-nintendo-3ds, armv7-unknown-linux-uclibceabihf, m68k-unknown-linux-gnu, aarch64-kmc-solid_asp3, armv7a-kmc-solid_asp3-eabi и armv7a-kmc- solid_asp3-eabihf платформи. Третото ниво включва основна поддръжка, но без автоматизирано тестване, публикуване на официални компилации или проверка дали кодът може да бъде компилиран.

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