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

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

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

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

• Чертата е стабилизирана Бъдеще, което представлява стойност, чиято оценка може все още да не е завършена, докато използвате async / .await блокове. Асинхронните стойности, дефинирани с помощта на Future, позволяват да продължите да изпълнявате полезна работа в нишката, като същевременно чакате завършването на изчисленията на определена стойност;
• Библиотеката е стабилизирана разпределя, който предоставя интелигентни указатели и колекции за управление на стойности, разпределени в паметта. Разпределението на паметта в std вече използва типа ВЕЦ, които се реекспортират от алок. Отделното използване на alloc има смисъл в приложения, които не са обвързани със std (“#![no_std]”), както и в библиотеки, предназначени за използване в подобни програми без std;
• За да заобиколите проверките за правилна инициализация на стойностите предложено междинен тип Може би единица, който може да се използва вместо функцията mem::uninitialized като по-безопасна алтернатива. Функцията mem::uninitialized е удобна за бързо създаване на масиви, но заблуждава компилатора, защото изглежда, че е инициализирана, но в действителност стойността остава неинициализирана. MaybeUninit ви позволява изрично да посочите на компилатора, че стойността е неинициализирана, за да вземете предвид възможното недефинирано поведение, свързано с това, и също така да организирате проверки в програмите чрез „maybe_t:“ и инициализация стъпка по стъпка, отбелязвайки нейното завършване използвайки извикването „.assume_init()“. С появата на MaybeUninit функцията mem::uninitialized е отхвърлена и не се препоръчва за използване;
• Техниката NLL (Non-Lexical Lifetimes), която разшири системата за записване на живота на заимстваните променливи, е стабилизирана за езика Rust 2015 (първоначално NLL се поддържа само от Rust 2018). Вместо да ангажира времена на живот на лексикално ниво, NLL прави това на ниво набор от указатели в графиката на потока на изпълнение. Този подход ви позволява да повишите качеството на проверката на заемането на променливи (проверка на заемане) и да позволите изпълнението на някои видове правилен код, чието използване преди това е довело до грешка. Новото поведение също прави отстраняването на грешки много по-лесно;
• Включена е нова реализация на асоциативни масиви HashMap, въз основа на приложението на структурата Швейцарска маса (зарежда се автоматично hashbrown::HashMap, освен ако изрично не е посочено друго, като например std::HashMap, който е базиран на SipHash 1-3). Софтуерният интерфейс остава същият, а разликите, забележими за разработчика, се свеждат до повишена производителност и намалено потребление на памет;
• В мениджъра на пакети товари добави опцията „--offline“, която позволява работа без достъп до мрежата, в която при инсталиране на зависимости се използват само пакети, кеширани в локалната система. Ако зависимостта не е в локалния кеш, ще бъде изведена грешка. За да заредите предварително зависимости в локалния кеш, преди да излезете офлайн, можете да използвате командата „cargo fetch“;
• Въведена е възможност за извикване на макроса „dbg!“ посочване на няколко аргумента;
• Атрибутът „const“, който определя възможността за използване във всеки контекст вместо константи, се използва за методи
  Layout::from_size_align_unchecked,
  mem::needs_drop,
  NonNull::висящи и
  NonNull::cast;

• Нова част от API е прехвърлена в стабилната категория, включително методи, които са стабилизирани
  task::Waker, task::Poll,
  VecDeque::rotate_left, VecDeque::rotate_right,
  Read::read_vectored, Write::write_vectored,
  Итератор::копиран,
  BorrowMut (за низове) и str::as_mut_ptr.

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