Programmeerimiskeele Rust 1.45 väljaanne

Avaldatud 1.45 versiooni väljalase süsteemse programmeerimise keelest Rust, 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 automaatne mälu haldus vabastab arendaja näidikutest ja kaitseb madala taseme mälu käsitlusega seotud probleemide eest, nagu näiteks mälu juurde pääsemine pärast selle vabastamist, nullnäidikute dereferentsimine, puhverserverist välja minemine jne. Teegikogude levitamiseks, koostamise tagamiseks ja sõltuvuste haldamiseks areneb välja pakihaldur. Cargo, mis võimaldab vajalikke raamatukogusid ühe klikiga hankida. Raamatukogude paigutamiseks toetatakse hoidlapaiku crates.io.

Peamised uuendused:

• Pikaajaline puudus täisarvude ja ujukoma numbrite vaheliste konversioonide teostamisel. Kuna Rusti kompilaator kasutab backendina LLVM-i, viidi tüübi konversioonide toimingud ellu LLVM-i vahekoodeksinstruktsioonide kaudu, nagu fptoui, milles on üks oluline omadus — määramatu käitumine, kui tulemuslik väärtus ei mahu siht tüübisse. Näiteks konverteerimisel ujuvväärtusest 300 tüübi f32-ga täisarvutüüpidesse u8 on tulemus ettearvamatu ja võib varieeruda erinevates süsteemides. Probleem seisneb selles, et selline omadus avaldub koodis, mis ei ole märgitud kui «unsafe».

  Alates Rust 1.45 on tüübi ülevoolu käitumine rangelt reguleeritud ning operatsioon "as" teostab ülevoolu kontrolli ja viib muudetud väärtuse siht tüübi maksimaalsesse või minimaalsetesse väärtustesse (ülaltoodud näite puhul muudetakse väärtus 300 väärtuseks 255). Selliste kontrollide keelamiseks on ette nähtud täiendavad API kutsed «{f64, f32}::to_int_unchecked», mis töötavad unsafe režiimis.

  fn cast(x: f32) -> u8 {
  x as u8
  }

  fn main() {
  let too_big = 300.0;
  let too_small = -100.0;
  let nan = f32::NAN;

  let x: f32 = 1.0;
  let y: u8 = unsafe { x.to_int_unchecked() };

  println!(«too_big_casted = {}», cast(too_big)); // väljund 255
  println!(«too_small_casted = {}», cast(too_small)); // väljund 0
  println!(«not_a_number_casted = {}», cast(nan)); // väljund 0
  }

• Stabiliseeritud kasutamine protseduurilised makrod, mis funktsioonidega sarnaste makrode kutse võimaldamiseks. Varasemalt võisid sarnased makrod olla kutsetes, ainult teatud koha koodis (erikutsena, mitte teise koodiga segamini). Makrode, mis on funktsioonidega sarnased, kutseviiside laiendamine oli üks nõudmisi web-raamistiku toimimise tagamiseks. Rocket stabiilsetes Rust'i väljalasketes. Varasemalt oli Rocket'is töötlejate määramiseks lisapaindlikkuse saavutamiseks vajalik eksperimentaalne funktsioon «proc_macro_hygiene», mis ei olnud saadaval Rust'i stabiilsetes versioonides. Nüüd on nimetatud funktsionaalsus sisse ehitatud keele stabiilsetesse versioonidesse.
• Lubatud on kasutada «char» tüüpi vahemikke vahemiku väärtuste läbimiseks (ops::{Range, RangeFrom, RangeFull, RangeInclusive, RangeTo}):

  for ch in ‘a’..=’z’ {
  print!(«{}», ch);
  }
  println!(); // Trükitakse «abcdefghijklmnopqrstuvwxyz»

• Uue API osa on tõlgitud stabiilsete ridade hulka, sealhulgas on stabiliseeritud
  Arc::as_ptr,
  BTreeMap::remove_entry,
  Rc::as_ptr,
  rc::Weak::as_ptr,
  rc::Weak::from_raw,
  rc::Weak::into_raw,
  str::strip_prefix,
  str::strip_suffix,
  sync::Weak::as_ptr,
  sync::Weak::from_raw,
  sync::Weak::into_raw,
  char::UNICODE_VERSION,
  Span::resolved_at,
  Span::located_at,
  Span::mixed_site,
  unix::process::CommandExt::arg0.
• Rustc kompilaatorisse on lisatud tugi erinevate sihtplatvormi omaduste ülevaatamiseks "target-feature" lipu abil, näiteks "-C target-feature=+avx2,+fma". Samuti on lisatud uued lipud:
  "force-unwind-tables" kõnede mahtude (unwind) tabelite genereerimiseks sõltumata kokkujooksu käsitlemise strateegiast; "embed-bitcode" LLVM-bitkoodi sisestamise kontrollimiseks genereeritavates rlibs. "Embed-bitcode" lipp on vaikimisi aktiveeritud Cargo jaoks, et optimeerida kogumise aega ja kettaruumi tarbimist.
• Mipsel-sony-psp ja thumbv7a-uwp-windows-msvc platvormide kolmanda taseme toimetamine. Kolmas tase tähendab põhilist toetust, kuid ilma automatiseeritud testimise ja ametlike kogude avaldamiseta.

Lisaks saab märkida lood lihtsama rakendused Rust'i keeles, mis käivitub süsteemi laadija abil ja on valmis iseseisvaks laadimiseks operatsioonisüsteemi asemel.
Artikkel on esimene seerias, mis on pühendatud madala taseme programmeerimise ja operatsioonisüsteemide arendamise tehnikate demonstreerimisele.

Allikas: opennet.ru