Материал: Язык программирования Rust

Обозначение
Объяснение
type::method(...)
Устранение неоднозначности путём вызова метода через имя типа, для которого он определён
::method(...)
Устранение неоднозначности вызова метода путём именования типажа и типа
Таблица Б-4 показывает обозначения которые появляются в контексте использования обобщённых типов параметров
Таблица Б-4: Обобщения
Обозначение
Объяснение
path<...>
Определяет параметры для обобщённых параметров в типе
(e.g.,
Vec
)
path::<...>
, method::<...>
Определяет параметры для обобщённых параметров,
функций, или методов в выражении. Часто называют turbofish (например "42".parse::()
)
fn ident<...>
Определение обобщённой функции struct ident<...> ...
Определение обобщённой структуры enum ident<...>
Объявление обобщённого перечисления impl<...> ...
Определение обобщённой реализации for<...> type
Высокоуровневое связывание времени жизни type
Обобщённый тип где один или более ассоциированных типов имеют определённое присваивание (например
Iterator
)
Таблица Б-5 показывает обозначения которые появляются в контексте использования обобщённых типов параметров с ограничениями типов
Таблица Б-5: Ограничения типов
Обозначение
Объяснение
T: U
Обобщённый параметр
T
ограничивается до типов которые реализуют типаж
U
T: 'a
Обобщённый тип
T
должен существовать не меньше чем 'a
(то есть тип не может иметь ссылки с временем жизни меньше чем 'a
)
T : 'static
Обобщённый тип
T
не имеет заимствованных ссылок кроме имеющих время жизни 'static
'b: 'a
Обобщённое время жизни 'b должно быть не меньше чем 'a

Обозначение
Объяснение
T: ?Sized
Позволяет обобщённым типам параметра иметь динамический размер 'a + trait
, trait + trait
Соединение ограничений типов
Таблица Б-6 показывает обозначения, которые появляются в контексте вызова или определения макросов и указания атрибутов элемента.
Таблица Б-6: Макросы и атрибуты
Обозначение
Объяснение
#[meta]
Внешний атрибут
#![meta]
Внутренний атрибут
$ident
Подстановка в макросе
$ident:kind
Захват макроса
$(…)…
Повторение макроса ident!(...)
, ident!{...}
, ident![...]
Вызов макроса
Таблица Б-7 показывает обозначения, которые создают комментарии.
Таблица Б-7: Комментарии
Обозначение
Объяснение
//
Однострочный комментарий
//!
Внутренний однострочный комментарий документации
///
Внешний однострочный комментарий документации
/*...*/
Многострочный комментарий
/*!...*/
Внутренний многострочный комментарий документации
/**...*/
Внешний многострочный комментарий документации
Таблица Б-8 показывает обозначения, которые появляются в контексте использования кортежей.
Таблица Б-8: Кортежи
Обозначение
Объяснение
()
Пустой кортеж, он же пустой тип. И литерал и тип.
(expr)
Выражение в скобках
(expr,)
Кортеж с одним элементом выражения
(type,)
Кортеж с одним элементом типа

Обозначение
Объяснение
(expr, ...)
Выражение кортежа
(type, ...)
Тип кортежа
(type, ...)
Выражение вызова функции; также используется для инициализации структур-кортежей и вариантов-кортежей перечисления expr.0
, expr.1
, etc.
Взятие элемента по индексу в кортеже
Таблица Б-9 показывает контексты, в которых используются фигурные скобки.
Таблица Б-9: Фигурные скобки
Контекст
Объяснение
{...}
Выражение блока
Type {...}
struct литерал
Таблица Б-10 показывает контексты, в которых используются квадратные скобки.
Таблица Б-10: Квадратные скобки
Контекст
Объяснение
[...]
Литерал массива
[expr; len]
Литерал массива, содержащий len копий expr
[type; len]
Массив, содержащий len экземпляров типа type expr[expr]
Взятие по индексу в коллекции. Возможна перегрузка
(
Index
,
IndexMut
)
expr[..]
, expr[a..]
, expr[..b]
, expr[a..b]
Взятие среза коллекции по индексу, используется
Range
,
RangeFrom
,
RangeTo
, или
RangeFull как "индекс"

