Выпуск Rust 1.13

Команда Rust рада представить выпуск Rust 1.13.0. Rust — это системный язык программирования, нацеленный на безопасность, скорость и параллельное выполнение кода.

Как обычно, вы можете установить Rust 1.13.0 с соответствующей страницы официального сайта, а также ознакомиться с подробным списком изменений в 1.13.0 на GitHub. В этот выпуск вошло 1448 патчей.

Это была по-настоящему горячая пора в Rust. Мы участвовали в трёх конференциях подряд — RustConf, RustFest и Rust Belt Rust. Было классно увидеть так много любителей Rust; со многими мы встретились впервые! Мы много думали о будущем, разрабатывали план на 2017 и создавали инструменты, нужные нашим пользователям.

И несмотря на всё это, мы собрали новый выпуск с кучей новых крутых фишек.

Что вошло в стабильную версию 1.13

Выпуск 1.13 включает долгожданный оператор ?, ускорение компиляции, добавление некоторых возможностей в Cargo и стандартную библиотеку. Также этот выпуск привносит множество небольших улучшений в документацию и сообщения об ошибках. Это результат работы многих людей, и они не упоминаются в замечаниях к выпуску индивидуально.

Выпуск содержит важные исправления уязвимостей в Cargo. Он зависит от curl и OpenSSL, а они оба недавно опубликовали обновления безопасности. Подробнее смотрите соответствующие анонсы curl 7.51.0 и OpenSSL 1.0.2j.

Оператор ?

Rust приобрёл новый оператор ?. Он делает работу c ошибками значительно приятнее, убирая визуальный шум. Например, у нас есть такой код для чтения данных из файла:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

fn read_username_from_file() -> Result<String, io::Error> {
    let f = File::open("username.txt");

    let mut f = match f {
        Ok(file) => file,
        Err(e) => return Err(e),
    };

    let mut s = String::new();

    match f.read_to_string(&mut s) {
        Ok(_) => Ok(s),
        Err(e) => Err(e),
    }
}

Код содержит два пути, которые могут завершиться ошибкой: открытие файла и чтение данных из него. Если в одном из них произойдёт сбой, нам нужно вернуть ошибку из функции read_username_from_file. Для этого нам приходится сопоставлять с образцом результат операций ввода-вывода. Однако здесь мы просто пробрасываем ошибку по стеку вызовов, и использование match — это постоянно повторяющийся шаблонный код. Его трудно читать.

С ? вышеприведённый код будет выглядеть так:

1
2
3
4
5
6
7
8

fn read_username_from_file() -> Result<String, io::Error> {
    let mut f = File::open("username.txt")?;
    let mut s = String::new();

    f.read_to_string(&mut s)?;

    Ok(s)
}

? является сокращением для целого выражения match, которое мы писали выше. Другими словами, ? берёт Result и, если он Ok, разворачивает его и отдаёт вложенное значение. Если значение Result — Err, ? возвращает управление из текущей функции. Это гораздо проще читать: вместо целого выражения мы используем символ «?». Так мы показываем, что обрабатываем ошибку стандартным способом, передавая её вверх по стеку.

Опытные программисты на Rust могут отметить, что это то же самое, что и макрос try!, доступный ещё с Rust 1.0. Действительно, это то же самое. До 1.13 read_username_from_file могла быть реализована так:

1
2
3
4
5
6
7
8

fn read_username_from_file() -> Result<String, io::Error> {
    let mut f = try!(File::open("username.txt"));
    let mut s = String::new();

    try!(f.read_to_string(&mut s));

    Ok(s)
}

Так зачем же вносить расширения в язык, если у нас уже есть макрос? По разным причинам. Во-первых, try! подтвердил свою исключительную полезность и часто используется в идиоматичном Rust. Он используется так часто, что заслуживает сладкого синтаксиса. Такого рода эволюция является одним из больших преимуществ мощной системы макросов: предполагаемые расширения синтаксиса языка могут быть прототипированы и протестированы без изменения самого языка. В свою очередь, макрос, превратившийся в исключительно полезный, может указывать на недостаток возможностей языка. Такая эволюция из try! в ? — отличный тому пример.

Одна из причин, по которым try! нуждается в засахаривании — это то, что он довольно некрасив в случае многократного вызова в цепочке. Сравните:

1

try!(try!(try!(foo()).bar()).baz())

в противовес:

1

foo()?.bar()?.baz()?

Первый фрагмент достаточно сложно читать, и каждый слой обработки ошибок приписывает в начало выражения вызов try!. Это требует чрезмерной концентрации внимания для тривиального проброса ошибок, и затмевает основной рабочий код — вызовы foo, bar и baz. Данный тип сцепления вызовов с обработкой ошибок характерен для ситуаций вроде шаблона проектирования builder.

Наконец, специализированный синтаксис облегчит вывод ошибок — мы сможем учесть использование ?. А для кода из макросов сложно сделать хорошие ошибки. Однако в данном выпуске сообщения об ошибках использования ? реализованы ещё не полностью.

Хотя это небольшое улучшение, по нашему опыту ? — стоящее улучшение эргономики try!. Это хороший пример последовательного улучшения качества жизни, которые Rust будет получать и дальше.

Подробнее о ? смотрите в RFC 243.

Улучшение производительности

Мы серьёзно сосредоточились на производительности компилятора. У нас уже есть хорошие новости, но в будущих выпусках будет ещё лучше.

