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

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

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

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

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

  macro_rules! make_item { ($name:ident) => { fn $name(); }}

  extern {
  make_item!(алфа);
  make_item!(бета);
  }

  extern "C" {
  #[my_identity_macro] fn foo();
  }

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

  macro_rules! accept_meta { ($m:meta) => {} }
  accept_meta!(my::path);
  accept_meta!( my::path = "lit");
  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, методите са стабилизирани.
  Option::as_deref, Option::as_deref_mut, Option::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.

• В мениджъра на пакети товари
  изпълнени кеширане на предупреждения на компилатора на диск. Добавена е опцията „метаданни за товара“ към командата „метаданни за товара“.--филтрираща платформа", за да покажете само пакети, обвързани с определената целева платформа в колоната за разрешаване на зависимости. Добавена е опция за конфигуриране на http.ssl-версия за дефиниране на валидни TLS версии.
  Добавена е възможност за публикуване на секцията "dev-зависимости" без да посочвате ключа "version".

• Компилаторът rustc осигурява поддръжка на трето ниво за целеви платформи thumbv7neon-unknown-linux-musleabihf, aarch64-unknown-none-softfloat, mips64-unknown-linux-muslabi64 и mips64el-unknown-linux-muslabi64. Третото ниво включва базова поддръжка, но без автоматизирано тестване и публикуване на официални компилации.

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