LINUX.ORG.RU

Rust 1.17

 ,


3

9

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

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

$ rustup update stable

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

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

Выпуск Rust 1.17.0 в основном вносит небольшие улучшения, преимущественно касающиеся удобства использования. Например, время жизни 'static теперь автоматически подразумевается для констант или статических переменных. При создании константы или статической переменной:

const NAME: &'static str = "Ferris";
static NAME: &'static str = "Ferris";

Rust 1.17 позволит вам больше не писать 'static, так как это единственное время жизни, которое имеет смысл:

const NAME: &str = "Ferris";
static NAME: &str = "Ferris";

В некоторых ситуациях это позволит избавиться от лишних повторений:

// было
const NAMES: &'static [&'static str; 2] = &["Ferris", "Bors"];

// стало
const NAMES: &[&str; 2] = &["Ferris", "Bors"];

Другим подобным косметическим улучшением является «короткая инициализация полей». Подобно ECMAScript 6, который называет это «Сокращение Значения Свойства Объектного Литерала» («Object Literal Property Value Shorthand»), дублирование может быть удалено при объявлении структур, к примеру:

// определение
struct Point {
    x: i32,
    y: i32,
}

let x = 5;
let y = 6;

// было
let p = Point {
    x: x,
    y: y,
};

// стало
let p = Point {
    x,
    y,
};

То есть форма записи x, y будет предполагать, что значения x и y соответствуют переменным с аналогичными именами, находящимися в данной области видимости.

Другое маленькое, но полезное улучшение касается в основном новичков в Rust, которые пытаются использовать +, чтобы соединить две &str вместе. Но это не работает, соединить вы можете лишь String + &str. Поэтому, было добавлено новое сообщение об ошибке, чтобы помочь пользователям, которые совершают подобную ошибку:

// код
"foo" + "bar"

// было
error[E0369]: binary operation `+` cannot be applied to type `&'static str`
 --> <anon>:2:5
  |
2 |     "foo" + "bar"
  |     ^^^^^
  |
note: an implementation of `std::ops::Add` might be missing for `&'static str`
 --> <anon>:2:5
  |
2 |     "foo" + "bar"
  |     ^^^^^

// стало
error[E0369]: binary operation `+` cannot be applied to type `&'static str`
 --> <anon>:2:5
  |
2 |     "foo" + "bar"
  |     ^^^^^
  |
  = note: `+` can't be used to concatenate two `&str` strings
help: to_owned() can be used to create an owned `String` from a string
reference. String concatenation appends the string on the right to the string on
the left and may require reallocation. This requires ownership of the string on
the left.
  |     "foo".to_owned() + "bar"

При использовании сценариев сборки Cargo вы должны указать расположение скрипта в вашем Cargo.toml. Однако, подавляющее большинство людей писали build = «build.rs», тем самым используя файл build.rs, расположенный в корне проекта. Теперь это соглашение поддерживается самим Cargo, и будет использовано по умолчанию, если существует файл build.rs. Мы предупреждали об этом изменении в течение нескольких последних выпусков. Вы также можете использовать build = false для отказа от этого соглашения.

В этом выпуске удалена старая система сборки на основе Makefile. Новая система, анонсированная в Rust 1.15, написана на Rust и в основном использует Cargo для управления сборкой. На данный момент она уже достаточно зрелая, чтобы быть единственной системой сборки.

В рамках этого изменения, пакеты из crates.io теперь можно использовать в системе сборки Rust. Первым был добавлен mdBook, и он теперь используется при сборки нашей разнообразной книжной документации:

Обратите внимание на ссылки на соответствующие репозитории; документы были перемещены из основного дерева. Кроме того, мы добавили четвертую книгу, которая все еще расположена в основном дереве: Книга «Нестабильные возможности Rust». Она описывает нестабильные возможности, содержит ссылки на задачи, связанные с их стабилизацией, и может содержать исходную документацию. Если есть возможность, которую вы хотите увидеть стабилизированной, то пожалуйста, примите участие в ее обсуждении!

