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

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

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

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

• Стабилизираният типаж (trait) Бъдеще, който представлява стойност, чийто алгоритъм за изчисление може да не е завършен по време на използването на блоковете async / .await. Определените чрез Future асинхронни стойности позволяват продължаване на изпълнението на полезната работа, докато се изчаква завършването на изчисленията на определената стойност;
• Стабилизирана библиотека alloc, предоставяща интелигентни указатели и колекции за управление на стойностите в паметта. За заделяне на памет в std сега се използва типът Vec, който се реекспортира от alloc. Отделното използване на alloc има смисъл в приложения, които не са свързани със std («#![no_std]»), а също и в библиотеки, проектирани за използване в подобни програми без std;
• За заобикаляне на проверките за коректна инициализация на стойностите предложен междинен тип MaybeUninit, който може да се използва вместо функцията mem::uninitialized, като по-безопасна алтернатива. Функцията mem::uninitialized е удобна за бързо създаване на масиви, но създава объркване на компилатора, тъй като установява видимост за извършена инициализация, а всъщност стойността остава неинициализирана. MaybeUninit позволява явно на компилатора, че стойността не е инициализирана, да вземе предвид потенциалното неопределено поведение, както и да организира проверка в програмите чрез «maybe_t:» и стъпкова инициализация с пометка за завършване чрез извикване на «.assume_init()». С появата на MaybeUninit функцията mem::uninitialized е обявена за остаряла и не се препоръчва за употреба;
• Техника NLL (Non-Lexical Lifetimes), която разшири системата за отчитане на времето на живот на заеманите променливи, е стабилизирана за езика Rust 2015 (първоначално NLL се поддържаше само в Rust 2018). Вместо привързване на времето на живот на лексическо ниво, NLL извършва отчитане на ниво на указатели в графа на потока на изпълнение. Подобен подход позволява да се увеличи качеството на проверките за заемане на променливи (borrow checker) и да се допусне изпълнението на някои видове коректен код, употребата на който преди това водеше до грешки. Новото поведение значително опростява отстраняването на грешки;
• Добавена е нова реализация на асоциативни масиви HashMap, основана на приложение на структурата Swiss Table (автоматично зареждане hashbrown::HashMap, ако не е изрично посочено друго, например, std::HashMap, базиран на SipHash 1-3). Програмният интерфейс остана същия, а забележителните различия за разработчиците се заключават в увеличаването на производителността и намаляването на потреблението на памет;
• В пакетния мениджър cargo е добавена опцията „—offline“, която включва режим на работа без интернет, при който при инсталирането на зависимости се използват само кешираните локално пакети. Ако зависимостта липсва в локалния кеш, ще бъде изведена грешка. За предварително зареждане на зависимостите в локалния кеш преди преминаване в offline режим може да се използва командата „cargo fetch“;
• Добавена е възможността да се извиква макроса „dbg!“ с указание на няколко аргумента;
• Признакът „const“, който определя възможността за използване в контекста на константи, е приложен за методите
  Layout::from_size_align_unchecked,
  mem::needs_drop,
  NonNull::dangling и
  NonNull::cast;
• В разряд стабилни е преведена нова порция API, в това число стабилизирани методи
  task::Waker, task::Poll,
  VecDeque::rotate_left, VecDeque::rotate_right,
  Read::read_vectored, Write::write_vectored,
  Iterator::copied,
  BorrowMut (за стрингове) и str::as_mut_ptr.

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