Издание Rust 1.91

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

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

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

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

• Подобрена е поддръжката на 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 е стабилизирана поддръжка на функции с променлив брой аргументи в стил C.
• Стабилизирана е поддръжката на 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<<str> for PathBuf
  • impl PartialEq<<String> for PathBuf
  • impl PartialEq<<str> for Path
  • impl PartialEq<<String> for Path
  • impl PartialEq<<PathBuf> for String
  • impl PartialEq<<Path> for String
  • impl PartialEq<<PathBuf> for str
  • impl PartialEq<<Path> for str
  • Ipv4Addr::from_octets
  • Ipv6Addr::from_octets
  • Ipv6Addr::from_segments
  • impl<T> Default for Pin<Box<T>> where Box<T>: Default, T: ?Sized
  • impl<T> Default for Pin<Rc<T>> where Rc<T>: Default, T: ?Sized
  • impl<T> Default for Pin<Arc<T>> where Arc<T>: 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<u{N}>
  • impl Sum<&Self> for Saturating<u{N}>
  • impl Product for Saturating<u{N}>
  • impl Product<&Self> for Saturating<u{N}>
• Признак «const» приложен в функциите:
  • <[T; N]>::each_ref
  • <[T; N]>::each_mut
  • OsString::new
  • PathBuf::new
  • TypeId::of
  • ptr::with_exposed_provenance
  • ptr::with_exposed_provenance_mut
• Компилаторът е обновен до клон LLVM 21.

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