Rust 1.82 väljaanne. Uus veebibrauser Rustis. Rusti kasutamine Volvos.

Avaldatud on üldotstarbelise programmeerimiskeele Rust 1.82 versioon, mille on loonud Mozilla, kuid mis on nüüd arendatud sõltumatu mittetulundusühingu Rust Foundation all. Keel keskendub mäluga ohutule töötamisele ja pakub liideseid, et saavutada kõrge paralleelsus ülesannete täitmisel, samal ajal vältides prügikoristajat ja runtime'i (runtime koosneb ainult põhi-initsialiseerimisest ja standardraamatukogu toetamisest).

Rustis olevad mäluhaldusmeetodid vabastavad arendajad probleemidest, mis on seotud osutitega, ning kaitsevad madala taseme mälutöötlusest tulenevate probleemide, nagu vabanenud mälu alale juurdepääs, nullosutite de-referentseerimine, mälupiiride ületamine jne. Raamatukogude levitamiseks, projekti koostamise ja sõltuvuste haldamiseks arendatakse pakihaldurit Cargo. Raamatukogude paigutamiseks toetatakse repo crates.io.

Rust tagab turvalise mälutöötluse kompilatsiooni ajal, kontrollides viiteid, jälgides objektide omandit, arvestades objektide elutsüklit (nähtavust) ja hinnates mälule juurdepääsu õigsust koodi käitamise ajal. Rust pakub ka meetmeid enamike täisarvude ületamiste vältimiseks, nõuab muutujate väärtuste algväärtustamist enne kasutamist, käsitleb vigasid paremini oma standardraamatukogus, rakendab immutamatuse (immutable) kontseptsiooni viidetes ja muutujates vaikimisi ning pakub tugevat staatilist tüüpimist loogiliste vigade minimeerimiseks.

Põhilised uuendused:

• Paketihaldurisse cargo on lisatud käsk „info”, mis prindib teavet paketi kohta reposs.
• Lisatud on toetust süntaksile „use” „impl Trait” keeles, mis määratleb teavet varjatud tüüpide kohta. Näiteks „impl Trait + use” näitab, et varjatavas tüübiks on lubatud kasutada vaid parameetreid „x” ja „T”.
• Pakutakse eraldi süntaks raw-viidete loomise jaoks, mis asendab varem kasutatud makrosid: makro „addr_of!(expr)” on asendatud operaatoriga „&raw const expr”, ja makro „addr_of_mut!(expr)” on asendatud operaatoriga „&raw mut expr”. struct Packed { not_aligned_field: i32, } fn main() { let p = Packed { not_aligned_field: 1_82 }; // Vanar stiil raw-viidete loomise jaoks let ptr = std::ptr::addr_of!(p.not_aligned_field); // Uus stiil raw-viidete loomise jaoks let ptr = &raw const p.not_aligned_field; let val = unsafe { ptr.read_unaligned() }; }
• Selle kaudu on võimalik määratleda ohutud funktsioonid ja konstantid, mille eluiga on 'static', extern-blokkides, kus on „unsafe” märge (varem võisid kõik elemendid „unsafe extern” sisaldada ainult „unsafe” märget): unsafe extern { pub safe static TAU: f64; pub safe fn sqrt(x: f64) -> f64; pub unsafe fn strlen(p: *const u8) -> usize; }
• Märgid no_mangle, link_section ja export_name, mis võivad põhjustada määramatut käitumist, loetakse nüüd ohtlikuks ja nõuavad selget märki „unsafe”, näiteks: #[unsafe(no_mangle)] pub fn my_global_function() { }
• Musterjärjendusel on lubatud vahele jätta tühjad tüübid, nagu „enum Void {}” või struktuurid, millel on nähtav tühi väli. use std::convert::Infallible; pub fn unwrap_without_panic(x: Result) -> T { let Ok(x) = x; // „Err” võib vahele jätta x }
• Kaudsete numbrite tüüpide (f32 ja f64) puhul on standardiseeritud käitumine mittearvuliste väärtuste NaN (0.0/0.0) töötlemisel, samuti on lubatud ujuva koma operatsioonide kasutamine const fn-is.
• Assempleris on võimalik kasutada operandaid, millel on „const” märk, et otse kasutada täisarvulisi väärtusi ilma nende eelneva salvestamiseta registrisse. const MSG: &str = "Hello, world!\n"; unsafe { core::arch::asm!( "mov rdx, {LEN} // luuakse käsk 'mov rdx, 14'", LEN = const MSG.len(), … ); }
• Lubatud on väljendite adresseerimine, millel on „static” märk, ohutuskontekstis ilma unsafe ploki määratlemiseta (operaatorid „&raw mut” ja „&raw const” ei mõjuta operandide väärtust ning loovad ainult viite): static mut STATIC_MUT: Type = Type::new(); extern „C” { static EXTERN_STATIC: Type; } fn main() { let static_mut_ptr = &raw mut STATIC_MUT; let extern_static_ptr = &raw const EXTERN_STATIC; }
• Stabiilsete versioonide hulka on lisatud uus komplekt API-sid, sealhulgas on stabiliseeritud meetodid ja tüüpide rakendused:
  • std::thread::Builder::spawn_unchecked
  • std::str::CharIndices::offset
  • std::option::Option::is_none_or
  • [T]::is_sorted
  • [T]::is_sorted_by
  • [T]::is_sorted_by_key
  • Iterator::is_sorted
  • Iterator::is_sorted_by
  • Iterator::is_sorted_by_key
  • std::future::Ready::into_inner
  • std::iter::repeat_n
  • impl DoubleEndedIterator for Take
    
    Allikas: opennet.ru