Несколько выпусков назад rustup перестал по умолчанию устанавливать документацию. Мы внесли это изменение, чтобы немного разгрузить канал, а также потому, что не все пользователи в действительности хотят хранить локальную копию документации. Однако это создало ловушку: некоторые пользователи не были в курсе, что произошло изменение, и заметили бы это, только если бы у них пропало подключение к Интернету. Кроме того, некоторые пользователи хотели иметь локальную копию документации, независимо от их подключения. Таким образом, мы откатили данное изменение, и документация снова устанавливается по умолчанию.

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

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

Был стабилизирован 21 новый интерфейс:

  • Arc::into_raw и Rc::into_raw позволят вам забрать Arc или Rc и получить сырой указатель.
  • Arc::from_raw и Rc::from_raw позволят вам забрать сырой указатель и получить Arc или Rc.
  • Arc::ptr_eq и Rc::ptr_eq возвращает true если оба Arc или оба Rc указывают на одно и то же значение (не обязательно значения, которые сравниваются, равны).
  • Ordering::then позволит вам сцепить два Ordering вместе, и Ordering::then_with позволит сделать это с помощью функции.
  • BTreeMap::range позволит вам итерировать лишь по части BTreeMap, и BTreeMap::range_mut позволит вам сделать это с возможностью изменения. collections::Bound может дать вам еще больше контроля.
  • process::abort будет полностью завершать процесс анормальным образом.
  • ptr::read_unaligned и ptr::write_unaligned аналогичны ptr::read и ptr::write, но без требований к выравниванию.
  • Result::expect_err зеркально подобен Result::expect, то есть работает с вариантом Err, а не с вариантом Ok.
  • Cell::swap аналогичен std::mem::swap, но позволяет вам делать это с &Cell вместо &mut T.
  • Cell::replace аналогичен std::mem::replace, но позволяет вам делать это с &Cell вместо &mut T.
  • Cell::into_inner позволит вам взять Cell, и извлечь его значение.
  • Cell::take позволит вам забрать значение Cell наружу, заменив его на Default::default.

Что касается других изменений, для многих методов Cell<T> требовалось ограничение T: Copy, но теперь это требование значительно ослаблено.

Box<T> теперь реализует более дюжины новых преобразований с помощью From.

SocketAddr и IpAddr также теперь имеют несколько новых преобразований. Раньше вы должны были писать код вроде этого:

"127.0.0.1:3000".parse().unwrap()

Сейчас же вы можете писать
SocketAddr::from(([127, 0, 0, 1], 3000))
// или
([127, 0, 0, 1], 3000).into())

Что позволит удалить ненужный парсинг во время выполнения. Оба варианта примерно одинаково удобно читаются, все зависит от ваших предпочтений.

Обратная трассировка теперь имеет более приятное форматирование, опуская некоторые незначительные детали по умолчанию.

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

Помимо ранее упомянутых изменений, касающихся build.rs, у Cargo есть еще несколько новых улучшений. cargo check --all и cargo run --package — два отсутствовавших до этого момента флага, которые теперь поддерживаются.

Теперь вы можете игнорировать проверки отзыва SSL. Конечно, по умолчанию проверка все еще производится.

Новое поле в Cargo.toml, required-features, позволяет указать конкретные возможности, которые должны быть установлены для цели, которую нужно собрать. Вот пример: предположим, что мы пишем контейнер, который взаимодействует с базами данных, и хотим, чтобы он поддерживал несколько баз данных. Мы могли бы это сделать в нашем Cargo.toml:

[features]
# ...
postgres = []
sqlite = []
tools = []

Возможность tools позволяет нам включить дополнительные инструменты, а возможности postgres и sqlite указывают, какие базы данных мы хотим поддерживать.

Раньше cargo build пыталась собрать все цели, которые вам нужны. Но что, если у нас есть файл src/bin/postgres-tool.rs, который является нужным только при условии, что возможности postgres и tools были включены? Раньше нам приходилось писать что-то вроде этого:

