Bản phát hành ngôn ngữ lập trình Rust 1.39

được phát hành phát hành ngôn ngữ lập trình hệ thống Rỉ 1.39, được thành lập bởi dự án Mozilla. Ngôn ngữ này tập trung vào sự an toàn của bộ nhớ, cung cấp khả năng quản lý bộ nhớ tự động và cung cấp phương tiện để đạt được tính song song của tác vụ cao mà không cần sử dụng trình thu gom rác hoặc thời gian chạy.

Tính năng quản lý bộ nhớ tự động của Rust giải phóng nhà phát triển khỏi thao tác con trỏ và bảo vệ khỏi các vấn đề phát sinh từ thao tác bộ nhớ cấp thấp, chẳng hạn như truy cập bộ nhớ sau khi rảnh, hủy đăng ký con trỏ null, lỗi tràn bộ đệm, v.v. Một trình quản lý gói đang được phát triển để phân phối các thư viện, đảm bảo việc lắp ráp và quản lý các phần phụ thuộc của dự án. Cargo, cho phép bạn lấy các thư viện bạn cần cho chương trình chỉ bằng một cú nhấp chuột. Một kho lưu trữ được hỗ trợ cho các thư viện lưu trữ thùng.io.

Chính đổi mới:

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

  Синтаксис Async-await позволяет создавать функции, которые могут приостанавливать своё выполнение, возвращать управление в основной поток, а затем возобновлять выполнение с того места, где они были остановлены. Например, подобная приостановка востребована при обработке ввода/вывода, в котором во время ожидания поступления очередной порции данных можно выполнять другую работу. Функции и блоки, определённые через «async fn» и «async move», возвращают типаж Tương lai, определяющий представление отложенного на будущее асинхронного вычисления. Непосредственно инициировать отложенное вычисление и получить результат можно при помощи оператора «.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» выражения «phù hợp với«. Например, теперь допустимы следующие конструкции:

  fn chính() {
  let array: Box<[u8; 4]> = Box::new([1, 2, 3, 4]);

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

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

• Разрешено указание thuộc tính при определении параметров функций, замыканий и указателей на функции. Поддерживаются атрибуты условной компиляции (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) c использованием техники NLL (Non-Lexical Lifetimes), đã dịch в разряд фатальных ошибок. Напомним, что система проверки на основе нового механизма учёта времени жизни заимствованных переменных дала возможность выявлять некоторые проблемы, которые оставались незамеченными старым кодом проверки. Так как вывод ошибки для подобных проверок мог повлиять на совместимость с ранее работающим кодом, вместо ошибок первое время выдавались предупреждения. Теперь при работе в режиме 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;

• Một phần API mới đã được chuyển sang danh mục ổn định, bao gồm các phương pháp đã được ổn định
  Pin::into_inner, Instant::checked_duration_since и Instant::saturating_duration_since;

• В пакетный менеджер cargo добавлена возможность использования для файлов конфигурации расширения «.toml». Добавлена предварительная поддержка сборки стандартной библиотеки непосредственно из Cargo. Добавлен флаг «—workspace», заменивший неоднозначно воспринимаемый флаг «—all». В метаданные добавлено новое поле «xuất bản«, позволяющее публиковать зависимости, указывая тег в git и номер версии. Добавлена тестовая опция «-Ztimings» для генерации HTML-отчета о времени выполнения различных стадий компиляции.
• В компиляторе rustc в диагностических сообщениях включено обрезание хвостов кода, не умещающегося в терминал. Обеспечен третий уровень поддержки целевых платформ
  i686-unknown-uefi и sparc64-unknown-openbsd. Третий уровень подразумевает базовую поддержку, но без автоматизированного тестирования и публикации официальных сборок.

Nguồn: opennet.ru