Programmeerimiskeele Rust 1.40 väljaanne

Avaldatud süsteemse programmeerimise keele väljaanne Rust 1.40, mille Mozilla. Keel keskendub mälu ohutusele, tagab automaatse mälu juhtimise ja pakub tööde kõrge paralleelsuse saavutamise vahendeid, ilma et oleks vaja prügikorjajat ja runtime.

Rustis tagab automaatne mälu haldamine arendajale mälukäitlemise manipuleerimise vabastamise ja kaitseb madala taseme mälu töötlemisega seotud probleemide eest, nagu mälu kasutamine pärast selle vabastamist, nullviidete de-referentsimine, puhverduspiiride ületamine jne. Raamatukogude jagamiseks, koostamise tagamiseks ja sõltuvuste haldamiseks arendatakse pakihaldurit Cargo, mis võimaldab vajalikke raamatukogusid ühe klikiga hankida. Raamatukogude paigutamiseks toetatakse hoidlapaiku crates.io.

Peamised uuendused:

• Lisatud on võimalus märkida struktuure (struct) ja loendeid (enum) bloki Variant abil atribuudiga «#[non_exhaustive]«, mille lubab abil on edaspidi võimalik lisada uusi välju ja variante välja kuulutatud struktuuridesse ja loenditesse. Näiteks saavad moodulite arendajad, kellel on avalikult välja kuulutatud väljad, kasutada «#[non_exhaustive]» nende struktuuride märkimiseks, kus tulevikus on võimalik lisada uusi välju. Seni pidi arendaja sellises olukorras valima kas privaatsete väljade kuulutamise ja muutumatute väljade nimekirjaga sidumise vahel. Uus atribuut kõrvaldab selle piiratuse ja võimaldab tulevikus uusi välju lisada, ilma et see ohustaks varasemate väliste koodide töö. Crate-pakettides, kui variantide sobitamisel jaotises «match», on nõutav selge maski defineerimine «_ => {…}», mis katab võimalikke tulevasi välju, vastasel juhul tekib uute väljade lisamisel viga.
• Lisatud võimalus kutsuda protseduuriline makro mac!() tüübi kontekstis. Näiteks on nüüd võimalik kirjutada «type Foo = expand_to_type!(bar);», kui «expand_to_type» on protseduuriline makro.
• Blokkides «extern { … }» on lisatud võimalus kasutada protseduurilisi ja atribuudi makroseid, sealhulgas makroseid „bang!()“, näiteks:

  macro_rules! make_item { ($name:ident) => { fn $name(); } }

  extern {
  make_item!(alpha);
  make_item!(beta);
  }

  extern "C" {
  #[my_identity_macro]
  fn foo();
  }

• Makrose kohta on rakendatud võimalus genereerida elemente „macro_rules!“. Generatsioon „macro_rules!“ on võimalik nii funktsiooni sarnastes makroseis („mac!()“) kui ka atribuudivormis makroseis („#[mac]“).
• Elementi vastavuses $m:meta on lisatud toetab suvalisi väärtusi tokenite loendite („[TOKEN_STREAM]“, „{TOKEN_STREAM}“ ja „(TOKEN_STREAM)“), näiteks:

  macro_rules! accept_meta { ($m:meta) => {} }
  accept_meta!( my::path );
  accept_meta!( my::path = "lit" );
  accept_meta!( my::path ( a b c ) );
  accept_meta!( my::path [ a b c ] );
  accept_meta!( my::path { a b c } );

• Rust 2015 režiimis on aktiveeritud vigade väljund, et tegeleda probleemidega, mis ilmnevad muutuva laenamise kontrollimise (borrow checker) abil NLL (Non-Lexical Lifetimes) tehnika kasutamisel. Varasemalt asendati hoiatused vigadega, töötades Rust 2018 režiimis.
  Pärast muudatuste laiemat rakendamist ja Rust 2015 režiimi võimaldas arendajatel lõpuks vabaneda vanast borrow checker'ist.

  Tulet meelde, et uus eluea jälgimise mehhanismiga põhinev kontrollisüsteem on võimaldanud tuvastada teatud probleeme, mis vanas kontrollkoodis tähelepanuta jäetud. Kuna selleteemalise vea väljastamine võib mõjutada varasemat koodeksisse ühilduvust, esitati esialgu veateade asemel hoiatused.

• Märgis «const», mis määratleb, kas seda saab igas kontekstis kasutada muutumatute väärtuste asemel, on rakendatud funktsioonile is_power_of_two (ilma märgita täisarvude jaoks).
• Uue stabiilse partii API on läinud stabiilsete rikka seeriasse, sealhulgas stabiliseeriti makrod todo!() ja meetodid slice::repeat, mem::take, BTreeMap::get_key_value, HashMap::get_key_value,
  Option::as_deref, Option::as_deref_mut, Option::flatten, UdpSocket::peer_addr, {f32,f64}::to_be_bytes, {f32,f64}::to_le_bytes, {f32,f64}::to_ne_bytes, {f32,f64}::from_be_bytes, {f32,f64}::from_le_bytes ja {f32,f64}::from_ne_bytes.
• Paketihalduris cargo
  on rakendatud kompileerimise hoiatused nende kettas. Komandisse „cargo metadata” lisatud valik „—filter-platform”, et kuvada sõltuvuste loendis ainult selliseid pakette, mis on seotud määratud sihtplatvormiga. Lisatud konfiguratsiooniparameter http.ssl-version lubatud TLS versioonide määramiseks.
  Lisatud on võimalus avaldada jaotist «dev-dependencies» ilma «version» võtme määramata.
• Kompaileerijas rustc on tagatud kolmas tase sihtplatvormide toe jaoks thumbv7neon-unknown-linux-musleabihf, aarch64-unknown-none-softfloat, mips64-unknown-linux-muslabi64 ja mips64el-unknown-linux-muslabi64. Kolmas tase tähendab baastoetust, kuid ilma automatiseeritud testimise ja ametlike kogumite avaldamiseta.

Allikas: opennet.ru