класс ara::core::Map::value_compare

Вспомогательный класс ara::core::Map::value_compare служит объектом-функцией для реляционного сравнения двух пар значений словаря Map по их ключам с использованием инкапсулированного внутри предиката сравнения [SWS_CORE_01421]. Инстанцирование выполняется защищенным образом преимущественно вышестоящей структурой Map, в то время как вызывающие компоненты выполняют вычисление с помощью оператора вызова operator() [SWS_CORE_01423]. Поскольку операции согласно спецификации не являются безопасными относительно исключений, вызывающий код должен учитывать возможные исключения базового предиката.

больше ›

Контекст

Вспомогательный класс ara::core::Map::value_compare предоставляет в модуле core платформы AUTOSAR Adaptive Platform объект-функцию, с помощью которого можно сравнивать два полных элемента «ключ-значение» (value_type) ассоциативной таблицы. Согласно спецификации, класс ориентируется на устоявшееся поведение стандартной библиотеки C++ для [map]. Основная задача заключается в том, чтобы сделать предикат типа Compare, определенный для упорядочивания ключей, применимым к целым парам значений. Для этого класс инкапсулирует внутренний экземпляр этого предиката в защищенной переменной-члене comp [SWS_CORE_01421]. Таким образом, value_compare напрямую взаимодействует с вышестоящей структурой данных ara::core::Map и гарантирует для внешних компонентов, что алгоритмы сортировки или поиска могут согласованно сравнивать пары значений по их ключам.

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

Инстанцирование value_compare подчиняется строгим ограничениям доступа: конструктор value_compare(Compare c) имеет видимость protected [SWS_CORE_01422]. Интерпретация: в силу этой защищенной видимости создание новых экземпляров, вероятно, зарезервировано преимущественно за самим объемлющим классом ara::core::Map, тогда как обычные вызывающие стороны получают готовые объекты-функции от Map. Вопрос Q-f188cfa9cf627a11 (открытый) При конструировании объект принимает предикат сравнения и сохраняет его в защищенной переменной comp [SWS_CORE_01421]. Жизненный цикл со сложными переходами состояний отсутствует; после создания экземпляр остается в неизменяемом состоянии выполнения. Для параллельной работы это означает, что параллельные операции чтения через оператор вызова не представляют опасности при условии, что инкапсулированный предикат Compare не сохраняет состояние (stateless) или является потокобезопасным.

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

Штатный путь использования сосредоточен на повторяющемся вычислении пар значений через оператор вызова функции operator() [SWS_CORE_01423]. Он объявлен как метод const и принимает две ссылки на константные элементы типа value_type. Интерпретация: при выполнении operator() обращается к ключевым частям обеих переданных пар значений и передает их предикату [SWS_CORE_01421], сохраненному в comp, чтобы вернуть результат отношения в виде булева значения. Вопрос Q-207114486c204301 (открытый) Следующая диаграмма иллюстрирует этот стандартизированный процесс:

Диаграмма последовательности: процесс сравнения значений через operator() и инкапсулированный предикат comp. Источники: [SWS_CORE_01421], [SWS_CORE_01423]

Этот путь обычно находит применение в алгоритмах, которым необходимо проверять или обходить элементы Map в соответствии с их порядком сортировки, без необходимости для пользователя вручную разыменовывать ключи из пар значений.

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

В отношении надежности и обработки исключений следует учитывать, что ни конструктор [SWS_CORE_01422], ни оператор вызова operator() [SWS_CORE_01423] не специфицированы как безопасные относительно исключений; оба явно классифицированы как «not exception safe». Интерпретация: на практике это означает, что класс не инкапсулирует собственные механизмы обработки исключений, и исключения, возникающие при копировании или выполнении пользовательского предиката Compare, распространяются напрямую вызывающей стороне. Вопрос Q-427fd0afbba7bf9e (открытый) Специфических кодов ошибок спецификация для этого вспомогательного класса не определяет. Таким образом, важным предварительным условием для безошибочной работы является возможность безошибочного инстанцирования и выполнения переданного предиката Compare, а также валидность ссылок на value_type, переданных в operator().