Rust 2021 (1.56) programmeerimiskeele väljalaskmine

Avaldatud on Rust 1.56 süsteemikeele väljaanne, mis põhineb Mozilla projektist, kuid mida arendatakse nüüd sõltumatu mittetulundusühingu Rust Foundation eesotsas. Peale tavaversiooni numbri on väljaanne tähistatud ka kui Rust 2021 ning see tähistab kolme viimase aasta jooksul ettepanekute stabiliseerimist. Rust 2021 toimib samuti aluseks funktsionaalsuse arendamiseks järgmise kolme aasta jooksul, sarnaselt sellele, kuidas Rust 2018 väljaanne oli aluseks keele arengule viimase kolme aasta jooksul.

Arenduse ajal võivad arendajad oma programmides kasutada märke "2015", "2018" ja "2021", et seostada programmid keele olekute lõikega, mis vastavad valitud Rusti väljaannetele. Need väljaanded kasutusele võeti, et eristada ühilduvaid muudatusi ja neid seadistatakse cargo pakettide metainfos läbi väljaande "edition" väljaandeseosas. Näiteks väljaanne "2018" hõlmab stabiliseeritud funktsionaalsust, mis kehtis 2018. aasta lõpuks ja sisaldab kõiki edasisi muudatusi, mis ei kahjusta ühilduvust. Väljaanne "2021" sisaldab lisaks ühilduvust rikkuvaid uuendusi, mis on pakutud praeguses versioonis 1.56 ja kinnitatud tulevikus rakendamiseks. Väljaanded ei käsitle ainult keelt, vaid arvestavad ka tööriistade ja dokumentatsiooni seisundit.

Peamised ühilduvuse probleemid, mis on registreeritud Rust 2021-s:

• Üksikute nimede saamine sulgudes — sulud saavad nüüd haarata eraldi väljanimed kogu identifikaatori asemel. Näiteks "|| a.x + 1" haarab ainult "a.x" asemel "a".
• IntoIterator tüübid massiivide jaoks: array.into_iter() võimaldab massiivi elementide iteratsiooni väärtuste, mitte viidete kaudu.
• макrorules on muudetud «|» (loogiline OR) tehete töötlemine malle — «:pat» spetsiifika musterse nüüd arv mudeleid «A | B».
• paketihaldurisse cargo on vaikimisi lisatud teine versioon võime määratlejat (feature resolver), mille toetust on pakutud Rust 1.51.
• Tüübid (trait) TryFrom, TryInto ja FromIterator on lisatud standardbiblioteegi prelude'i.
• Makrosid panic!(..) ja assert!(expr, ..) kasutatakse nüüd alati stringide vormindamiseks format_args!(..), sarnaselt println!() funktsiooniga.
• Keeles reserveeritud väljendid ident#, ident»…» ja ident’…’ on.
• Hoiatused bare_trait_objects ja ellipsis_inclusive_range_patterns on muudetud vigadeks.

Uudised Rust 1.56:

• Cargo.toml failis sektoris «[package]» on lisatud rust-version väli, millega saab määrata minimaalne toetatud Rusti versioon crate-paketi jaoks. Kui praegune versioon ei vasta määratud parameetrile, katkestab Cargo töö ja väljastab vea.
• Mugavamas iseloomus isikule seondumisel „binding @ pattern“ lake on ellujõudmine lisade käsitsemiseks (nt „let matrix @ Matrix { row_len, .. } = get_matrix();“).
• Stabiilsete versioonide hulka on lisatud uus komplekt API-sid, sealhulgas on stabiliseeritud meetodid ja tüüpide rakendused:
  • std::os::unix::fs::chroot
  • UnsafeCell::raw_get
  • BufWriter::into_parts
  • core::panic::{UnwindSafe, RefUnwindSafe, AssertUnwindSafe}
  • Vec::shrink_to
  • String::shrink_to
  • OsString::shrink_to
  • PathBuf::shrink_to
  • BinaryHeap::shrink_to
  • VecDeque::shrink_to
  • HashMap::shrink_to
  • HashSet::shrink_to
• Rottel 'const', mis määrab võimaluse kasutada seda igas kontekstis konstantide asemel, on rakendatud funktsioonides.
  • std::mem::transmute
  • [T]::first
  • [T]::split_first
  • [T]::last
  • [T]::split_last
• Kompilaator on üle viidud LLVM 13 versiooni kasutusele.
• Teise taseme tugi aarch64-apple-ios-sim platvormi jaoks on rakendatud ning kolmas tase platvormidele powerpc-unknown-freebsd ja riscv32imc-esp-espidf. Kolmas tase tähendab põhilist tuge, kuid ilma automatiseeritud testimiseta, ametlike koostiste väljaandmiseta ja koodi koostamise võimaluste kontrollimiseta.

Tuletame meelde, et Rusti keel keskendub mäluga ohutule töötlusele, tagab automaatse mäluhalduse ja pakub vahendeid ülesannete kõrge paralleelsete täitmise taseme saavutamiseks, ilma et oleks vaja jäätme kogumise süsteemi ja runtime'i (runtime piirdub põhiinitsialiseerimise ja standardteegi hooldusega).

Rustis tagab automaatne mälu haldus arendajale kaitse, vabastades ta erinevate näidikute käsitlemise vigadest ja kaitstes mäluga madalat tööd tehes tekkivate probleemide eest, nagu juurdepääs vabastatud mälu alale, nullviidete lahtimuukimine, puutumatuse ületamine jne. Raamatukogude jagamiseks, ehitamise tagamiseks ja sõltuvuste haldamiseks arendatakse pakihaldur Cargo. Raamatukogude majutamiseks toetatakse reposiiti crates.io.

Allikas: opennet.ru