Rust 1.87 väljaanne

Tähistades Rust programmeerimiskeele 1.0 väljaandmise kümnendat aastapäeva (Rust projekt loositi 2006. aastal, versioon 0.1 valmis 2012. aastal ja esimene stabiilne versioon pakuti välja 2015. aastal), ilmus Rust 1.87. Keel keskendub mälu ohutule kasutamisele ja pakub vahendeid kõrge paralleelsuse saavutamiseks ülesannete täitmisel, samas loobudes prügikorjamise ja runtime'i (runtime'i laiemalt piirab põhialustamine ja standardraamatukogu hooldamine).

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:

• Standardraamatukogusse on lisatud anonüümsete kanalisatsioonide tugi. Anonüümsete kanalisatsioonide loomiseks on pakutud meetodit std::io::pipe(), mida saab kasutada koos std::process::Command'iga, et töödelda standardseid sisend- ja väljundvooge, samuti stdout ja stderr voogude ühendamiseks. use std::process::Command; use std::io::Read; let (mut recv, send) = std::io::pipe()?; let mut command = Command::new("path/to/bin") /// stdout ja stderr ühendamine ühte kanalisse .stdout(send.try_clone()?) .stderr(send) .spawn()?; let mut output = Vec::new(); recv.read_to_end(&mut output)?; assert!(command.wait()?.success());
• Kehtib võimalus kutsuda enamikke kompilaatorisse sisse ehitatud funktsioone (Intrinsics) std::arch safe-koodist. Muudatus kehtib std::arch sisseehitatud funktsioonidele, mis on tähistatud unsafe'ina ainult teatud funktsionaalsuse sidumise tõttu, kui see funktsionaalsus on lubatud. Näiteks _mm256_add_epi32 saab kutsuda safe-koodist, kui rakenduses on kasutusel ‘#[target_feature(enable = "avx2")]’.
• Asm! plokkides assemblerikoodiga on lubatud hüpata Rusti keeles kirjutatud koodiplokkidesse, mis lihtsustab madala taseme koodi arendamist, näiteks optimeerimiste rakendamist kernis või seadmete vahelise suhtluse korraldamist. Hüppepunkt assemblerikäsule "jmp" määratakse makros "asm!" abil uue operandiga "label", mis sisaldab Rusti keeles kirjutatud koodiploki väljendit. unsafe { asm!( "jmp {}", label { println!("Hüppas asm! seest!"); } ); }
• Lubatud on täpselt määrata haaratud üldtüübid ja eluea tüüpide määratlemisel, kasutades tagastatavaid tüüpe impl Trait. trait Foo { fn method(&'a self) -> impl Sized; type Implicit1: Sized; fn method_desugared(&'a self) -> Self::Implicit1; fn precise(&'a self) -> impl Sized + use; type Implicit2: Sized; fn precise_desugared(&'a self) -> Self::Implicit2; }
• Uus hulk API-d on viidud stabiilsuse tasemele, sealhulgas on stabiliseeritud meetodid ja tüübispetsiifikatsioonide rakendused:
  • Vec::extract_if
  • vec::ExtractIf
  • LinkedList::extract_if
  • linked_list::ExtractIf
  • ::split_off
  • ::split_off_mut
  • ::split_off_first
  • ::split_off_first_mut
  • ::split_off_last
  • ::split_off_last_mut
  • String::extend_from_within
  • os_str::Display
  • OsString::display
  • OsStr::display
  • io::pipe
  • io::PipeReader
  • io::PipeWriter
  • impl From for OwnedHandle
  • impl From for OwnedHandle
  • impl From for Stdio
  • impl From for Stdio
  • impl From for OwnedFd
  • impl From for OwnedFd
  • Box<MaybeUninit>::write
  • impl TryFrom<Vec> for String
  • ::offset_from_unsigned
  • ::byte_offset_from_unsigned
  • ::offset_from_unsigned
  • ::byte_offset_from_unsigned
  • NonNull::offset_from_unsigned
  • NonNull::byte_offset_from_unsigned
  • ::cast_signed
  • NonZero::::cast_signed.
  • ::cast_unsigned.
  • NonZero::::cast_unsigned.
  • ::is_multiple_of
  • ::unbounded_shl
  • ::unbounded_shr
  • ::unbounded_shl
  • ::unbounded_shr
  • ::midpoint
  • ::from_utf8
  • ::from_utf8_mut
  • ::from_utf8_unchecked
  • ::from_utf8_unchecked_mut
• Märgis „const“ on rakendatud funktsioonides:
  • core::str::from_utf8_mut
  • ::copy_from_slice
  • SocketAddr::set_ip
  • SocketAddr::set_port,
  • SocketAddrV4::set_ip
  • SocketAddrV4::set_port,
  • SocketAddrV6::set_ip
  • SocketAddrV6::set_port
  • SocketAddrV6::set_flowinfo
  • SocketAddrV6::set_scope_id
  • char::is_digit
  • char::is_whitespace
  • <N::as_flattened
  • <N::as_flattened_mut
  • String::into_bytes
  • String::as_str
  • String::capacity
  • String::as_bytes
  • String::len
  • String::is_empty
  • String::as_mut_str
  • String::as_mut_vec
  • Vec::as_ptr
  • Vec::as_slice
  • Vec::capacity
  • Vec::len
  • Vec::is_empty
  • Vec::as_mut_slice
  • Vec::as_mut_ptr
• Teise taseme tugi platvormile i586-pc-windows-msvc on eemaldatud. Soovitame kasutada platvormi i686-pc-windows-msvc, mis toetab SSE2 käsku. Platvorm i586-pc-windows-msvc on oma mõtte kaotanud, kuna Windows 10 nõuab SSE2 tuge ning varasemad Windowsi versioonid Rustis ei ole toetatud.

Allikas: opennet.ru