Команда Rust рада сообщить о новой версии языка — 1.99.0. Rust — это язык программирования, позволяющий каждому создавать надёжное и эффективное программное обеспечение.

Если у вас есть предыдущая версия Rust, установленная через rustup, то для обновления до версии 1.99.0 вам достаточно выполнить команду:

$ rustup update stable

Если у вас ещё не установлен rustup, вы можете установить его с соответствующей страницы нашего веб-сайта, а также посмотреть подробные примечания к выпуску 1.99.0.

Если вы хотите помочь нам протестировать будущие выпуски, вы можете использовать канал beta (rustup default beta) или nightly (rustup default nightly). Пожалуйста, сообщайте обо всех встреченных вами ошибках!

В Rust 1.99.0 стабилизировано определение функций с переменным числом аргументов (variadic functions) с C-ABI для “C” и “C-unwind” ABI. Определённые таким образом вариативные функции используют список аргументов переменной длины (...) и принимают произвольное количество аргументов. Ранее Rust уже мог вызывать вариативные функции, определённые во внешнем коде (например, libc::printf). Начиная с Rust 1.99, такие функции можно писать непосредственно на самом Rust:

/// SAFETY: функция должна вызываться как минимум с 2 аргументами типа i32.
unsafe extern "C" fn sum(mut args: ...) -> i32 {
    // SAFETY: гарантируется вызывающей стороной.
    let a = unsafe { args.next_arg::<i32>() };
    let b = unsafe { args.next_arg::<i32>() };
    a + b
}

fn foo() -> i32 {
    unsafe { sum(0i32, 2i32) }
}

Типом для ... является VaList, который на всех целевых платформах ABI-совместим с типом va_list в C. Допустимые для чтения из VaList типы ограничиваются типажом VaArgSafe.

Более подробную информацию о C-вариативных функциях см. в Reference. Также в этом выпуске стабилизирована поддержка определения naked-функций с переменным числом аргументов с отличными от C-ABI, которые должны быть написаны с помощью встроенных ассемблерных вставок.

В этом выпуске определены требования безопасности для получения размера и выравнивания по “сырым” указателям как для типов Sized (тривиальная безопасность, уже была доступна в stable), так и для типов !Sized.

Для этого были стабилизированы три функции:

• Layout::for_value_raw

• mem::size_of_val_raw

• mem::align_of_val_raw

Хотя семантика языка в Rust 1.99 не изменилась, мы обновили документацию к Box::leak, добавив рекомендацию отказаться от шаблонов, в которых эта память в дальнейшем освобождается. Это связано с тем, что подобный код проблемно взаимодействует с текущими и будущими потенциальными оптимизациями компилятора, а также особенно проблематичен на фоне предстоящей стабилизации пользовательских аллокаторов памяти. Вместо этого рекомендуется отдавать предпочтение Box::into_non_null или Box::into_raw.

Эта рекомендация распространяется и на другие leak-функции в стандартной библиотеке.

• IntoIterator для Box<[T; N]>

• IntoIterator для &Box<[T; N]>

• IntoIterator для &mut Box<[T; N]>

• VecDeque::retain_back

• core::ffi::VaList

• Box::into_non_null

• Box::from_non_null

• Vec::into_parts

• Vec::from_parts

• core::mem::size_of_val_raw

• core::mem::align_of_val_raw

• core::alloc::Layout::for_value_raw

• String::from_utf8_lossy_owned

• string::FromUtf8Error::into_utf8_lossy

• FusedIterator для StepBy<I>

• std::fs::set_times

• std::fs::set_times_nofollow

Проверьте всё, что изменилось в Rust, Cargo и Clippy.

Многие люди собрались вместе, чтобы создать Rust 1.99.0. Без вас мы бы не справились. Спасибо!