Как Rust различает const и static при требовании единственного адреса хранения глобального значения?
const обозначает константное значение, которое компилятор подставляет в места использования; у него нет единственной обязательной ячейки хранения. static обозначает отдельный объект со стабильным адресом в памяти на всё время работы программы, поэтому его выбирают, когда важна идентичность или адрес значения.
Разделение const и static решает две разные задачи: представить вычислимое во время компиляции значение либо объявить глобальное хранилище с единственным экземпляром. Такое различие важно для низкоуровневого программирования, где адрес объекта, размещение в памяти и совместный доступ имеют семантическое значение.
Вместо неявной модели Rust требует явно выбрать нужную семантику. Это предотвращает ситуацию, когда значение, выглядящее как глобальная переменная, неожиданно оказывается лишь встроенной константой без собственной идентичности.
Если объявить лимит, размер буфера или маску как const, обычно нужна только возможность использовать значение в выражениях. Требование единственного адреса для такого объекта было бы лишним: компилятор может встроить значение, вычислить его заново или разместить результат в другом месте.
Для таблицы, буфера или другого объекта, на который должны ссылаться разные части программы, нужна единая область хранения. Ошибка выбора особенно опасна при сравнении адресов, передаче ссылки с временем жизни 'static или взаимодействии с внешним кодом, ожидающим конкретный адрес.
const должен быть вычислимым во время компиляции. Каждое использование семантически получает значение константы, а не обращается к единственному объекту; оптимизатор может материализовать его в памяти, но такой адрес не является частью гарантии Rust.
static создаёт отдельный объект с фиксированным размещением. Ссылка на него может иметь время жизни 'static, а все обращения к самому объекту относятся к одной области хранения.
Здесь MAX_RETRIES — значение без гарантированной отдельной ячейки, а SERVICE_NAME — единый объект, адрес которого сохраняется. Инициализатор static должен быть допустимым константным выражением; это не механизм произвольной рантайм-инициализации.
Неизменяемый static безопасен для общего доступа только если его тип удовлетворяет требованиям потокобезопасного совместного использования, в частности Sync. static mut допускает глобальную мутабельность, но доступ к нему требует unsafe; без синхронизации это может привести к гонкам данных, поэтому обычно предпочтительнее защищённое состояние, например через синхронизацию или одноразовую инициализацию.
const часто удобнее для числовых параметров, флагов и типов, реализующих нужную константную семантику. static следует выбирать не просто для «глобального значения», а когда действительно нужны единый экземпляр, стабильный адрес или ссылка с 'static.
В системном сервисе нескольким модулям нужно передавать неизменяемое имя протокола в виде ссылки на байтовый буфер, а внешний интерфейс проверяет, что буфер живёт до завершения процесса. Объявление буфера как const не даёт гарантии единственного адреса и не выражает требование единого объекта.
Вариант с const прост и хорошо подходит, если вызывающим функциям нужны только сами байты. Его минус — отсутствие гарантированной идентичности объекта. Вариант с static предоставляет стабильное хранилище и ссылку с 'static, но требует учитывать ограничения на тип и глобальное состояние.
Выбирается неизменяемый static, потому что здесь важны единый экземпляр и длительность жизни, а не только значение. В результате модули используют одну область памяти без unsafe и без ручной синхронизации.
const отсутствие размещения значения в памяти?Нет. Rust не запрещает компилятору разместить результат использования const в памяти, например для передачи ссылки или выполнения требований машинного кода. Однако это размещение не является единственным объектом, гарантированным семантикой const; полагаться на его адрес нельзя.
static любого типа, если его значение вычисляется во время компиляции?Нет. Помимо константно вычислимого инициализатора, для static действуют ограничения на тип и доступ. В частности, безопасный общий доступ к неизменяемому static требует подходящей потокобезопасности типа; наличие Sync у типа является частью этой проверки.
static отличается от static mut кроме наличия ключевого слова mut?static mut создаёт глобальное изменяемое хранилище, но Rust не может автоматически проверить безопасность произвольных обращений к нему. Поэтому такие обращения требуют unsafe, а программист должен сам обеспечить отсутствие конфликтующих доступов и корректную синхронизацию. static без mut не позволяет изменять сам объект через обычную ссылку и потому значительно безопаснее для общего доступа.