Utgåvan av Rust 1.87

På dagen för firandet av tioårsjubileet av lanseringen av programmeringsspråket Rust 1.0 (Rust-projektet startades 2006, version 0.1 skapades 2012 och den första stabila versionen föreslogs 2015) publicerades version 1.87 av Rust. Språket fokuserar på säker minneshantering och erbjuder medel för att uppnå hög parallellism i exekvering av uppgifter, utan att använda en skräparesurs och runtime (runtime begränsas till grundläggande initialisering och underhåll av standardbiblioteket).

Minneshanteringsmetoderna i Rust skyddar utvecklare från att göra fel vid manipulering av pekare och skyddar mot problem som uppstår vid låg nivå minnesarbete, såsom att komma åt minnesområden efter att de har frigjorts, dereferera nullpekare, buffer overflow, etc. För distribution av bibliotek, byggande och hantering av projektberoenden utvecklas paketförvaltaren Cargo. För lagring av bibliotek stöds ett repository på crates.io.

Säker minneshantering säkerställs i Rust under kompilering genom att kontrollera referenser, spåra ägandeskap över objekt, ta hänsyn till livslängden av objekt (synlighet) och utvärdera korrekt minnesåtkomst under körning av koden. Rust erbjuder också verktyg för att skydda mot heltalsöverflöden, kräver obligatorisk initialisering av variabelvärden innan de används, hanterar fel bättre i standardbiblioteket, tillämpar konceptet av oföränderliga (immutable) referenser och variabler som standard och erbjuder stark statisk typning för att minimera logiska fel.

Huvudsakliga nyheter:

• Den standardbiblioteket har lagts till stöd för anonyma kanaler (anonymous pipe). Metoden std::io::pipe() har föreslagits för att skapa anonyma kanaler och kan användas tillsammans med std::process::Command för att hantera standard in- och utflöden, samt för att kombinera strömmarna stdout och stderr. use std::process::Command; use std::io::Read; let (mut recv, send) = std::io::pipe()?; let mut command = Command::new(«path/to/bin») // kombinera stdout och stderr i en kanal .stdout(send.try_clone()?) .stderr(send) .spawn()?; let mut output = Vec::new(); recv.read_to_end(&mut output)?; assert!(command.wait()?.success());
• Det är nu tillåtet att anropa de flesta av de inbyggda funktionerna (Intrinsics) std::arch från säkert kod. Ändringen gäller inbyggda funktioner i std::arch som endast är märkta som osäkra på grund av kopplingen till specifik funktionalitet om denna funktionalitet är aktiverad. Till exempel, _mm256_add_epi32 kan anropas från säker kod om applikationen använder ‚#[target_feature(enable = «avx2»)]‘.
• Från blocken «asm!» med assemblerkod är det nu tillåtet att övergå till block med kod i Rust, vilket förenklar utvecklingen av lågnivåkod, till exempel implementering av optimeringar i kärnan eller organisering av interaktion med maskinvaran. Punkten för övergång till assemblerkommandot «jmp» anges i makrot «asm!» med hjälp av den nya operanden «label», som innehåller ett blockuttryck med kod på Rust. unsafe { asm!( «jmp {}», label { println!(«Jumped from asm!»); } ); }
• Det är nu möjligt att exakt ange fångade generiska typer och livslängd i trait-definitioner med hjälp av återvändande typer 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; }
• En ny uppsättning API har blivit stabiliserad, inklusive stabilisering av metoder och implementeringar av traits:
  • 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
• Indikatorn "const" har tillämpats i funktioner:
  • 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
• Andra nivån av stöd för den riktade plattformen i586-pc-windows-msvc har tagits bort. Det rekommenderas att använda plattformen i686-pc-windows-msvc, som har stöd för SSE2-instruktioner. Plattformen i586-pc-windows-msvc har blivit meningslös, eftersom stöd för SSE2 krävs för Windows 10, och tidigare versioner av Windows stöds inte av Rust.

Källa: opennet.ru