Programmeerimiskeele Rust 1.36 väljaanne

Avaldatud süsteemse programmeerimise keele väljaanne Rust 1.36, mille on loonud Mozilla. Keel keskendub mälu ohutule kasutamisele, tagab automaatse mälu haldamise ja pakub vahendeid kõrge paralleelsuse saavutamiseks ülesannete täitmisel, kasutamata samas prügikorjajat ja runtime'i.

Rustis tagab automaatne mälu haldamine arendajale mälukäitlemise manipuleerimise vabastamise ja kaitseb madala taseme mälu töötlemisega seotud probleemide eest, nagu mälu kasutamine pärast selle vabastamist, nullviidete de-referentsimine, puhverduspiiride ületamine jne. Raamatukogude jagamiseks, koostamise tagamiseks ja sõltuvuste haldamiseks arendatakse pakihaldurit Cargo, mis võimaldab vajalikke raamatukogusid ühe klikiga hankida. Raamatukogude paigutamiseks toetatakse hoidlapaiku crates.io.

Peamised uuendused:

• Stabiliseeritud tüüp (trait) Tulevik, mille väärtuse arvutamine võib veel olla lõpetamata async / .await plokkide kasutamise protsessi käigus. Future abil määratletud asünkroonsed väärtused võimaldavad jätkata kasulikku tööd, samal ajal oodates kindla väärtuse arvutamise lõpetamist;
• Stabiliseeritud raamatukogu alloc, mis pakub nutikaid osutajaid ja kogusid mäluhalduseks. Mälutaotlemiseks kasutatakse nüüd tüüp Vec, mida imporditakse allocist. Alloc'i eraldi kasutamine on mõistlik programmides, mis ei ole seotud std («#![no_std]»), samuti raamatukogudes, mis on mõeldud kasutamiseks sellistes programmides ilma std-ita;
• Algväärtuste korrektsuse kontrollide ümbersõitmiseks pakutud vahepealne tüüp MaybeUninit, mida saab kasutada mem::uninitialized funktsiooni turvalisema alternatiivina. Funktsioon mem::uninitialized on kasulik kiirete massiivide loomiseks, kuid viib kompilatsiooni eksitusse, kuna loob mulje, et initsialiseerimine on toimunud, samas kui väärtus jääb initsialiseerimata. MaybeUninit võimaldab kompilatorile selgelt näidata, et väärtus on initsialiseerimata, arvestama seotud võimalike määramatute käitumistega ning programmides korraldada kontrolli läbi „maybe_t:” ja etappide lõikes initsialiseerimise, märkides selle lõpetamise „.assume_init()” kasutamisega. MaybeUnit'i tulekuga on funktsioon mem::uninitialized kuulutatud vananenuks ja ei ole soovitatav kasutada.
• NLL (non-lexikalised elueaegade) tehnoloogia, mis laiendab laenatud muutujate eluea arvestuse süsteemi, on stabiliseeritud Rust 2015 keele jaoks (algse NLL toeti ainult Rust 2018). Ahnkuse eluea sidumise asemel lexikaalsel tasandil, teostab NLL arvestust täitmisevoo suhete, mis võimaldab parandada muutujate laenamise kvaliteedi kontrolli (borrow checker) ja lubab teatud tüüpi korrektsete koodide täitmise, mis varem põhjustas viga. Uus käitumine lihtsustab oluliselt ka silumist.
• Uus assotsiatiivsete massiivide teostus on lisatud. HashMap, mis põhineb struktuuri Swiss Table (laaditakse automaatselt hashbrown::HashMap, kui ei ole selgelt määratud muud, näiteks std::HashMap, mis põhineb SipHash 1-3). Programmi liides on jäänud samaks, märgatavad erinevused arendajatele on seotud jõudluse suurenemise ja mälu tarbimise vähenemisega.
• Pakihaldurisse cargo on lisatud „offline“ valik, mis võimaldab töötamist ilma võrguühenduseta, kus sõltuvuste installimisel kasutatakse ainult kohalikus süsteemis vahemälus olevaid pakette. Kui sõltuvust ei ole kohalikes vahemäludes, kuvatakse tõrge. Enne offline-režiimi sisenemist saab sõltuvuste eelnevalt kohalikes vahemäludes laadimiseks kasutada käsku „cargo fetch“;
• Makro „dbg!“ saab nüüd kutsuda, määrates mitu argumenti;
• Märgis „const“, mis määrab kasutamise võimaluse igas kontekstis konstantide asemel, on rakendatud meetoditele
  Layout::from_size_align_unchecked,
  mem::needs_drop,
  NonNull::dangling ja
  NonNull::cast;
• Uue API partii on tõlgitud stabiilsetesse, sealhulgas on stabiliseeritud meetodid
  task::Waker, task::Poll,
  VecDeque::rotate_left, VecDeque::rotate_right,
  Read::read_vectored, Write::write_vectored,
  Iterator::copied,
  BorrowMut (stringide jaoks) ja str::as_mut_ptr.

Allikas: opennet.ru