Пуск на Rust 1.91

Публикувана версия 1.91 на програмния език Rust, разработен първоначално от Mozilla и в момента поддържан от независима неправителствена организация Rust Foundation. Езикът е насочен към безопасно управление на паметта и предоставя възможности за постигане на висок паралелизъм в изпълнението на задачи, без да използва събирач на боклук и runtime (който е сведено до основна инициализация и поддържане на стандартната библиотека).

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

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

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

• Подобренa е поддръжката на 64-битови ARM системи с операционна система Windows. Целевата платформа „aarch64-pc-windows-msvc“ е премината от второ на първо ниво на поддръжка. Осигурено е второ ниво на поддръжка за архитектурите aarch64-pc-windows-gnullvm и x86_64-pc-windows-gnullvm. Първото ниво на поддръжка предполага генериране на бинарни пакети, извършване на задълбочено тестване и предоставяне на най-висока гаранция за поддръжка на платформата — всяка промяна в компилатора се проверява с пълен набор от тестове. Второто ниво на поддръжка включва генериране на бинарни пакети и гаранция за компилиране, но не гарантира преминаване на тестовия набор. Третото ниво покрива основната поддръжка, но без автоматизирано тестване, публикуване на официални сборки и проверка на възможността за компилиране на кода.
• Добавено е lint предупреждение „dangling_pointers_from_locals“ за откриване на връщане от функции на висящи raw указатели (dangling raw pointer), сочещи към данни, съхранявани в локални променливи, дефинирани в извиканата функция. Подобни променливи се изтриват след приключване на функцията и raw указателите, сочещи към свързаните с тях данни, стават висящи, т.е. сочат към освободена памет. Последващо разыменоване на подобен указател води до неопределено поведение. fn f() -> *const u8 { let x = 0; &x \/\/ предупреждение: ще бъде създаден висящ указател, защото локалната променлива „x“ ще бъде изтрита }
• Добавено е lint предупреждение „integer_to_ptr_transmutes“, което информира за преобразуването на цели числа в указатели с помощта на функцията std::mem::transmute.
• В пакетния мениджър Cargo е стабилизирана поддръжката на параметъра „build.build-dir“, който определя директорията за съхранение на временни сборочни артефакти, създавани от cargo и rustc по време на етапа на сборка.
• За ABI sysv64, win64, efiapi и aapcs е стабилизирана поддръжката за деклариране на функции с произволен брой аргументи в стил Си.
• Стабилизирана е поддръжката на inline асемблера за архитектурата LoongArch32.
• В категорията стабилни е преведена нова порция API, като са стабилизирани методите и реализациите на типажите:
  • Path::file_prefix
  • AtomicPtr::fetch_ptr_add
  • AtomicPtr::fetch_ptr_sub
  • AtomicPtr::fetch_byte_add
  • AtomicPtr::fetch_byte_sub
  • AtomicPtr::fetch_or
  • AtomicPtr::fetch_and
  • AtomicPtr::fetch_xor
  • {integer}::strict_add
  • {integer}::strict_sub
  • {integer}::strict_mul
  • {integer}::strict_div
  • {integer}::strict_div_euclid
  • {integer}::strict_rem
  • {integer}::strict_rem_euclid
  • {integer}::strict_neg
  • {integer}::strict_shl
  • {integer}::strict_shr
  • {integer}::strict_pow
  • i{N}::strict_add_unsigned
  • i{N}::strict_sub_unsigned
  • i{N}::strict_abs
  • u{N}::strict_add_signed
  • u{N}::strict_sub_signed
  • PanicHookInfo::payload_as_str
  • core::iter::chain
  • u{N}::checked_signed_diff
  • core::array::repeat
  • PathBuf::add_extension
  • PathBuf::with_added_extension
  • Duration::from_mins
  • Duration::from_hours
  • impl PartialEq for PathBuf
  • impl PartialEq for PathBuf
  • impl PartialEq for Path
  • impl PartialEq for Path
  • impl PartialEq for String
  • impl PartialEq for String
  • impl PartialEq for str
  • impl PartialEq for str
  • Ipv4Addr::from_octets
  • Ipv6Addr::from_octets
  • Ipv6Addr::from_segments
  • impl Default for Pin<Box> where Box: Default, T: ?Sized
  • impl Default for Pin<Rc> where Rc: Default, T: ?Sized
  • impl Default for Pin<Arc> where Arc: Default, T: ?Sized
  • Cell::as_array_of_cells
  • u{N}::carrying_add
  • u{N}::borrowing_sub
  • u{N}::carrying_mul
  • u{N}::carrying_mul_add
  • BTreeMap::extract_if
  • BTreeSet::extract_if
  • impl Debug for windows::ffi::EncodeWide
  • str::ceil_char_boundary
  • str::floor_char_boundary
  • impl Sum for Saturating
  • impl Sum for Saturating
  • impl Product for Saturating
  • impl Product for Saturating
• Признак «const» е приложен в функциите:
  • ::each_ref
  • ::each_mut
  • OsString::new
  • PathBuf::new
  • TypeId::of
  • ptr::with_exposed_provenance
  • ptr::with_exposed_provenance_mut
• Компилаторът е обновен до версия LLVM 21.

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