Rust 1.63 programspråk release

Utgivningen av Rust 1.63 allmänt programmeringsspråk, grundat av Mozilla-projektet, men nu utvecklat under överinseende av den oberoende ideella organisationen Rust Foundation, har publicerats. Språket fokuserar på minnessäkerhet och ger möjlighet att uppnå hög jobbparallellism samtidigt som man undviker användningen av en skräpsamlare och körtid (körtiden reduceras till grundläggande initiering och underhåll av standardbiblioteket).

Rusts minneshanteringsmetoder räddar utvecklaren från fel vid manipulering av pekare och skyddar mot problem som uppstår på grund av minneshantering på låg nivå, som att komma åt ett minnesområde efter att det har frigjorts, avläsning av nollpekare, buffertöverskridningar, etc. För att distribuera bibliotek, tillhandahålla builds och hantera beroenden utvecklar projektet Cargo package manager. Crates.io-förvaret stöds för värdbibliotek.

Minnessäkerhet tillhandahålls i Rust vid kompilering genom referenskontroll, hålla reda på objektägande, hålla reda på objektlivslängder (scopes) och bedöma riktigheten av minnesåtkomst under kodexekvering. Rust ger också skydd mot heltalsspill, kräver obligatorisk initiering av variabelvärden innan användning, hanterar fel bättre i standardbiblioteket, tillämpar konceptet med oföränderliga referenser och variabler som standard, erbjuder stark statisk typning för att minimera logiska fel.

Huvudsakliga innovationer:

• Lade till std::thread::scope API, som låter dig skapa scoped-trådar. Till skillnad från tidigare tillgängliga trådar tillåter det nya std::thread::scope API att låna icke-statisk data, medan trådar skapade med det klassiska std::thread::spawn API krävdes att äga alla argument som skickades och inte kunde ta emot lånade variabler. std::thread::scope API säkerställer att alla skapade trådar avslutas innan data returneras, vilket ger tillräcklig säkerhet för lånemekanismen.
• Nya omslagstyper för fildeskriptorer har föreslagits - BorrowedFd och OwnedFd, som ger lån och ägande. Typer är märkta med "#[repr(transparent)]", vilket gör att de kan användas direkt i externa C-bindningar på ett ägarmedvetet sätt.
• Förutsatt möjligheten att anropa Condvar::new, Mutex::new och RwLock::new i kontexten av konstanter för att skapa globala statiska Mutex-, RwLock- och Condvar-värden utan att använda lazy_static-paket.
• För funktioner som fn foo (värde: T, f: impl Copy) syntax som "foo::" är tillåten (32, 3)”, som uttryckligen anger typen av generika.
• Övergången till att använda NLL-tekniken (Non-Lexical Lifetimes) för att identifiera problem med lånevariabler har slutförts. NLL tar hänsyn på nivån av en uppsättning pekare i exekveringsflödesgrafen, vilket gör det möjligt att höja kvaliteten på kontrollen för lånevariabler (lånekontroller) och tillåta exekvering av vissa typer av korrekt kod, användning av som tidigare ledde till ett fel. Stöd för den gamla mekanismen som använde livstidsbindning på lexikalnivå har nu tagits bort helt från rustc, och användningen av den nya NLL har implementerats genomgående.
• En ny del av API:t har flyttats till kategorin stabil, inklusive metoder och implementeringar av egenskaper har stabiliserats:
  • array::from_fn
  • Box::into_pin
  • BinaryHeap::try_reserve
  • BinaryHeap::try_reserve_exact
  • OsString::try_reserve
  • OsString::try_reserve_exact
  • PathBuf::try_reserve
  • PathBuf::try_reserve_exact
  • Sökväg::try_exists
  • Ref::filter_map
  • RefMut::filter_map
  • NonNull::<[T]>::len
  • ToOwned::clone_into
  • Ipv6Addr::to_ipv4_mapped
  • unix::io::AsFd
  • unix::io::BorrowedFd<'fd>
  • unix::io::OwnedFd
  • windows::io::AsHandle
  • windows::io::BorrowedHandle
    
    Källa: opennet.ru