ĂshtĂ« publikuar versioni 1.79 i gjuhĂ«s sĂ« programimit tĂ« pĂ«rgjithshĂ«m Rust, e cila Ă«shtĂ« bazuar nĂ« projektin Mozilla, por tani po zhvillohet nĂ«n mbikĂ«qyrjen e njĂ« organizate tĂ« pavarur jofitimprurĂ«se, Rust Foundation. Gjuha fokusohet nĂ« sigurinĂ« e menaxhimit tĂ« memories dhe ofron mjete pĂ«r arritjen e njĂ« paralelizmi tĂ« lartĂ« nĂ« ekzekutimin e detyrave, pa pĂ«rdorur njĂ« mbledhĂ«s tĂ« plehrave dhe runtime (runtime reduktohet nĂ« inicializimin e bazĂ«s dhe nĂ« mbĂ«shtetje tĂ« bibliotekĂ«s standarde).
Metodat e punës me kujtesën në Rust e çlirojnë zhvilluesin nga gabimet gjatë manipulimit me treguesit dhe e mbrojnë atë nga problemet që lindin për shkak të punës me kujtesën në nivel të ulët, si qasja në një zonë kujtese pas çlirimit të saj, dereferencimi i treguesve null, dalja jashtë kufijve të buffers etj. Për shpërndarjen e bibliothekave, sigurimin e ndërtimit dhe menaxhimin e varësive, projekti zhvillohet me menaxherin e paketave Cargo. Për mbështetje të bibliothekave, ekziston një repository crates.io.
Puna e sigurt me kujtesën sigurohet në Rust gjatë kompilimit përmes verifikimit të referencave, ndjekjes së pronësisë së objekteve, llogaritjes së kohëzgjatjes së jetës së objekteve (fushave të dukshmërisë) dhe vlerësimit të saktësisë së qasjes në kujtesë gjatë ekzekutimit të kodit. Rust gjithashtu ofron mjete për mbrojtjen nga tejkalimet e numrave të plotë, kërkon inicializimin e detyrueshëm të vlerave të variablave para përdorimit, trajton më mirë gabimet në bibliotekën standarde, aplikon konceptin e referencave dhe variablave të pandryshueshëm (immutable) si standard dhe ofron tipizimin e fortë statik për të minimizuar gabimet logjike.
Novitetet kryesore:
- ĂshtĂ« shtuar mbĂ«shtetje pĂ«r konstanta inline, tĂ« cilat mund tĂ« specifikohen direkt nĂ« kod pĂ«rmes blloqeve «const { ⊠}», tĂ« cilat trajtohen nĂ« kontekstin e konstantave dhe lejojnĂ« qĂ« tĂ« kaloni pa njĂ« pĂ«rcaktim tĂ« veçantĂ« tĂ« konstantave. Kodi i specifikuar nĂ« bllokun «const { ⊠}» llogaritet nĂ« fazĂ«n e kompilimit dhe pĂ«rdoret si njĂ« konstantĂ«, pa u ekzekutuar gjatĂ« punĂ«s sĂ« programit. NĂ« kundĂ«rshtim me pĂ«rcaktimin e konstantave pĂ«rmes shprehjes «const ITEM: ⊠= âŠÂ», nĂ« blloqet «const { ⊠}» nuk Ă«shtĂ« e nevojshme tĂ« specifikoni tipin, pasi ato mbĂ«shtesin ĐČŃĐČĐŸĐŽ ŃÓ©Ńs Đ°ĐČŃĐŸĐŒĐ°ŃĐžĐș. PĂ«r shembull, kodi me pĂ«rcaktim tĂ« veçantĂ« tĂ« konstantĂ«s
const EMPTY: Option<Vec> = None;
let foo = [EMPTY; 100];mund të zëvendësohet me përdorim në vend:
let foo = [const { None }; 100];
- Sintaksa «T: Trait» është stabilizuar për caktimin e kufizimeve në pozitën e tipit asocijativ, duke lejuar shkurtimin e përcaktimeve të shprehjeve me kufizime të ngulitura, të cilat më parë kërkonin specifikimin e një impl Trait të ngulitur ose disa kushte «where».
- ĂshtĂ« siguruar automatikisht zgjerimi i kohĂ«zgjatjes sĂ« vlerave tĂ« pĂ«rkohshme qĂ« pĂ«rdoren nĂ« strukturat «match» dhe «if».
let a = if true {
..;
&temp() // koha e jetës do të zgjatet
} else {
..;
&temp() // koha e jetës do të zgjatet
}; - ĂshtĂ« stabilizuar mundĂ«sia e importit tĂ« funksionit main nga module dhe paketat crate tĂ« tjera.
- Gjatë ndërtimit të bibliotekës standarde në kompajler, është aktivizuar flamuri «-Cforce-frame-pointers=yes», që shton të dhëna për rindërtimin e stack-ut gjatë profilizimit të programeve.
- Një grup i ri API u kalua në kategorinë e stabilizuar, përfshirë stabilizimin e metodave dhe implementimeve të trait-ëve:
- {integer}::unchecked_add
- {integer}::unchecked_mul
- {integer}::unchecked_sub
- ::split_at_unchecked
- ::split_at_mut_unchecked
- ::utf8_chunks
- str::Utf8Chunks
- str::Utf8Chunk
- ::is_aligned
- ::is_aligned
- NonNull::is_aligned
- ::len
- ::len
- ::is_empty
- ::is_empty
- NonNull::::is_empty
- CStr::count_bytes
- io::Error::downcast
- num::NonZero
- path::absolute
- proc_macro::Literal::byte_character
- proc_macro::Literal::c_string
- Atributi «const», që përcakton mundësinë e përdorimit në çdo kontekst në vend të konstantëve, aplikohet në funksione:
- Atomic*::into_inner
- io::Cursor::new
- io::Cursor::get_ref
- io::Cursor::position
- io::empty
- io::repeat
- io::sink
- panic::Location::caller
- panic::Location::file
- panic::Location::line
- panic::Location::column
- Stabilizuar
një pjesë e mundësive që mund të përdoren gjatë kompilimit në përfaqësimin ndërmjetës Webassembly (WASM). - Krahasuar me mbështetje të tretë për platforma aarch64-apple-visionos, aarch64-apple-visionos-sim dhe riscv32ima-unknown-none-elf. Mbështetje e tretë nënkupton mbështetje bazë, por pa testim automatizuar, publikimin e ndërtimeve zyrtare dhe verifikimin e mundësisë për ndërtimin e kodit.
- Krahasuar me mbështetje të dytë për platformat e synuara aarch64-pc-windows-gnullvm, i686-pc-windows-gnullvm dhe x86_64-pc-windows-gnullvm. Mbështetje e dytë nënkupton garanci për ndërtim.
Për më tepër, organizata Rust Foundation, e cila mbikëqyr ekosistemin e lidhur me gjuhën Rust, shpalli krijimin e konsorciumit "Safety-Critical Rust Consortium", i fokusuar në përdorimin e gjuhës Rust në zgjidhje që kërkojnë besueshmëri të lartë (Software të Rëndësishëm për Sigurinë), ku një dështim mund të rrezikonte jetën e njerëzve, të dëmtonte mjedisin ose të sillte dëmtime serioze në pajisje. Konsorciumi përfshin kompani si ARM, AdaCore, Ferrous Systems, OxidOS, Synopsys, HighTec EDV-Systeme GmbH, TrustInSoft, Veecle dhe Woven nga Toyota. Ndër detyrat që do të zgjidhë konsorciumi, përmenden shkruajtja e udhëzimeve dhe zhvillimi i bibliotekave, linters dhe analizatorëve statikë, si dhe aplikimi i metodave të verifikimit formal të besueshmërisë dhe zhvillimi i nëngrupeve të gjuhës për sisteme me besueshmëri të lartë.
Nga projektet e lidhura me sistemet me besueshmĂ«ri tĂ« lartĂ«, mund tĂ« pĂ«rmendet Verus â njĂ« mjet pĂ«r kontrollin e saktĂ«sisĂ« sĂ« kodit tĂ« shkruar nĂ« gjuhĂ«n Rust. Kontrolli bĂ«het pĂ«rmes pĂ«rcaktimit tĂ« specifikimeve qĂ« pĂ«rshkruajnĂ« sjelljen e lejuar tĂ« kodit. GjatĂ« ekzekutimit tĂ« kodit, Verus kontrollon pĂ«rputhshmĂ«rinĂ« me specifikimet pĂ«r tĂ« konfirmuar saktĂ«sinĂ« e funksionimit.
Burimi: opennet.ru