#[cfg(not(all(feature = "postgres", feature = "tools")))]
fn main() {
    println!("This tool requires the `postgres` and `tools` features to be enabled.");
}

#[cfg(all(feature = "postgres", feature = "tools"))]
fn main() {
    // код
}

Слишком много шаблонного кода для работы с cargo build. Еще печальнее дело обстояло с examples/, которые должны демонстрировать, как использовать вашу библиотеку. Но такие махинации возможны только при работе внутри самого пакета, поэтому вы потерпите неудачу, если попытаетесь использовать пример вне этого пакета.

С помощью нового ключа required-features мы можем добавить следующее:

[[bin]]
# ...
required-features = ["postgres", "tools"]

Теперь cargo build будет собирать наш postgres-tool, только если у нас включены две эти возможности, и поэтому мы можем написать нормальный fn main без всяких нагромождений вроде cfg.

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

Много людей внесли свой вклад в создание Rust 1.17. Мы не смогли бы сделать это без всех вас. Спасибо!

Авторы перевода и публикации @kgv, @vitvakatu, @ozkriff.

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

Если у вас установлена предыдущая версия Rust, то для обновления достаточно выполнить

поменяйте эту фразу плз на то что ниже или что-то в этом духе

если вам необходимы описанные ниже возможности, то обновить пользовательскую версию (локальную, не глобальную версию из пакетного менеджера дистрибутива) можно командой

а то можно конечно опять устроить срач про «пакетный менеджер дистра vs обновлялка языка», но лениво.

upcFrost ★★★★★ ()
Ответ на: комментарий от upcFrost

Устраивайте, в большинстве дистрибутивов версии rustc и cargo древние, официальный способ установки — именно rustup.
Тем более rustup умеет больше чем дистрибутивные ПМы. Он дает возможность переключаться между разными весиями компилятора, ставит доп-компоненты (rls, сорцы rust), а так же кросстулчейны.

mersinvald ★★★ ()
Последнее исправление: mersinvald (всего исправлений: 1)
Ответ на: комментарий от mersinvald

Он дает возможность переключаться между разными весиями компилятора, ставит доп-компоненты (rls, сорцы rust), а так же кросстулчейны

да, все так. но дистроменеджер никто не отменял. и «официальный способ установки» в линуксе это пока что именно пакетный менеджер дистра. то что там версия протухшая вопрос десятый. да и я не предлагаю вообще вырезать эту фразу, а именно что поменять на более корректную с точки зрения работы дистрибутива. чтоб не превращать линух в очередную венду

upcFrost ★★★★★ ()
Ответ на: комментарий от upcFrost

Новость ориентированна на разработчиков. Как разработчик, могу сказать, и все другие разработчики со мной согласятся, что иметь последнюю версию на данный момент важнее, чем следовать идиомам линукса.

Из репозиториев пусть подтягивают юзеры, у которых (не знаю почему) софт зависит от rustc и cargo.

mersinvald ★★★ ()
Ответ на: комментарий от mersinvald

Как разработчик, могу сказать, и все другие разработчики со мной согласятся, что иметь последнюю версию на данный момент важнее, чем следовать идиомам линукса

вот это кстати глупость и с предлагаемой правкой никак не связано. еще раз - суть правки это сделать акцент на обновлении _пользовательской_ версии. последняя версия? да как два пальца. но в /home. и только в /home.

upcFrost ★★★★★ ()
Последнее исправление: upcFrost (всего исправлений: 1)
Ответ на: комментарий от upcFrost

И в чем огромная разница между этими двумя методами обновления, которую я никак не могу понять?

Энивей, это уже переходит в ленивый срачик. Новость — перевод, как авторы из core team написали, так и публикуем)

mersinvald ★★★ ()

SocketAddr::from(([127, 0, 0, 1], 3000))

А не логичнее на системном уровне хранить айпи как единое 32-битное число, а не массив из четырех чисел? Все равно маска может быть произвольной, а не кратной 8 битам.

