Programmikeele Rust 1.38 väljaanne

Avaldatud süsteemse programmeerimise keele väljaanne Rust 1.38, 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:

• Lisatud on torujõudude kompileerimise režiim (pipelined), mille käigus algab sõltuva crate-paketi koostamine kohe, kui sõltuvuste metaandmed on saadaval, ootamata selle kompileerimise lõpetamist. Paketi kompileerimiseks ei ole vaja, et sõltuvused oleksid täielikult kompileeritud, piisab ainult metaandmete määratlemisest, mis hõlmavad tüübilisti, sõltuvusi ja eksporditavaid elemente. Metaandmed on saadaval kompileerimise algfaasis, seega saab seotud pakette nüüd alustada palju varem. Üksikute pakkide koostamisel ei mõjuta ettepanekud režiim jõudlust, kuid kui koostamine hõlmab pakette keeruliste sõltuvustega, võib kogu koostamisaeg väheneda 10-20%;
• Tagatakse valefunktsioonide tuvastamine std::mem::uninitialized ja std::mem::zeroed. Näiteks on std::mem::uninitialized mugav massiivide kiireks loomiseks, kuid see petab kompilaatorit, kuna tekitab illusiooni, et initsialiseerimine on toimunud, samas kui väärtus jääb initsialiseerimata. Funktsioon mem::uninitialized on juba deklareeritud aegunuks ja selle asemel soovitatakse kasutada vahetype. MaybeUninit. Mis puudutab mem::zeroed, siis see funktsioon võib põhjustada probleeme tüüpidega, mis ei saa vastu võtta nullväärtusi.

  Uue väljaande kompilaatorisse on lisatud lint-kontroll, et tuvastada määramatut käitumist, tuvastades mõningaid probleeme mem::uninitialized või mem::zeroed kasutamisega. Näiteks antakse nüüd tõrketeade, kui proovida kasutada mem::uninitialized või mem::zeroed tüüpide &T ja Box‹T› puhul, mis esindavad objekti viiteid, mis ei saa vastu võtta nullväärtusi;

• On laiendatud atribuutide «#[deprecated]» kasutusvõimalusi, mis võimaldavad märgistada crate-pakette aegunuks ja tulevikus eemaldamiseks kavandatuks. Alates Rust 1.38 versioonist võib seda atribuuti rakendada ka makrode puhul;
• On lisatud võimalus rakendada atribuuti «#[global_allocator]» alamoodulites;
• Lisa funktsionaalsus std::any::type_name, mis võimaldab teada saada tüüpi nime, mis võib olla kasulik silumiseks. Näiteks täitmise ajal saab teada, millise tüübiga funktsioon on kutsutud:

  fn gen_value‹T: Default›() -› T {
  println!("Initializing an instance of {}", std::any::type_name::‹T›());
  Default::default()
  }

  fn main() {
  let _: i32 = gen_value(); # väljapanev „i32“
  let _: String = gen_value(); # väljapanev „alloc::string::String“
  }

• Standardsüsteemi funktsioonid on laienenud:
  • slice::{concat, connect, join} võib nüüd aktsepteerida väärtust &[T] lisaks &T;
  • "*const T" ja "*mut T" rakendavad nüüd marker::Unpin;
  • "Arc‹[T]›" ja "Rc‹[T]›" rakendavad nüüd FromIterator‹T›;
  • iter::{StepBy, Peekable, Take} rakendavad nüüd DoubleEndedIterator.
  • ascii::EscapeDefault rakendab Clone ja Display.
• Uue API partii on tõlgitud stabiilsetesse, sealhulgas on stabiliseeritud meetodid
  • ‹*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},
  • jääkide jagamise operatsioonid
    div_euclid ja rem_euclid kõigi täisarvudega primitiivide jaoks;
• Paketihaldurisse cargo on lisatud toetus „—features” valiku mitu korda määramiseks erinevate võimaluste aktiveerimiseks;
• Kompilaatoris on tagatud kolmas tase toetust sihtrite platvormidele 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 ja riscv32i-unknown-none-elf. Kolmas tase eeldab põhilist toetust, kuid ilma automatiseeritud testimise ja ametlike ehituste avaldamiseta.

Allikas: opennet.ru