Имена

[names.intro]

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

Объявление — это синтаксическая конструкция, которая может вводить имя для ссылки на сущность. Имена сущностей действительны в пределах области видимости — области исходного текста, где на это имя можно ссылаться.

Некоторые сущности явно объявлены в исходном коде, а некоторые неявно объявлены как часть языка или расширений компилятора.

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

Времена жизни и метки циклов используют специальный синтаксис с предшествующей кавычкой.

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

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

Доступ к определённым именам может быть ограничен на основе их видимости.

[names.explicit]

Явно объявленные сущности

[names.explicit.list]

Сущности, которые явно вводят имя в исходном коде:

[names.explicit.item-decl]

Элементы:
- Объявления модулей
- Объявления внешних крейтов
- Use-объявления
- Объявления функций и параметры функций
- Псевдонимы типов
- Объявления структур, объединений, перечислений, вариантов перечислений и их именованные поля
- Объявления констант
- Объявления статических элементов
- Объявления элементов трейтов и их ассоциированные элементы
- Элементы внешних блоков
- Объявления macro_rules и метапеременные матчеров
- Ассоциированные элементы реализаций

[names.explicit.expr]

Выражения:
- Параметры замыканий
- Привязки образцов while let
- Привязки образцов for
- Привязки образцов if let
- Привязки образцов match
- Метки циклов