gene1 ()
Ответ на: комментарий от upcFrost

«пакетный менеджер дистра vs обновлялка языка»

Для подавляющего количества языков, на которых я когда-либо писал, «обновлялка языка» однозначно заруливала пакетный менеджер дистра. Такие дела.

ymn ★★★★★ ()
Ответ на: комментарий от mersinvald

from это конверсия, при вызове массив с IP и порт переводятся во внутреннее представление

И во внутреннем представлении есть танцы с бубном по октетам: https://github.com/rust-lang/rust/blob/master/src/libstd/net/ip.rs#L738

gene1 ()

Какой-то нескучный системный brainfuck, особенно из-за всех этих закорючек. Haskell намного однородней и понятней этого творения. А линейные типы уже давно были и раст ничего нового не принес.

anonymous ()

Подобно ECMAScript 6, который называет это «Сокращение Значения Свойства Объектного Литерала» («Object Literal Property Value Shorthand»), дублирование может быть удалено при объявлении структур

Нашли что в язык притащить.

anonymous ()
Ответ на: комментарий от pftBest

Приведите пример как эта возможность языка может выстрелить в ногу?

Переименовывание поля, когда новое название совпадает с существующей переменной. Ручная замена или автоматический рефактор не приведет к возникновению ошибки при компиляции.

anonymous ()
Ответ на: комментарий от anonymous

Ручная замена или автоматический рефактор не приведет к возникновению ошибки при компиляции.

Вот например код:

#[derive(Debug)]
struct A {
    foo: u32,
    bar: u32,
}

fn main() {
    let foo = 1;
    let bar = 2;
    let baz = 3;
    let a = A {
        foo,
        bar,
    };
    println!("{:#?}", a);
}

Какой рефактор надо сделать чтобы получилось плохо? Просто переименовав поле получишь ошибку компиляции.

pftBest ★★ ()
Ответ на: комментарий от cantus

Я бы сказал что их пока что не очень много. Есть conrod, который более-менее активно пилится, есть куча биндингов к ncurses, gtk, Qt, libui, IUP, ImGui, Awesomium. Кроме того, недавно появился Relm, который выглядит довольно любопытно.

vitvakatu ()
Ответ на: комментарий от DarkEld3r

Многие хотели эту фичу + она хорошо вписывается в роадмап на упрощение языка и сглаживание кривой сложности.

Я хоть ECMAScript в глаза не видел, но необходимость дважды вбивать одни имена полей/переменных немного бесила

mersinvald ★★★ ()
// определение
struct Point {
    x: i32,
    y: i32,
}

let x = 5;
let y = 6;

// было
let p = Point {
    x: x,
    y: y,
};

// стало
let p = Point {
    x,
    y,
};

Лексический маппинг? Серьёзно? Понятно, вопросов больше не имею.

Joe_Bishop ()
Ответ на: комментарий от mersinvald

она хорошо вписывается в роадмап на упрощение языка

Вообще ниразу не упрощение, боюсь что через 5-10 лет все превратится в «bash» с кучей правил и исключений.

anonymous ()
Ответ на: комментарий от mersinvald

но необходимость дважды вбивать одни имена полей/переменных немного бесила

Дык, некоторых вон бесит необходимость явно to_owned() писать, но так можно далеко зайти.

Я понимаю, что это вопрос спорный и не всегда можно явно провести черту, где начинается избыточный сахар. Просто раньше принципиальность в таких вопросах была отличительной чертой языка (одной из).

DarkEld3r ★★★★ ()
Ответ на: комментарий от anonymous

Haskell намного однородней и понятней этого творения.

... и тормознее.

Сравнивай с теми языками, программы на которых имеют примерно такую же скорость выполнения.

monk ★★★★★ ()
Ответ на: комментарий от RazrFalcon

Ну, если Rust всерьез претендует на роль безопасного языка системного программирования, то с сравнения с Ada должны быть вполне уместны. Т.к. это одна из ниш, в которых Ada на Западе востребована до сих пор.

eao197 ★★★★ ()