Издаване на 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