Дополнение В: Выводимые типажи
Во многих частях книги мы обсуждали атрибут derive
, которые Вы могли применить к объявлению структуры или перечисления. Атрибут derive генерирует код по умолчанию для реализации типажа, который вы указали в derive
В этом дополнении, мы расскажем про все типажи, которые вы можете использовать в атрибуте derive
. Каждая секция содержит:
Операции и методы, добавляемые типажом
Как представлена реализация типажа через derive
Что реализация типажа рассказывает про тип
Условия, в которых разрешено или запрещено реализовывать типаж
Примеры ситуаций, которые требуют наличие типажа
Если Вам понадобилось поведение отличное от поведения при реализации через derive
, обратитесь к документации по стандартной библиотеке чтобы узнать как вручную реализовать типаж.
Перечисленные здесь типажи являются единственными, определёнными стандартной библиотекой, которые могут быть реализованы в ваших типах с помощью derive
Другие типажи, определённые в стандартной библиотеке, не имеют ощутимого поведения по умолчанию, поэтому вам решать, как реализовать их для достижения ваших целей.
Пример типажа, который нельзя реализовать через derive -
Display
, который обрабатывает форматирование для конечных пользователей. Вы всегда должны сами рассмотреть лучший способ для отображения типа конечному пользователю. Какие части типа должны быть разрешены для просмотра конечному пользователю? Какие части они найдут подходящими? Какой формат вывода для них будет самым подходящим? Компилятор Rust не знает ответы на эти вопросы, поэтому он не может подобрать подходящее стандартное поведение.
Список типов, реализуемых через derive, в этом дополнении не является исчерпывающим: библиотеки могут реализовывать derive для их собственных типажей,
составляя свои списки типажей, которые Вы можете использовать с помощью derive
Реализация derive включает в себя использование процедурных макросов, которые были рассмотрены в разделе "Макросы"
главы 19.
Debug
для отладочного вывода
Типаж
Debug включает отладочное форматирование в форматируемых строках, которые вы можете указать с помощью
:?
внутри
{}
фигурных скобок.

Типаж
Debug позволяет Вам напечатать объекты типа с целью отладки, поэтому Вы и другие программисты, использующие Ваш тип, смогут проверить объект в определённой точке выполнения программы.
Типаж
Debug обязателен для некоторых случаях. Например, при использовании макроса assert_eq!
. Этот макрос печатает значения входных аргументов если они не совпадают.
Это позволяет программистам увидеть, почему эти объекты не равны.
PartialEq
и Eq для сравнения равенства
Типаж
PartialEq позволяет Вам сравнить объекты одного типа на эквивалентность, и включает для них использование операторов
==
и
!=
Использование
PartialEq реализует метод eq
. Когда
PartialEq используют для структуры, два объекта равны если равны все поля объектов, и объекты не равны, если хотя бы одно поле отлично. Когда используется для перечислений, каждый вариант равен себе, и не равен другим вариантам.
Типаж
PartialEq обязателен в некоторых случаях. Например для макроса assert_eq!
,
где необходимо сравнивать два объекта одного типа на эквивалентность.
Типаж
Eq не имеет методов. Он сигнализирует что каждое значение аннотированного типа равно самому себе. Типаж
Eq может быть применён только для типов реализующих типаж
PartialEq
, хотя не все типы, которые реализуют
PartialEq могут реализовывать
Eq
. Примером являются числа с плавающей запятой: реализация чисел с плавающей запятой говорит, что два экземпляра со значениями не-число (
NaN
) не равны друг другу.
Типаж
Eq необходим в некоторых случаях. Например, для ключей в
HashMap
Поэтому
HashMap
может сказать, что два ключа являются одним и тем же.
PartialOrd
и Ord для сравнения порядка
Типаж
PartialOrd позволяет Вам сравнить объекты одного типа с помощью сортировки.
Тип, реализующий
PartialOrd может использоваться с операторами
<
,
>
,
<=
, и
>=
. Вы можете реализовать типаж
PartialOrd только для типов, реализующих
PartialEq
Использование
PartialOrd реализует метод partial_cmp
, который возвращает
Option
который является
None когда значения не выстраивают порядок.
Примером значения, которое не может быть упорядочено, не являются числом (
NaN
)
значение с плавающей запятой. Вызов partial_cmp с любым числом с плавающей запятой и значением
NaN
вернёт
None

