структура std::hash< ara::core::Optional< T >

Специализация шаблона std::hash<ara::core::Optional<T>> предоставляет в модуле core платформы AUTOSAR Adaptive Platform (релиз R25-11) стандартизированную хэш-функцию для ara::core::Optional. Она позволяет напрямую использовать опциональные значения в качестве ключей в неупорядоченных ассоциативных контейнерах, таких как std::unordered_map, вычисляя хэш-значение на основе состояния заполнения и содержащегося значения. Интерпретация: в качестве важнейшего граничного условия, вероятно, предполагается, что для параметризованного типа данных T существует работоспособная специализация std::hash<T> и объект функции без состояния может вызываться параллельно без побочных эффектов. Вопрос Q-5e98f9abd214d511 (открытый) При этом отсутствие значения в optional не является состоянием ошибки, а приводит к детерминированному результату.

больше ›

Контекст

Шаблонный класс std::hash<ara::core::Optional<T>> предоставляет в модуле core платформы AUTOSAR Adaptive Platform (релиз R25-11) специализацию стандартизированного функционального объекта std::hash для обобщенного типа данных ara::core::Optional. Основная задача этой специализации состоит в том, чтобы прозрачно интегрировать вычисления хэш-значений для экземпляров ara::core::Optional<T> в стандартизированную экосистему хэширования C++. Таким образом, опциональные значения могут напрямую использоваться в качестве ключей в неупорядоченных ассоциативных контейнерах, таких как std::unordered_map или std::unordered_set. Интерпретация: специализация std::hash для ara::core::Optional<T>, вероятно, предполагает, что для базового типа T также доступна валидная специализация std::hash<T> для определения хэш-значения установленного значения. Вопрос Q-1ada0d8edc4f7690 (открытый)

Жизненный цикл

Являясь специализацией структуры согласно синтаксису template <typename T> struct hash<ara::core::Optional<T>>, этот тип функционирует как обычный функциональный объект. Объект обычно не имеет собственного внутреннего состояния и не подвержен сложным фазам жизненного цикла или ресурсоемкому резервированию ресурсов. Инстанцирование выполняется по мере необходимости, обычно неявно управляющим ассоциативным контейнером или явно при прямом выполнении операции хэширования в коде приложения.

Отношения владения переданными данными при вызове не устанавливаются, поскольку экземпляр ara::core::Optional<T> привлекается для анализа исключительно в качестве константной ссылки. После завершения вызова функции или при выходе из области видимости контейнера экземпляр std::hash тривиально уничтожается. Интерпретация: функциональный объект не имеет состояния и поэтому, вероятно, может использоваться без побочных эффектов и потокобезопасно для параллельных операций хэширования в нескольких контекстах выполнения, пока значение, на которое указывает ссылка, не модифицируется одновременно. Вопрос (открытый)

Путь использования

Типичное применение происходит в рамках использования ara::core::Optional в структурах данных на основе хэширования. Разработчики подключают определение и объявляют, например, множество (set) или словарь (map), тип ключа которого соответствует ara::core::Optional<T>. При операциях вставки, поиска или удаления контейнер самостоятельно вызывает оператор вызова operator() специализации.

При вычислении хэш-значения различают наличие и отсутствие значения. Интерпретация: для пустого ara::core::Optional (без значения), вероятно, вычисляется фиксированное, детерминированное хэш-значение, тогда как при наличии значения хэш-значение содержащегося объекта, предположительно, определяется через соответствующую хэш-функцию T. Вопрос (открытый) Полученное числовое значение типа std::size_t затем возвращается вызывающему контейнеру для адресации корзины памяти.

Сценарии ошибок

На уровне вычисления хэша штатный возврат ошибок через коды ошибок, такие как ara::core::ErrorCode или аналогичные, не предусмотрен. Функциональный объект для хэш-значений должен работать детерминированно и надежно, чтобы сохранять целостность инвариантов контейнера. Отсутствие значения в ara::core::Optional не является ошибочным состоянием, а представляет собой штатное состояние объекта, которое должно преобразовываться в определенное хэш-значение.

Возможные ошибки компиляции возникают, если тип T не является хэшируемым и соответствующая специализация std::hash<T> отсутствует. Ошибки времени выполнения могут возникать, если пользовательские хэш-функции для типа T генерируют исключения или вызывают неопределенное поведение. Предусловием для безошибочного вызова является валидность объекта ara::core::Optional, на который указывает ссылка, во время выполнения операции.