Mark Simulacrum и Nick Cameron оттачивали perf.rust-lang.org, наш инструмент для отслеживания производительности компилятора. Он регулярно запускает rustc-benchmarks на выделенном оборудовании и отслеживает изменения со временем. Этот инструмент записывает результаты каждого этапа компиляции и используется разработчиками, чтобы сузить диапазон поиска коммитов, приведших к деградации производительности. Это важная часть нашего инструментария!

Мы можем воспользоваться им, чтобы взглянуть на график производительности в период разработки 1.13 — с 16 августа по 29 сентября (график показан ниже). График начинается с 25 августа и отфильтрован по нескольким критериям — чтобы исключить недостоверные, неполные или противоречивые результаты. Можно заметить большие сокращения. (Прим. ред.: это скриншот с сайта perf.rust-lang.org. Оригинальная страница больше не доступна.)

1 сентября произошло значительное улучшение — Niko включил нормализованные проекции кеша при трансляции. Это означает, что во время генерации LLVM IR компилятор больше не пересчитывает конкретные экземпляры ассоциированных типов в каждом месте их использования. Теперь он переиспользует ранее вычисленные значения. Эта оптимизация влияет не на любой код, но когда встречаются определённые типовые фрагменты, вы заметите разницу. Например, для futures-rs время сборки отладочной версии улучшилось на 40%.

Другая подобная оптимизация реализована Michael Woerister. Она ускоряет компиляцию контейнеров, которые экспортируют множество встраиваемых функций. Если функция помечена как #[inline], компилятор сохраняет её представление в MIR в rlib — помимо обычной трансляции для использования в текущем контейнере. Затем он транслирует её в каждом контейнере, который вызывает данную функцию. В ретроспективе, Michael сделал очевидную оптимизацию: в некоторых случаях встраиваемые функции предназначены только для других контейнеров, так что компилятор не должен транслировать их в контейнере, где они объявлены. Разумеется, кроме случая, когда они там вызываются. Это экономит время на преобразование функции в LLVM IR и её обработку LLVM: оптимизацию и кодогенерацию.

В некоторых случаях это даёт впечатляющие результаты. Время сборки ndarray улучшилось на 50%, а для (неопубликованного) winapi 0.3, rustc теперь не производит машинный код совсем.

Но подождите, это ещё не всё! Nick Nethercote также обратил своё внимание на производительность компилятора, сконцентрировавшись на профилировании и микрооптимизациях. Данный выпуск уже включает в себя некоторые плоды его трудов, другие запланированы на 1.14.

Подробнее смотрите замечания к выпуску.

Другие заметные изменения

Выпуск содержит важные исправления уязвимостей в Cargo. Он зависит от curl и OpenSSL, а они оба недавно опубликовали обновления безопасности. Подробнее смотрите соответствующие анонсы curl 7.51.0 и OpenSSL 1.0.2j.

Теперь вы можете использовать макросы на месте типа (RFC 873) и применять атрибуты к операторам (RFC 16):

1
2
3
4
5
6

// Используем макрос, чтобы назвать тип
macro_rules! Tuple {
    { $A:ty,$B:ty } => { ($A, $B) }
}

let x: Tuple!(i32, i32) = (1, 2);

1
2
3

// Применяем атрибут статического анализа к единственному оператору
#[allow(uppercase_variable)]
let BAD_STYLE = List::new();

Встроенные флаги сброса (англ. inline drop flags) удалены. Раньше компилятор хранил «флаг сброса» в структурах, чтобы понимать, исполнять ли деструктор, когда структуры перемещались в некоторых путях исполнения. Это увеличивало размер структур, что мешало передаче типов с деструкторами через границу FFI. Для кода, который не перемещает структуры только в части путей исполнения, эта память тратилась впустую. В 1.12 MIR стал транслятором по умолчанию — это было фундаментом многих улучшений, включая удаление этих встроенных флагов сброса. Теперь флаги сброса лежат в стеке тех функций, которым они нужны.

В 1.13 есть серьёзный баг в кодогенерации для ARM с аппаратной реализацией чисел с плавающей точкой. Это большинство платформ на базе ARM. На данный момент ARM — это платформа 2 уровня поддержки, поэтому этот баг не блокирует выпуск. Поскольку 1.13 содержит исправление безопасности, мы рекомендуем пользователям ARM использовать бета-версии 1.14. Эта ветка скоро получит исправление данной проблемы.

Стабилизация языковых возможностей

• Типаж Reflect объявлен устаревшим. Смотрите объяснение того, что это значит для параметричности (parametricity) в Rust.
• Стабилизированы макросы на месте типа. RFC 873.
• Стабилизированы атрибуты на операторах. RFC 16.

Стабилизация библиотек

• checked_abs, wrapping_abs и overflowing_abs
• RefCell::try_borrow и RefCell::try_borrow_mut
• Добавлены assert_ne! и debug_assert_ne!
• Реализован AsRef<[T]> для std::slice::Iter
• Реализован CoerceUnsized для {Cell, RefCell, UnsafeCell}
• Реализован Debug для std::path::{Components,Iter}
• Реализованы типажи преобразования для char
• SipHasher устарел. Используйте DefaultHasher.
• Реализовано больше типажей для std::io::ErrorKind

Возможности Cargo

• cargo: В cargo добавлен флаг --all-features
• cargo: Добавлен флаг --message-format

Подробнее смотрите замечания к выпуску.

Разработчики версии 1.13.0

155 человек внесли свой вклад в 1.13.0. Большое вам спасибо!

Поддержите на Patreon