Когда используется для структур,
PartialOrd сравнивает два объекта путём сравнения значений каждого поля в порядке, в котором поля объявлены в структуре. Когда используется для перечислений, то варианты перечисления объявленные ранее будут меньше чем варианты объявленные позже.
Например, типаж
PartialOrd может потребоваться для метода gen_range из rand крейта который генерирует случайные значения в заданном диапазоне (который определён выражением диапазона).
Типаж
Ord позволяет знать, для двух значений аннотированного типа всегда будет существовать валидный порядок. Типаж
Ord реализовывает метод cmp
, который возвращает
Ordering а не
Option
потому что валидный порядок всегда будет существовать. Вы можете применить типаж
Ord только для типов, реализовывающих типаж
PartialOrd и
Eq
(
Eq также требует
PartialEq
). При использовании на структурах или перечислениях, cmp имеет такое же поведение, как и partial_cmp в
PartialOrd
Типаж
Ord необходим в некоторых случаях. Например, сохранение значений в
BTreeSet
, типе данных, который хранит информацию на основе порядка отсортированных данных.
Clone
и Copy для дублирования значений
Типаж
Clone позволяет вам явно создать глубокую копию значения, а также процесс дублирования может вызывать специальный код и копировать данные с кучи. Более детально про
Clone смотрите в секции "Способы взаимодействия переменных и данных:
клонирование"
в разделе 4.
Использование
Clone реализует метод clone
, который в случае реализации на всем типе, вызывает clone для каждой части данных типа. Это подразумевает, что все поля или значения в типе также должны реализовывать
Clone для использования
Clone
Типаж
Clone необходим в некоторых случаях. Например, для вызова метода to_vec для среза. Срез не владеет данными, содержащимися в нем, но вектор значений,
возвращённый из to_vec должен владеть этими объектами, поэтому to_vec вызывает clone для всех данных. Таким образом, тип хранящийся в срезе, должен реализовывать
Clone
Типаж
Copy позволяет дублировать значения копируя только данные, которые хранятся на стеке, произвольный код не требуется. Смотрите секцию "Стековые данные:
Копирование"
в разделе 4 для большей информации о
Copy
Типаж
Copy не содержит методов для предотвращения перегрузки этих методов программистами, иначе бы это нарушило соглашение, что никакой произвольный код не запускается. Таким образом все программисты могут предполагать, что копирование значений будет происходить быстро.

Вы можете вывести
Copy для любого типа все части которого реализуют
Copy
. Тип который реализует
Copy должен также реализовывать
Clone
, потому что тип реализующий
Copy имеет тривиальную реализацию
Clone который выполняет ту же задачу, что и
Copy
Типаж
Copy нужен очень редко; типы, реализовывающие
Copy имеют небольшую оптимизацию, то есть для него не нужно вызывать метод clone
, который делает код более кратким.
Все, что вы делаете с
Copy можно также делать и с
Clone
, но код может быть медленнее и требовать вызов метода clone в некоторых местах.
Hash
для превращения значения в значение фиксированного размера
Типаж
Hash позволяет превратить значение произвольного размера в значение фиксированного размера с использованием хеш-функции. Использование
Hash реализует метод hash
. При реализации через derive, метод hash комбинирует результаты вызова hash на каждой части данных типа, то есть все поля или значения должны реализовывать
Hash для использования
Hash с помощью derive.
Типаж
Hash необходим в некоторых случаях. Например, для хранения ключей в
HashMap
, для их более эффективного хранения.
Default
для значений по умолчанию
Типаж
Default позволяет создавать значение по умолчанию для типа. Использование
Default реализует функцию default
. Стандартная реализация метода default вызовет функцию default на каждой части данных типа, то есть для использования
Default через derive, все поля и значения типа данных должны также реализовывать
Default
Функция
Default::default часто используется в комбинации с синтаксисом обновления структуры, который мы обсуждали в секции "Создание экземпляра структуры из экземпляра другой структуры с помощью синтаксиса обновления структуры"
главы 5. Вы можете настроить несколько полей для структуры, а для остальных полей установить значения с помощью
..Default::default()
Типаж
Default необходим в некоторых случаях. Например, для метода unwrap_or_default у типа
Option
. Если значение
Option
будет
None
, метод unwrap_or_default вернёт результат вызова функции
Default::default для типа
T
,
хранящегося в
Option

