Издание Rust 1.87

На юбилее десятилетия с момента выхода языка программирования Rust 1.0 (проект Rust был основан в 2006 году, версия 0.1 разработана в 2012 году, а первая стабильная версия была предложена в 2015 году) выпущен релиз Rust 1.87. Язык ориентирован на безопасную работу с памятью и предоставляет средства для достижения высокого параллелизма выполнения задач, при этом обходясь без использования сборщика мусора и runtime (runtime сводится к базовой инициализации и поддержке стандартной библиотеки).

Методите за работа с паметта в Rust освобождават разработчиците от грешки при манипулиране на указатели и ги защитават от проблеми, произлизащи от ниско ниво работа с паметта, като достъп до освободена памет, разыменоване на нулеви указатели, излизане извън границите на буфера и др. За разпространение на библиотеки, осигуряване на компилация и управление на зависимостите проектът продължава да развива пакетния мениджър Cargo. Поддържа се хранилище за библиотеки на crates.io.

Безопасната работа с паметта в Rust се осигурява по време на компилацията чрез проверка на референтите, проследяване на притежанието на обекти, вземане под внимание на времето на живот на обектите (област на видимост) и оценка на коректността на достъпа до паметта по време на изпълнението на кода. Rust също така предоставя средства за защита срещу препълване на цели числа, изисква задължителна инициализация на стойностите на променливите преди тяхната употреба, по-добре обработва грешките в стандартната библиотека, прилага концепцията за неизменяемост (immutable) на референтите и променливите по подразбиране и предлага силна статична типизация за минимизиране на логическите грешки.

Основни нововъведения:

• В стандартную библиотеку добавлена поддержка анонимных каналов (anonymous pipe). Для создания анонимных каналов предложен метод std::io::pipe(), который может использоваться совместно с std::process::Command для обработки стандартных входных и выходных потоков, а также для объединения потоков stdout и stderr. use std::process::Command; use std::io::Read; let (mut recv, send) = std::io::pipe()?; let mut command = Command::new("path/to/bin") // объединение stdout и stderr в один канал .stdout(send.try_clone()?) .stderr(send) .spawn()?; let mut output = Vec::new(); recv.read_to_end(&mut output)?; assert!(command.wait()?.success());
• Разрешён вызов большинства встроенных в компилятор функций (Intrinsics) std::arch из безопасного кода. Изменение применяется к встроенным функциям std::arch, которые помечены как unsafe только из-за привязки к определённой функциональности, если эта функциональность активирована. Например, _mm256_add_epi32 можно вызывать из безопасного кода, если в приложении используется ‘#[target_feature(enable = "avx2")]’.
• Из блоков «asm!» с ассемблерным кодом можно переходить на блоки с кодом на языке Rust, что упрощает разработку низкоуровневого кода, например, реализации оптимизаций в ядре или организации взаимодействия с оборудованием. Точка перехода для ассемблерной команды «jmp» задаётся в макросе «asm!» с помощью нового операнда «label», содержащего блочное выражение с кодом на языке Rust. unsafe { asm!( "jmp {}", label { println!("Jumped from asm!"); } ); }
• Позволено точно задавать захваченные обобщённые типы и время жизни в определениях типажей с использованием возвращаемых типов 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; }
• Нов набор от API е преведен в категорията стабилни, включително стабилизирани методи и реализации на типажи:
  • 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
• Признак «const» приложен в функциите:
  • 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
• Второй уровень поддержки для целевой платформы i586-pc-windows-msvc удалён. Рекомендуется использовать платформу i686-pc-windows-msvc, которая поддерживает инструкции SSE2. Платформа i586-pc-windows-msvc стала неактуальной, так как для Windows 10 требуется поддержка SSE2, а более ранние версии Windows в Rust не поддерживаются.

Източник: opennet.ru