Rust 1.82 väljalaskmine. Uus brauser Rustis. Rusti kasutamine Volvos

Avaldatud on universaalse programmeerimiskeele Rust 1.82 versioon, mille arendust alustas projekt Mozilla, kuid mida praegu arendab sõltumatu mittetulusühing Rust Foundation. Keele fookus on mälu ohutul ning see pakub vahendeid kõrge samal ajal ülesannete täitmiseks, samas töötades ilma prügikoristaja ja ajakeeleta (ajakeel piirdub põhihaldamise ja standardteegi toetamisega).

Mäluga töötamise meetodid Rust'is vabastavad arendajad pointerite manipulatsiooni vigadest ja kaitsevad neid probleemide eest, mis tulenevad madala taseme mälu haldamisest, nagu mälualale pärast selle vabastamist juurdepääs, null-pointerite dereferentseerimine, puhverserveri piiridest väljumine jne. Raamatukogude levitamiseks, kokkupaneku tagamiseks ja sõltuvuste haldamiseks arendatakse paketihaldurit Cargo. Raamatukogude majutamiseks toetatakse repoturite crates.io.

Mäluhügieen Rust'is tagatakse kompileerimise ajal viidete kontrollimise, objektide omandi jälgimise, objektide eluaja (vaateala) arvestamise ja mälule juurdepääsu korrektuse hindamise kaudu koodi täitmise ajal. Rust pakub ka vahendeid täisarvude ülevoolude vältimiseks, nõuab muutujate väärtuste kohustuslikku initsialiseerimist enne kasutamist, käsitleb vigu paremini standardraamatukogus, rakendab muutumatuse (immutable) mõistet viidete ja muutujate jaoks vaikimisi ning pakub tugevat staatilist tüüpimist loogiliste vigade vähendamiseks.

Peamised uuendused:

• Pakihaldurisse cargo on lisatud käsk 'info', et kuvada teavet paketi kohta repos.
• Lisatud on 'use<..>' süntaks 'impl Trait', mis määratleb teavet varjatud tüüpide kohta. Näiteks 'impl Trait + use<'x, T>' näitab, et varjatud tüübis on lubatud kasutada vaid parameetreid 'x' ja 'T'.
• Pakutud on eraldi süntaks raw-näidikute loomiseks, mis asendab varem kasutatud makrosid: makro 'addr_of!(expr)' asendatakse operaatoriga '&raw const expr', ning makro 'addr_of_mut!(expr)' asendatakse operaatoriga '&raw mut expr'. struct Packed { not_aligned_field: i32, } fn main() { let p = Packed { not_aligned_field: 1_82 }; // Vana viis raw-näidiku loomiseks let ptr = std::ptr::addr_of!(p.not_aligned_field); // Uus viis raw-näidiku loomiseks let ptr = &raw const p.not_aligned_field; let val = unsafe { ptr.read_unaligned() }; }
• Antud on võimalus määratleda ohutud (safe) funktsioonid ja konstantid elueaga 'static' extern-plokkides, millel on tunnus 'unsafe' (varem said kõik elemendid 'unsafe extern' olla ainult tunnusega 'unsafe'): unsafe extern { pub safe static TAU: f64; pub safe fn sqrt(x: f64) -> f64; pub unsafe fn strlen(p: *const u8) -> usize; }
• Atribuudid no_mangle, link_section ja export_name, mis võivad põhjustada määramatut käitumist, loetakse nüüd ebaturvaliseks ja nõuavad selget märgistamist 'unsafe' tunnusega, näiteks: #[unsafe(no_mangle)] pub fn my_global_function() { }
• Musteruhtestamisel on lubatud jätta tühjad tüübid, nagu 'enum Void {}' või struktuurid koos nähtava tühja väljad. use std::convert::Infallible; pub fn unwrap_without_panic<T>(x: Result<T, Infallible>) -> T { let Ok(x) = x; // 'Err' saab jätta vahele x }
• Ujukomaarvude tüüpide (f32 ja f64) käitlemine mitte-arvuliste väärtuste NaN (0.0/0.0) osas on standardiseeritud, samuti on lubatud ujukomaoperatsioonide kasutamine const fn-is.
• Assembly insertions allow the use of operands with the 'const' qualifier for the direct use of integer values without their prior storage in a register. const MSG: &str = "Hello, world!\n"; unsafe { core::arch::asm!( "mov rdx, {LEN} // will generate instruction 'mov rdx, 14'", LEN = const MSG.len(), … ); }
• Addressing expressions with the 'static' qualifier is allowed in a safe context without defining an unsafe block (the operators '&raw mut' and '&raw const' do not affect the operand value and only create a pointer to it): 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; }
• Uus hulk API-d on viidud stabiilsuse tasemele, sealhulgas on stabiliseeritud meetodid ja tüübispetsiifikatsioonide 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