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

публикувани версия на системния език за програмиране Ръжда 1.40, основана от проекта Mozilla. Езикът се фокусира върху безопасността на паметта, осигурява автоматично управление на паметта и предоставя инструменти за постигане на висок паралелизъм на задачи без използване на събирач на отпадъци и по време на работа.

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

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

• Добавена е възможността за маркиране на структури (struct) и изброявания (enum с блок Variant) с помощта на атрибута "#[неизчерпателен]", което Тя позволява на Позволява бъдещо добавяне на нови полета и варианти към декларирани структури и изброявания. Например, разработчиците на модули със структури с публично декларирани полета могат да използват "#[non_exhaustive]", за да маркират структури, където нови полета могат да бъдат добавени в бъдеще. Досега в такива ситуации разработчикът беше принуден да избира между частно деклариране на полета и обвързване с фиксиран списък с полета. Новият атрибут премахва това ограничение и позволява бъдещо добавяне на нови полета без риск от нарушаване на предварително компилиран външен код. В crate пакетите, при сравняване на варианти в секцията "match", е необходима изрична маска "_ => {...}", за да се покрият евентуални бъдещи полета; в противен случай ще се възникне грешка при добавяне на нови полета.
• Добавено от Възможността за извикване на процедурния макрос mac!() в контекст на тип. Например, вече можете да напишете „type Foo = expand_to_type!(bar);“, ако „expand_to_type“ е процедурен макрос.
• В блокове "extern { … }" добави възможността за използване на процедурни и атрибутни макроси, включително макроси "bang!()", например:

  макро_правила! make_item { ($name:ident) => { fn $name(); } }

  външен {
  make_item!(алфа);
  make_item!(бета);
  }

  външен "C" {
  #[макро_за_моята_идентичност]
  fn foo();
  }

• В макроси изпълнени Възможност за генериране на елементи "macro_rules!". Генерирането на "macro_rules!" е възможно както във функционално-подобни макроси ("mac!()"), така и в макроси, базирани на атрибути ("#[mac]").
• В съвпадащия елемент $m:meta добави поддръжка за произволни стойности за изброяване на токени („[TOKEN_STREAM]“, „{TOKEN_STREAM}“ и „(TOKEN_STREAM)“), например:

  макро_правила! accept_meta { ($m:meta) => {} }
  accept_meta!(моят::път);
  accept_meta!(my::path = "осветен");
  accept_meta!(my::path(abc));
  accept_meta!(my::path[abc]);
  accept_meta!(my::path {abc});

• В режим Rust 2015 вече е активирано докладването на грешки за проблеми, открити от проверката на заемки, използваща техниката NLL (нелексикални времена на живот). Преди това предупрежденията бяха заменени с грешки при работа в режим Rust 2018.
  След като промяната беше разширена до режима Rust 2015, разработчиците най-накрая успяха да се отървете от от старата проверка на заемане.

  Припомняме, че системата за проверка, базирана на нов механизъм за отчитане на времето на съществуване на заимстваните променливи, направи възможно идентифицирането на определени проблеми, които останаха незабелязани от стария код за проверка. Тъй като изходът за грешки при такива проверки можеше да повлияе на съвместимостта с преди това изпълнявания код, първоначално бяха издавани предупреждения вместо грешки.

• Флагът "const", който определя възможността за използване във всеки контекст вместо константи, се прилага към функцията is_power_of_two (за неподписани цели числа).
• Нова част от API е преместена в категорията „стабилни“, включително стабилизирания макрос todo!() и методите slice::repeat, mem::take, BTreeMap::get_key_value и HashMap::get_key_value.
  Опция::as_deref, Опция::as_deref_mut, Опция::flatten, UdpSocket::peer_addr, {f32,f64}::to_be_bytes, {f32,f64}::to_le_bytes,{f32,f64}::to_ne_bytes, {f32,f64}::from_be_bytes, {f32,f64}::from_le_bytes и {f32,f64}::from_ne_bytes.
• В мениджъра на товарни пакети
  изпълнени Предупрежденията на компилатора се кешират на диска. Командата „cargo metadata“ вече има „—филтърна платформа" за да се показват само пакети, свързани с посочената целева платформа, в графиката за разрешаване на зависимости. Добавен е конфигурационният параметър http.ssl-version, за да се определят разрешените TLS версии.
  Добавена е възможността за публикуване на секцията „зависимости от разработчиците" без да се посочва ключът „версия“.
• Компилаторът rustc вече осигурява поддръжка на ниво 3 за целевите платформи thumbv7neon-unknown-linux-musleabihf, aarch64-unknown-none-softfloat, mips64-unknown-linux-muslabi64 и mips64el-unknown-linux-muslabi64. Ниво 3 предоставя основна поддръжка, но без автоматизирано тестване или официални компилации.

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