Rust 1.91 väljalase

Moziilla projekti alusel arendatud ja praegu iseseisva mittetulundusorganisatsiooni Rust Foundationi haldamine alla kuuluv programmeerimiskeel Rust 1.91 on avaldatud. Keele fookus on mälutööde ohutuse tagamisel ning see pakub vahendeid kõrge ülesannete samaaegse täitmise saavutamiseks, samas kasutamata prügikoristajat ja runtime'i (runtime piirdub põhiinitialiseerimise 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:

• 64-bitiste ARM-süsteemide toetust Windowsi operatsioonisüsteemiga on parandatud. Sihtplatvorm «aarch64-pc-windows-msvc» on tõstetud teiselt toetasemelt esimeseks. Arhitektuuride aarch64-pc-windows-gnullvm ja x86_64-pc-windows-gnullvm jaoks on tagatud teine toetaseme tase. Esimene toetaseme tase tähendab binaarselt kogumiste genereerimist, põhjalikku testimist ja platvormi kõrgeima toetuse tagamist — iga muudatus kompilaatoris kontrollitakse täiendava testikomplekti käivitamisega. Teine toetaseme tase hõlmab binaarselt kogumite genereerimist ja kogumise tagamise garantii andmist, kuid ei garanteeri testikomplekti läbimist. Kolmas toetaseme tase katab baastoetuse, kuid ilma automatiseeritud testimise, ametlike kogumite avaldamise ja koodi kogumise võimaluse kontrollimiseta.
• Lisatud lint-hoiatuse «dangling_pointers_from_locals» funktsioonide viidatud raw-viidete (dangling raw pointer) tagastamise tuvastamiseks, mis viitavad kohalikele muutujatele, mis on määratud kutset teinud funktsioonis. Sellised muutujad kustutatakse pärast funktsiooni lõpetamist ning sealsete muutujate andmetele viitavad raw-viidud muutuvad rippuvateks, st viitavad vabastatud mälule. Sellise viidu järgmine dereferentseerimine põhjustab määramatut käitumist. fn f() -> *const u8 { let x = 0; &x // hoiatus: rippuv viid on genereeritud, kuna kohalik muutuja «x» kustutatakse }
• Lisatud lint-hoiatus «integer_to_ptr_transmutes», mis teavitab täisarvude teisendamisest viidete jaoks funktsiooni std::mem::transmute abil.
• Pakihalduris Cargo on stabiliseeritud parameetri «build.build-dir» tugi, mis määrab kausta ajutiste ehitusartefaktide säilitamiseks, mille cargo ja rustc genereerivad ehitusprotsessi käigus.
• ABI sysv64, win64, efiapi ja aapcs jaoks on stabiliseeritud funktsioonide deklareerimise tugi, millel on muutuva arvu argumente C keeles.
• LoongArch32 arhitektuuri jaoks on stabiliseeritud inline-assembleri tugi.
• Uus hulk API-d on viidud stabiilsuse tasemele, sealhulgas on stabiliseeritud meetodid ja tüübispetsiifikatsioonide rakendused:
  • Path::file_prefix
  • AtomicPtr::fetch_ptr_add
  • AtomicPtr::fetch_ptr_sub
  • AtomicPtr::fetch_byte_add
  • AtomicPtr::fetch_byte_sub
  • AtomicPtr::fetch_or
  • AtomicPtr::fetch_and
  • AtomicPtr::fetch_xor
  • {integer}::strict_add
  • {integer}::strict_sub
  • {integer}::strict_mul
  • {integer}::strict_div
  • {integer}::strict_div_euclid
  • {integer}::strict_rem
  • {integer}::strict_rem_euclid
  • {integer}::strict_neg
  • {integer}::strict_shl
  • {integer}::strict_shr
  • {integer}::strict_pow
  • i{N}::strict_add_unsigned
  • i{N}::strict_sub_unsigned
  • i{N}::strict_abs
  • u{N}::strict_add_signed
  • u{N}::strict_sub_signed
  • PanicHookInfo::payload_as_str
  • core::iter::chain
  • u{N}::checked_signed_diff
  • core::array::repeat
  • PathBuf::add_extension
  • PathBuf::with_added_extension
  • Duration::from_mins
  • Duration::from_hours
  • impl PartialEq<str> for PathBuf
  • impl PartialEq<String> for PathBuf
  • impl PartialEq<str> for Path
  • impl PartialEq<String> for Path
  • impl PartialEq<PathBuf> for String
  • impl PartialEq<Path> for String
  • impl PartialEq<PathBuf> for str
  • impl PartialEq<Path> for str
  • Ipv4Addr::from_octets
  • Ipv6Addr::from_octets
  • Ipv6Addr::from_segments
  • impl<T> Default for Pin<Box<T>> where Box<T>: Default, T: ?Sized
  • impl<T> Default for Pin<Rc<T>> where Rc<T>: Default, T: ?Sized
  • impl<T> Default for Pin<Arc<T>> where Arc<T>: Default, T: ?Sized
  • Cell::as_array_of_cells
  • u{N}::carrying_add
  • u{N}::borrowing_sub
  • u{N}::carrying_mul
  • u{N}::carrying_mul_add
  • BTreeMap::extract_if
  • BTreeSet::extract_if
  • impl Debug for windows::ffi::EncodeWide<‘_>
  • str::ceil_char_boundary
  • str::floor_char_boundary
  • impl Sum for Saturating<u{N}>
  • impl Sum<&Self> for Saturating<u{N}>
  • impl Product for Saturating<u{N}>
  • impl Product<&Self> for Saturating<u{N}>
• Märgis „const“ on rakendatud funktsioonides:
  • <[T; N]>::each_ref
  • <[T; N]>::each_mut
  • OsString::new
  • PathBuf::new
  • TypeId::of
  • ptr::with_exposed_provenance
  • ptr::with_exposed_provenance_mut
• Koojalikator on uuendatud LLVM 21 haru versiooniks.

Allikas: opennet.ru