Välja on antud programmeerimiskeel Rust 1.73

Avalikustatud üldotstarbelise programmeerimiskeele Rust 1.73 väljaanne, mille on loonud Mozilla, kuid mida arendab praegu sõltumatu mittetuluorganisation Rust Foundation. Keele keskmes on ohutu mälu haldus ning see pakub vahendeid ülesannete kõrge paralleelsuse saavutamiseks, samal ajal vältides prügikorjaja ja väljavaate (runtime'i) kasutamist, mis piirdub ainult põhialustamise ja standardraamatukogu hooldamisega.

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:

• Uuendatud on vaikimisi programmivigu käsitleva käskluse (panic) väljastatavate teadete kujundust. Makros "panic!" antud tekst kuvatakse nüüd eraldi real ilma jutumärkideta, mis parandab sõnumi loetavust ja kõrvaldab võimaliku segaduse, kui seal on siseruumi jutumärke või ridade jagunemist. fn main() { let file = "ferris.txt"; panic!("oh ei! {file:?} ei leitud!"); } Varem thread ‘main’ panicked at ‘oh ei! "ferris.txt" ei leitud!’, src/main.rs:3:5 Nüüd thread ‘main’ panicked at src/main.rs:3:5: oh ei! "ferris.txt" ei leitud!

  Sama moodi on uuendatud ka makrode "assert_eq" ja "assert_ne" vigade väljastamise. fn main() { assert_eq!("🦀", "🐟", "ferris ei ole kala"); } Varem thread ‘main’ panicked at ‘assertion failed: `(left == right)` left: `"🦀"`, right: `"🐟"`: ferris ei ole kala’, src/main.rs:2:5 Nüüd thread ‘main’ panicked at src/main.rs:2:5: assertion `left == right` failed: ferris ei ole kala left: "🦀" right: "🐟"

• RFC 3184 kohaselt on lisatud võimalus otse manipuleerida niidile (thread_local) kohandatud võtmetega LocalKey<Cell> ja LocalKey<RefCell> meetodite get(), set(), take() ja replace() abil, selle asemel, et kasutada sulgud "with(|inner| …)", mis võimaldab vältida täiendava initsialiseerimise koodi täitmist vaikimisi väärtuste jaoks, mis on määratud uustele niidele makros "thread_local!" abil. thread_local! { static THINGS: Cell<Vec> = Cell::new(Vec::new()); } fn f() { // varem THINGS.with(|i| i.set(vec![1, 2, 3])); // nüüd THINGS.set(vec![1, 2, 3]); // … // varem let v = THINGS.with(|i| i.take()); // nüüd let v: Vec = THINGS.take(); }
• Stabiilsete versioonide hulka on lisatud uus komplekt API-sid, sealhulgas on stabiliseeritud meetodid ja tüüpide rakendused:
  • Unsigned {integer}::div_ceil
  • Unsigned {integer}::next_multiple_of
  • Unsigned {integer}::checked_next_multiple_of
  • std::ffi::FromBytesUntilNulError
  • std::os::unix::fs::chown
  • std::os::unix::fs::fchown
  • std::os::unix::fs::lfchown
  • LocalKey::<Cell>::get
  • LocalKey::<Cell>::set
  • LocalKey::<Cell>::take
  • LocalKey::<Cell>::replace
  • LocalKey::<RefCell>::with_borrow
  • LocalKey::<RefCell>::with_borrow_mut
  • LocalKey::<RefCell>::set
  • LocalKey::<RefCell>::take
  • LocalKey::<RefCell>::replace
• Konstantse märgendiga `const`, mis määrab võimaluse kasutada konstandina igas kontekstis, on rakendatud funktsioonides:
  • rc::Weak::new
  • sync::Weak::new
  • NonNull::as_ref
• Kompilaatoris on tagatud versiooniteabe salvestamine jaotises ".comment", sarnaselt GCC ja Clang'iga.
• On rakendatud kolmas toetuse tase platvormidele aarch64-unknown-teeos, csky-unknown-linux-gnuabiv2, riscv64-linux-android, riscv64gc-unknown-hermit, x86_64-unikraft-linux-musl ja x86_64-unknown-linux-ohos. Kolmas tase võimaldab põhitoetust, kuid ilma automatiseeritud testimise, ametlike kogumite väljastamise ja koodikogumise kontrollimiseta.
• On rakendatud teine toetuse tase sihtplatvormile wasm32-wasi-preview1-threads. Teine tase tagab kogumise.

Allikas: opennet.ru