Дополнение А: Ключевые слова

Следующий список содержит ключевые слова, зарезервированные для текущего или будущего использования в языке Rust. Как таковые, их нельзя использовать в качестве идентификаторов (за исключением сырых идентификаторов, которые мы обсудим в разделе « Сырые идентификаторы»).. Идентификаторы — это имена функций, переменных, параметров, полей структур, модулей, крейтов, констант, макросов, статических значений, атрибутов, типов, свойств или времён жизни.

Ключевые слова, использующиеся в Rust в настоящее время

Ниже приведён список используемых в настоящее время ключевых слов с описанием их функций.

  • as - простое приведение типа, устранение неоднозначности реализованного для элемента трейта, или переименование элементов в операторах use
  • async - возврат объекта Future вместо блокировки выполнения текущего потока
  • await - приостановка выполнения до тех пор, пока результат выполнения Future не станет готов
  • break - немедленное прекращение цикла
  • const - объявляет константу или константный сырой указатель
  • continue - перейти к следующей итерации цикла
  • crate - в пути модуля относится к корню крейта
  • dyn - динамическая диспетчеризация для трейт-объектов
  • else - альтернатива для if и if let
  • enum - определение перечисления
  • extern - указание на внешнюю функцию или переменную
  • false - логический литерал false
  • fn - определение функции или типа-указателя на функцию
  • for - цикл по элементам итератора, реализация трейта или указание времени жизни высокого уровня
  • if - условный оператор ветвления
  • impl - наследование или реализация трейта
  • in - часть синтаксической конструкции цикла for
  • let - определение, привязывание переменной
  • loop - бесконечный цикл
  • match - оператор сопоставления значения с образцом
  • mod - оператор определения модуля
  • move - позволяет замыканию брать во владение всё, что "захватывает" замыкание
  • mut - обозначение изменяемых переменных, ссылок, сырых указателей или привязок к шаблону
  • pub - обозначение публичного доступа к полям структуры, impl блокам или модулям
  • ref - ссылочное связывание
  • return - оператор возврата из функции
  • Self - псевдоним типа, для которого объявляется или реализуется типаж
  • self - предмет метода или текущий модуль
  • static - глобальная переменная или время жизни, продолжающееся всё время работы программы
  • struct - определение структуры
  • super - родительский модуль относительно текущего
  • trait - обозначение трейта
  • true - логический литерал true
  • type - объявление псевдонима типа или ассоциированного типа
  • union - определение объединения; является единственным ключевым словом при использовании в объединении
  • unsafe - определение небезопасного кода, функции, трейта или реализаций
  • use - оператор импорта символов в текущую область видимости
  • where - оператор условия-ограничения для типа
  • while - условный цикл, основанный на результате вычисления выражения

Ключевые слова, зарезервированные для будущего использования

Следующие ключевые слова ещё не имеют никакой функциональности, но зарезервированы Rust для возможного использования в будущем.

  • abstract
  • become
  • box
  • do
  • final
  • macro
  • override
  • priv
  • try
  • typeof
  • unsized
  • virtual
  • yield

Сырые идентификаторы

Сырые идентификаторы - это синтаксис, позволяющий вам использовать ключевые слова там, где обычно они не могут быть. Для создания и использования сырого идентификатора к ключевому слову добавляется префикс r#.

Например, ключевое слово match. Если вы попытаетесь скомпилировать следующую функцию, использующую в качестве имени match:

Файл: src/main.rs

fn match(needle: &str, haystack: &str) -> bool {
    haystack.contains(needle)
}

вы получите ошибку:

error: expected identifier, found keyword `match`
 --> src/main.rs:4:4
  |
4 | fn match(needle: &str, haystack: &str) -> bool {
  |    ^^^^^ expected identifier, found keyword

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

Файл: src/main.rs

fn r#match(needle: &str, haystack: &str) -> bool {
    haystack.contains(needle)
}

fn main() {
    assert!(r#match("foo", "foobar"));
}

Этот код скомпилируется без ошибок. Обратите внимание, что префикс r# в определении имени функции, указан также, как он указан в месте её вызова в main.

Сырые идентификаторы позволяют вам использовать любое слово, которое вы выберете, в качестве идентификатора, даже если это слово окажется зарезервированным ключевым словом. Это даёт нам больше свободы в выборе имён идентификаторов, а также позволяет нам интегрироваться с программами, написанными на языке, где эти слова не являются ключевыми словами. Кроме того, необработанные идентификаторы позволяют вам использовать библиотеки, написанные в версии Rust, отличной от используемой в вашем крейте. Например, try не является ключевым словом в выпуске 2015 года, но есть в выпуске 2018 года. Если вы зависите от библиотеки, написанной с использованием версии 2015 года и имеющей функцию try, вам потребуется использовать синтаксис сырого идентификатора, в данном случае r#try, для вызова этой функции из кода версии 2018 года. См. Приложение Д для получения дополнительной информации о редакциях Rust.