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

Публикувано релиз на системния език за програмиране Rust 1.39, разработен от проекта Mozilla. Езикът е фокусиран върху безопасната работа с паметта, осигурява автоматично управление на паметта и предлага средства за постигане на висока паралелност при изпълнение на задачи, като в същото време заобикаля употребата на сборщик на боклук и runtime.

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

Основни нововъведения:

• Стабилизиран нов синтаксис за асинхронно програмиране, базиран на функцията «async», блока async move { … } и оператора «.await», които опростяват написването на обработвачи, които не блокират основния поток на командите. В сравнение с предлаганото по-рано API за асинхронен вход/изход, конструкциите async/.await са лесни за възприемане, добре четими и позволяват реализирането на сложни асинхронни взаимодействия с използване на познатите техники за управление на потока на изпълнението, базирани на цикли, условни оператори и изключения.

  Синтаксисът Async-await позволява създаването на функции, които могат да спират изпълнението си, да връщат управлението в основния поток и след това да възобновяват изпълнението от мястото, където са били спрени. Например, подобна пауза е необходима при обработка на вход/изход, при която по време на изчакване за нови данни, може да се извършва друга работа. Функции и блокове, определени чрез «async fn» и «async move», връщат типаж Бъдеще, определящ представянето на отложено асинхронно изчисление. Инициирането на отложеното изчисление и получаването на резултат може да стане с помощта на оператора «.await». До извикването на «.await» не се извършват никакви действия, нито се планират предварително, което позволява създаването на сложни вложени конструкции без допълнителни разходи.

  async fn first_function() -> u32 { .. }
  …
  let future = first_function();
  …
  let result: u32 = future.await;

• Стабилизиран «#![feature(bind_by_move_pattern_guards)]», позволяващ използването на променливи с тип привързване «by-move» в шаблоните и използването на референции към тези променливи в секцията «if» на изразите «match«. Например, сега са допустими следните конструкции:

  fn main() {
  let array: Box = Box::new([1, 2, 3, 4]);

  match array {
  nums
  if nums.iter().sum::() == 10

  => {
  drop(nums);
  }
  _ => unreachable!(),
  }
  }

• Разрешено е указването на атрибути при определяне на параметри на функции, затваряния и указатели на функции. Поддържат се атрибути за условна компилация (cfg, cfg_attr), управляващи диагностиката чрез lint (allow, warn, deny и forbid) и спомагателни атрибути за извикване на макроси.

  fn len(
  #[cfg(windows)] slice: &[u16], // использовать параметр в Windows
  #[cfg(not(windows))] slice: &[u8], // использовать в остальных ОС
  ) -> usize {
  slice.len()
  }

• Предупреждения за проблеми, открити при проверка за заимстването на променливи (borrow checker) с използването на техниката NLL (Non-Lexical Lifetimes), преведени в класа на фаталните грешки. Напомняме, че системата за проверка, основана на новия механизъм за проследяване на живота на заетите променливи, даде възможност за откриване на определени проблеми, които предишният код за проверка не е успявал да засече. Тъй като изходът на грешката за такива проверки можеше да повлияе на съвместимостта с по-рано работещия код, вместо грешки, в началото се давали предупреждения. Сега, когато работите в режим Rust 2018, предупрежденията са заменени с грешки. В следващото издание изходът на грешката също ще бъде реализиран в режим Rust 2015, което ще позволи окончателно да се освободим от стария borrow checker;
• Признакът «const», определящ възможността за използване в всякакъв контекст вместо константи, е приложен за функциите Vec::new, String::new, LinkedList::new, str::len, [T]::len, str::as_bytes;
  abs, wrapping_abs и overflowing_abs;
• В разряд стабилни е преведена нова порция API, в това число стабилизирани методи
  Pin::into_inner, Instant::checked_duration_since и Instant::saturating_duration_since;
• Към пакетния мениджър cargo е добавена възможността за използване на разширение «.toml» за конфигурационни файлове. Добавена е предварителна поддръжка на компилирането на стандартната библиотека директно от Cargo. Добавен е флаг «—workspace», заменил неясно възприемания флаг «—all». В метаданните е добавено ново поле «publish«, позволяващо публикуване на зависимости, като се посочва етикет в git и номер на версия. Добавена е тестова опция «-Ztimings» за генериране на HTML отчет за времето за изпълнение на различни етапи от компилацията.
• В компилятора rustc в диагностичните съобщения е включено съкращаване на кодовите краища, които не влизат в терминала. Осигурен е трети ниво на поддръжка за целеви платформи
  i686-unknown-uefi и sparc64-unknown-openbsd. Третото ниво предполага основна поддръжка, но без автоматизирано тестване и публикуване на официални версии.

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