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

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

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

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

• Добавен е режим на конвейерна компилация (pipelined), при който сборката на зависимия crate-пакет започва веднага щом метаданните за зависимостите станат достъпни, без да чака завършването на компилацията му. При компилирането на пакета не е необходимо зависимостите да бъдат напълно компилирани, само е нужно определянето на метаданните, включващи списъци с типове, зависимости и експортирани елементи. Метаданните стават достъпни на начален етап от компилацията, така че свързаните пакети сега могат да се компилират много по-рано. При сборка на единични пакети, предложената опция не влияе на производителността, но ако сборбата обхваща пакети с разклонени зависимости, общото време за компилация може да се намали с 10-20%;
• Осигурено е откриването на неправилно прилагане на функции std::mem::uninitialized и std::mem::zeroed. Например, std::mem::uninitialized е удобен за бързо създаване на масиви, но въвежда компилатора в заблуждение, тъй като създава видимост за извършване на инициализация, а всъщност стойността остава неинициализирана. Функцията mem::uninitialized вече е обявена за остаряла и вместо нея се препоръчва да се използва междинен тип MaybeUninit. Що се отнася до mem::zeroed, тази функция може да доведе до проблеми с типове, които не могат да приемат нулеви стойности.

  За откриване на предизвикано неопределено поведение в новото издание в компилатора е добавена lint проверка, която открива някои проблеми с mem::uninitialized или mem::zeroed. Например, сега се извежда грешка при опит за използване на mem::uninitialized или mem::zeroed с типове &T и Box‹T›, представляващи обекти-указатели, които не могат да приемат нулеви стойности;

• Разширени са възможностите за прилагане на атрибута «#[deprecated]», който позволява да се обозначат crate-пакетите като остарели и планирани за изтриване в бъдеще. Започвайки от версия Rust 1.38, този атрибут вече може да се прилага и за макроси;
• Добавена е възможността за прилагане на атрибута «#[global_allocator]» в подсекциите;
• Добавена е функция std::any::type_name, позволяващ да се узнае името на типа, което може да бъде полезно за отстраняване на грешки. Например, по време на изпълнението на програмата може да се разбере за кой тип е била извикана функцията:

  fn gen_value‹T: Default>() -› T {
  println!(«Инициализиране на инстанция на {}», std::any::type_name::‹T›());
  Default::default()
  }

  fn main() {
  let _: i32 = gen_value(); # ще бъде изведено «i32»
  нека _: String = gen_value(); # ще се изведе «alloc::string::String»
  }

• Разширени функции на стандартната библиотека:
  • slice::{concat, connect, join} сега може да приема стойност &[T] освен &T;
  • «*const T» и «*mut T» вече реализират marker::Unpin;
  • «Arc‹[T]›» и «Rc‹[T]›» вече реализират FromIterator‹T›;
  • iter::{StepBy, Peekable, Take} сега реализират DoubleEndedIterator.
  • ascii::EscapeDefault реализира Clone и Display.
• В разряд стабилни е преведена нова порция API, в това число стабилизирани методи
  • ‹*const T›::cast, ‹*mut T›::cast,
  • Duration::as_secs_f{32|64},
  • Duration::div_duration_f{32|64},
  • Duration::div_f{32|64},
  • Duration::from_secs_f{32|64},
  • Duration::mul_f{32|64},
  • операции за деление с остатък
    div_euclid и rem_euclid за всички целочислени примитиви;
• В пакетния мениджър cargo се добави поддръжка за указване на опцията «—features» няколко пъти за активиране на различни възможности;
• В компилатора е осигурен трети ниво на поддръжка за целеви платформи aarch64-uwp-windows-msvc, i686-uwp-windows-gnu, i686-uwp-windows-msvc, x86_64-uwp-windows-gnu, x86_64-uwp-windows-msvc, armv7-unknown-linux-gnueabi, armv7-unknown-linux-musleabi, hexagon-unknown-linux-musl и riscv32i-unknown-none-elf. Третото ниво предполага основна поддръжка, но без автоматизирано тестване и публикуване на официални сборки.

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