Блог*

#prog #rust #rustreleasenotes

Вышла версия Rust 1.51! Как обычно, я не буду перечислять всё, а отмечу только то, что интересно лично мне.

Невозможно не отметить самую важную фичу релиза: const generics 🎉! К сожалению, это всё ещё не полная версия, а стабилизация min_const_generics, то есть версия с серьёзными ограничениями, о которых можно подробнее почитать отдельно. Одни из них вполне понятны — это ограничения на использование выражений с использованием таких параметров — что вполне логично, поскольку в общем случае их унификация является достаточно сложной задачей, а вот ограничения на типы самих константых обобщённых параметров куда более обидны: использовать пока что можно лишь примитивные числовые типы, char и bool. С другой стороны, одной из главных причин стабилизации const generics была необходимость в возможности писать код, полиморфный по массивам произвольной размерности (что ранее решалось лишь частично при помощи копипаста, разбавленного макросами), и эту задачу нынешний вариант const generics решает.

Кстати, о массивах: этот релиз добавляет std::array::IntoIter, итератор для массивов, возвращающий элементы по значению. До этого релиза для того, чтобы вернуть итератор, возвращающий ряд некоторых значений, было несколько опций, каждая из которых малость попахивала: вызывать .into_iter() на векторе (и делать аллокацию там, где она не нужна), вызывать .iter().cloned()/.iter().copied() на литерале массива (что делает лишнее копирование, которое в некоторых случаях невозможно вовсе) или же .chain(...)-ить once-ы (что выглядит громоздко и, более того, достаточно медленно работает). Теперь же есть нормальные рабочий вариант. Почему же не добавили impl Intoiterator for [T; N], спросите вы? К сожалению, есть странные люди, которые вызывают .into_iter() на литералах массива, который ввиду авто-борровинга вызывает <&[T]>::into_iter, что, в принципе, аналогично вызову .iter(). Добавление реализации IntoIterator для массивов технически сломало бы этот код. Не исключено, что в будущем на этот шаг всё-таки пойдут, и array::IntoIter::new останется на свалке истории.

Cargo сделали чуток умнее: теперь резолвер фичей, если отдельно включить новую версию, не слепляет бездумно все фичи для каждой из зависимостей в одну (возрадуйся, @ihatereality!). В блогпосте есть примеры того, как старое поведение на практике ломало код. Это изменение позволило закрыть разом семь issue!

В Rust до этого релиза не было возможности получить по указателю на структуру указатель на её поле, не создавая промежуточную ссылку на поле. Одна из причин, почему это так сильно мешалось на практике — это отсутствие в Rust аналога offsetof из C. Существующий для этого крейт страдал от того факта, что для получений этого смещения брал ссылку на неинициализированные данные, что технически является неопределённым поведением. С добавлением макросов ptr::addr_of/ptr::addr_of_mut, которые позволяют брать адрес в виде сырого указателя без создания промежуточной ссылки, эта проблема уходит.

Одна из достаточно обоснованных претензий к Rust состоит в том, что из-за deref coercion часто неочевидно, какими методами обладает тип. Начиная с этого релиза, cargo doc добавляет в документацию методы, полученные при помощи deref coercion произвольной глубины применения. До этого изменения, если у нас были типы A, B и C с реализациями impl Deref<Target = B> for A и impl Deref<Target = C> for B, то документация к A показывала методы A и B, но не C. Теперь же будут видны и методы C.

1.42K viewsedited 18:17