Rust 1.91.0: aarch64-pc-windows-msvc на Tier 1, отлавливание сырых указателей
[extra] release = true +++
Команда Rust рада сообщить о новой версии языка — 1.91.0. Rust — это язык программирования, позволяющий каждому создавать надёжное и эффективное программное обеспечение.
Если у вас есть предыдущая версия Rust, установленная через rustup, то для обновления до версии 1.91.0 вам достаточно выполнить команду:
$ rustup update stableЕсли у вас ещё не установлен rustup, вы можете установить его с соответствующей страницы нашего веб-сайта, а также посмотреть подробные примечания к выпуску на GitHub.
Если вы хотите помочь нам протестировать будущие выпуски, вы можете использовать канал beta (rustup default beta) или nightly (rustup default nightly). Пожалуйста, сообщайте обо всех встреченных вами ошибках.
Компилятор Rust поддерживает широкий спектр целевых платформ, но команда Rust не может обеспечить одинаковый уровень поддержки для каждой из них. Чтобы чётко обозначить, насколько поддерживается каждая платформа, мы используем уровни поддержки:
- Целевые платформы 3 уровня поддержки технически поддерживаются компилятором, однако мы не проверяем, собирается ли их код и проходят ли тесты, а также не предоставляем никаких предварительно собранных двоичных файлов в рамках наших релизов.
- Целевые платформы 2 уровня поддержки гарантированно проходят сборку, и мы предоставляем для них предварительно собранные двоичные файлы, но мы не запускаем набор тестов на этих платформах: произведённые двоичные файлы могут не работать или содержать ошибки.
- Целевые платформы 1 уровня поддержки предоставляют самую высокую гарантию поддержки, и мы запускаем на этих платформах полный набор тестов для каждого изменения, внесённого в компилятор. Предварительно собранные двоичные файлы также доступны.
В Rust версии 1.91.0 целевая платформа aarch64-pc-windows-msvc получает 1 уровень поддержки, что обеспечивает наши самые высокие гарантии пользователям 64-битных ARM-систем, работающих под управлением Windows.
Добавлена проверка, направленная против висящих "сырых" указателей, созданных из локальных переменных
В то время как анализатор заимствований Rust предотвращает возврат висящих ссылок, он не отслеживает "сырые" указатели. С этим релизом мы добавляем проверку, которая по умолчанию выдаёт предупреждение о "сырых" указателях на локальные переменные, возвращаемых из функций. Например, такой код:
fn f() -> *const u8 {
let x = 0;
&x
}теперь вызовет предупреждение статического анализатора:
warning: a dangling pointer will be produced because the local variable `x` will be dropped
--> src/lib.rs:3:5
|
1 | fn f() -> *const u8 {
| --------- return type of the function is `*const u8`
2 | let x = 0;
| - `x` is part the function and will be dropped at the end of the function
3 | &x
| ^^
|
= note: pointers do not have a lifetime; after returning, the `u8` will be deallocated
at the end of the function because nothing is referencing it as far as the type system is
concerned
= note: `#[warn(dangling_pointers_from_locals)]` on by default
Обратите внимание, что приведённый выше код не является небезопасным, поскольку сам по себе он не выполняет никаких опасных операций. Небезопасным будет только разыменование сырого указателя после возврата из функции. Мы ожидаем, что будущие релизы Rust добавят больше функциональности, которая поможет разработчикам безопасно взаимодействовать с сырыми указателями и с небезопасным кодом в целом.
Path::file_prefixAtomicPtr::fetch_ptr_addAtomicPtr::fetch_ptr_subAtomicPtr::fetch_byte_addAtomicPtr::fetch_byte_subAtomicPtr::fetch_orAtomicPtr::fetch_andAtomicPtr::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_powi{N}::strict_add_unsignedi{N}::strict_sub_unsignedi{N}::strict_absu{N}::strict_add_signedu{N}::strict_sub_signedPanicHookInfo::payload_as_strcore::iter::chainu{N}::checked_signed_diffcore::array::repeatPathBuf::add_extensionPathBuf::with_added_extensionDuration::from_minsDuration::from_hoursimpl PartialEq<str> for PathBufimpl PartialEq<String> for PathBufimpl PartialEq<str> for Pathimpl PartialEq<String> for Pathimpl PartialEq<PathBuf> for Stringimpl PartialEq<Path> for Stringimpl PartialEq<PathBuf> for strimpl PartialEq<Path> for strIpv4Addr::from_octetsIpv6Addr::from_octetsIpv6Addr::from_segmentsimpl<T> Default for Pin<Box<T>> where Box<T>: Default, T: ?Sizedimpl<T> Default for Pin<Rc<T>> where Rc<T>: Default, T: ?Sizedimpl<T> Default for Pin<Arc<T>> where Arc<T>: Default, T: ?SizedCell::as_array_of_cellsu{N}::carrying_addu{N}::borrowing_subu{N}::carrying_mulu{N}::carrying_mul_addBTreeMap::extract_ifBTreeSet::extract_ifimpl Debug for windows::ffi::EncodeWide<'_>str::ceil_char_boundarystr::floor_char_boundaryimpl Sum for Saturating<u{N}>impl Sum<&u{N}> for Saturating<u{N}>impl Product for Saturating<u{N}>impl Product<&u{N}> for Saturating<u{N}>
Следующие API теперь можно использовать в контексте const:
<[T; N]>::each_ref<[T; N]>::each_mutOsString::newPathBuf::newTypeId::ofptr::with_exposed_provenanceptr::with_exposed_provenance_mut
- Повышение поддержки
aarch64-pc-windows-msvcдо 1 уровня - Повышение поддержки
aarch64-pc-windows-gnullvmиx86_64-pc-windows-gnullvmдо 2 уровня с хост-инструментарием. Примечание: llvm-tools и установщики MSI отсутствуют, но будут добавлены в будущих релизах.
Дополнительную информацию о уровнях поддержки платформ в Rust можно найти на странице поддержки.
Проверьте всё, что изменилось в Rust, Cargo и Clippy.
Многие люди собрались вместе, чтобы создать Rust 1.91.0. Без вас мы бы не справились. Спасибо!