Дополнение Г - Средства разработки
В этом дополнении мы расскажем про часто используемые средства разработки,
предоставляемые Rust. Мы рассмотрим автоматическое форматирование, быстрый путь исправления предупреждений, линтер, и интеграцию с IDE.
Автоматическое форматирование с rustfmt
Инструмент rustfmt переформатирует ваш код в соответствии со стилем кода сообщества. Многие совместные проекты используют rustfmt
, чтобы предотвратить споры о том, какой стиль использовать при написании Rust: все форматируют свой код с помощью этого инструмента.
Для установки rustfmt
, введите следующее:
Эта команда установит rustfmt и cargo-fmt
, также как Rust даёт Вам одновременно rustc и cargo
. Для форматирования проекта, использующего Cargo, введите следующее:
Эта команда отформатирует весь код на языке Rust в текущем крейте. Будет изменён только стиль кода, семантика останется прежней. Для большей информации о rustfmt
,
смотрите документацию

Мы вызываем функцию do_something
100 раз, но никогда не используем переменную i
в теле цикла for
. Rust предупреждает нас об этом:
Предупреждение предлагает нам использовать
_i как имя переменной: нижнее подчёркивание в начале идентификатора предполагает, что мы его не используем. Мы можем автоматически применить это предположение с помощью rustfix
, запустив команду cargo fix
:
Когда посмотрим в src/main.rs снова, мы увидим что cargo fix изменил наш код:
Файл: src/main.rs
Переменная цикла for теперь носит имя
_i
, и предупреждение больше не появляется.
Также Вы можете использовать команду cargo fix для перемещения вашего кода между различными редакциями Rust. Редакции будут рассмотрены в дополнении Д.
Больше проверок с Clippy
Инструмент Clippy является коллекцией проверок (lints) для анализа Вашего кода,
поэтому Вы можете найти простые ошибки и улучшить ваш Rust код.
Для установки Clippy, введите следующее:
$
cargo build
Compiling myprogram v0.1.0 (file:///projects/myprogram) warning: unused variable: `i`
-->
src/main.rs:4:9
|
4 | for i in 0..100 {
| ^ help: consider using `_i` instead
|
= note: #[warn(unused_variables)] on by default
Finished dev [unoptimized + debuginfo] target(s) in 0.50s
$
cargo fix
Checking myprogram v0.1.0 (file:///projects/myprogram)
Fixing src/main.rs (1 fix)
Finished dev [unoptimized + debuginfo] target(s) in 0.59s fn do_something
() {} fn main
() { for
_i in
0 100
{ do_something();
}
}

Для запуска проверок Clippy’s для проекта Cargo, введите следующее:
Например, скажем что Вы хотите написать программу, в которой будет использоваться приближенная математическая константа, такая как число Пи, как в следующей программе:
Файл: src/main.rs
Запуск cargo clippy для этого проекта вызовет следующую ошибку:
Эта ошибка сообщает вам, что в Rust уже определена более точная константа
PI
, и что ваша программа будет более корректной, если вы вместо неё будете использовать эту константу. Затем вы должны изменить свой код, чтобы использовать константу
PI
Следующий код не приводит к ошибкам или предупреждениям от Clippy:
Файл: src/main.rs
Для большей информации о Clippy смотрите документацию
Интеграция с IDE с помощью rust-analyzer
$
rustup component add clippy
$
cargo clippy fn main
() { let x =
3.1415
; let r =
8.0
; println!
(
"the area of the circle is {}"
, x * r * r);
} error: approximate value of `f{32, 64}::consts::PI` found. Consider using it directly
--> src/main.rs:2:13
|
2 | let x = 3.1415;
| ^^^^^^
|
= note: #[deny(clippy::approx_constant)] on by default
= help: for further information visit https://rust-lang-nursery.github.io/rust- clippy/master/index.html#approx_constant fn main
() { let x = std::
f64
::consts::PI; let r =
8.0
; println!
(
"the area of the circle is {}"
, x * r * r);
}