Выпуск языка программирования Rust 1.38
27 сентября 2019 года
Опубликован релиз языка системного программирования Rust 1.38, основанного проектом Mozilla. Язык сфокусирован на безопасной работе с памятью, обеспечивает автоматическое управление памятью и предоставляет средства для достижения высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime.
Автоматическое управление памятью в Rust избавляет разработчика от манипулирования указателями и защищает от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей, выход за границы буфера и т.п. Для распространения библиотек, обеспечения сборки и управления зависимостями проектом развивается пакетный менеджер Cargo, позволяющий получить нужные для программы библиотеки в один клик. Для размещения библиотек поддерживается репозиторий crates.io.
Основные новшества:
- Добавлен режим конвейерной компиляции (pipelined), при которой сборка зависимого crate-пакета начинается сразу как только становятся доступны метаданные зависимости, не дожидаясь завершения её компиляции. При компиляции пакета не нужно, чтобы зависимости были собраны полностью, достаточно лишь определения метаданных, включающих списки типов, зависимостей и экспортируемых элементов. Метаданные становятся доступны на начальном этапе компиляции, поэтому связанные пакеты теперь можно начать компилировать гораздо раньше. При сборке одиночных пакетов предложенный режим не сказывается на производительности, но если сборка охватывает пакеты с разветвлёнными зависимостями, общее время сборки может сократиться на 10-20%;
- Обеспечено выявление некорректного применения функций std::mem::uninitialized и std::mem::zeroed. Например, std::mem::uninitialized удобен для быстрого создания массивов, но вводит компилятор в заблуждение, так как создают видимость выполнения инициализации, а в действительности значение остаётся неинициализированным. Функция mem::uninitialized уже помечена как устаревшая и вместо неё рекомендуется использовать промежуточный тип MaybeUninit. Что касается mem::zeroed, то данная функция может приводить к проблемам с типам, которые не могут принимать нулевые значения.
Для выявления вызываемого неопределённого поведения в новом выпуске в компилятор добавлена lint-проверка, выявляющая некоторые проблемы c mem::uninitialized или mem::zeroed. Например, теперь выводится ошибка при попытке использования mem::uninitialized или mem::zeroed с типами &T и Box<T>, представляющими объекты-указатели, которые не могут принимать нулевые значения;
- Расширены возможности применения атрибута "#[deprecated]", позволяющего пометить crate-пакеты устаревшими и намеченными для удаления в будущем. Начиная с версии Rust 1.38 данный атрибут также можно применять для макросов;
- Добавлена возможность применения атрибута "#[global_allocator]" в субмодулях;
- Добавлена функция std::any::type_name, позволяющая узнать имя типа, что может быть полезно в отладочных целях. Например, в процессе выполнения программы можно узнать для какого типа была вызвана функция:
fn gen_value<T: Default() -> T { println!("Initializing an instance of {}", std::any::type_name::<T>()); Default::default() } fn main() { let _: i32 = gen_value(); # будет выведено "i32" let _: String = gen_value(); # будет выведено "alloc::string::String" }
- Расширены функции стандартной библиотеки:
- slice::{concat, connect, join} теперь может принимать значение &[T] помимо &T;
- "*const T" и "*mut T" теперь реализуют marker::Unpin;
- "Arc<[T]>" и "Rc<[T]>" теперь реализуют FromIterator<T>;
- iter::{StepBy, Peekable, Take} теперь реализуют DoubleEndedIterator.
- ascii::EscapeDefault реализует Clone и Display.
- В разряд стабильных переведена новая порция API, в том числе стабилизированы методы
- <*const T>::cast, <*mut T>::cast,
- Duration::as_secs_f{32|64},
- Duration::div_duration_f{32|64},
- Duration::div_f{32|64},
- Duration::from_secs_f{32|64},
- Duration::mul_f{32|64},
- операции деления с остатком
div_euclid и rem_euclid для всех целочисленных примитивов;
- В пакетный менеджер cargo добавлена поддержка указания опции "--features" несколько раз для включения разных возможностей;
- В компиляторе обеспечен третий уровень поддержки для целевых платформ aarch64-uwp-windows-msvc, i686-uwp-windows-gnu, i686-uwp-windows-msvc, x86_64-uwp-windows-gnu, x86_64-uwp-windows-msvc targets, armv7-unknown-linux-gnueabi, armv7-unknown-linux-musleabi, hexagon-unknown-linux-musl и riscv32i-unknown-none-elf. Третий уровень подразумевает базовую поддержку, но без автоматизированного тестирования и публикации официальных сборок.
Источники
правитьЛюбой участник может оформить статью: добавить иллюстрации, викифицировать, заполнить шаблоны и добавить категории.
Любой редактор может снять этот шаблон после оформления и проверки.
Комментарии
Если вы хотите сообщить о проблеме в статье (например, фактическая ошибка и т. д.), пожалуйста, используйте обычную страницу обсуждения.
Комментарии на этой странице могут не соответствовать политике нейтральной точки зрения, однако, пожалуйста, придерживайтесь темы и попытайтесь избежать брани, оскорбительных или подстрекательных комментариев. Попробуйте написать такие комментарии, которые заставят задуматься, будут проницательными или спорными. Цивилизованная дискуссия и вежливый спор делают страницу комментариев дружелюбным местом. Пожалуйста, подумайте об этом.
Несколько советов по оформлению реплик:
- Новые темы начинайте, пожалуйста, снизу.
- Используйте символ звёздочки «*» в начале строки для начала новой темы. Далее пишите свой текст.
- Для ответа в начале строки укажите на одну звёздочку больше, чем в предыдущей реплике.
- Пожалуйста, подписывайте все свои сообщения, используя четыре тильды (~~~~). При предварительном просмотре и сохранении они будут автоматически заменены на ваше имя и дату.
Обращаем ваше внимание, что комментарии не предназначены для размещения ссылок на внешние ресурсы не по теме статьи, которые могут быть удалены или скрыты любым участником. Тем не менее, на странице комментариев вы можете сообщить о статьях в СМИ, которые ссылаются на эту заметку, а также о её обсуждении на сторонних ресурсах.