класс ara::diag::DiagnosticSovdArrayContentElementDataConstIterator

Класс ara::diag::DiagnosticSovdArrayContentElementDataConstIterator предоставляет однонаправленный итератор «только для чтения» для элементов массива в контексте диагностики SOVD ([SWS_DM_02221]). Приложения используют его для пошагового обхода структур данных типа DiagnosticSovdContentElementData с помощью операторов сравнения, разыменования и инкремента ([SWS_DM_02222]). Поскольку все операции специфицированы как noexcept, проверка границ итерации возлагается на вызывающую сторону во избежание неопределенного поведения при недопустимых позициях.

больше ›

Контекст

Класс ara::diag::DiagnosticSovdArrayContentElementDataConstIterator входит в состав модуля диагностики (diag) платформы AUTOSAR Adaptive Platform ([SWS_DM_02221], AUTOSAR_AP_SWS_Diagnostics §8.60.2 «Class: DiagnosticSovdArrayContentElementDataConstIterator»). Он удовлетворяет стандартным требованиям к сервисно-ориентированной диагностике транспортных средств (Service-Oriented Vehicle Diagnostics, SOVD) и предоставляет константный однонаправленный итератор для последовательных полей данных. Его основная обязанность — инкапсуляция доступа «только для чтения» к отдельным элементам типа DiagnosticSovdContentElementData ([SWS_DM_02222], [SWS_DM_02223]). В роли партнеров по взаимодействию выступают диагностические приложения, которые через заголовочный файл ara/diag/diagnostic_sovd_content_element_data.h анализируют SOVD-совместимое содержимое массивов без возможности модификации базовых структур памяти.

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

В спецификации класса [SWS_DM_02221] нет открытых конструкторов. Таким образом, инстанцирование итератора обычно выполняется не самим прикладным программным обеспечением, а предоставляется методами контейнера вышестоящего объекта данных. Вопрос Q-a2a94d90c92beb71 (открытый) После создания итератор представляет фиксированную позицию в последовательности массива.

Переход к следующей позиции осуществляется через префиксный оператор инкремента operator++, возвращающий ссылку на сам инкрементированный объект итератора ([SWS_DM_02226]). Что касается параллелизма, все функции-члены класса явно специфицированы как потокобезопасные (thread-safe) (от [SWS_DM_02222] до [SWS_DM_02226]). Таким образом, несколько потоков могут одновременно считывать одну и ту же или разные позиции. Если экземпляр итератора модифицируется путем переключения с помощью operator++, при совместном использовании требуется внешняя синхронизация. Время жизни ссылаемых пользовательских данных, предположительно, строго привязано к времени жизни предоставляющего их контейнера данных. Вопрос Q-743ef89528de7a75 (открытый)

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

Типичный путь использования соответствует классической идиоме C++ для константных итераторов по коллекции. В начале обхода вызывающая сторона проверяет валидность текущей позиции с помощью оператора неравенства operator!= ([SWS_DM_02225]) или оператора равенства operator== ([SWS_DM_02224]) по сравнению с конечным итератором. Если итератор находится в допустимом диапазоне, приложение обращается к элементу для чтения:

• Через оператор разыменования operator* ([SWS_DM_02222]) возвращается константная ссылка DiagnosticSovdContentElementData const&.
• Через оператор «стрелка» operator-> ([SWS_DM_02223]) возвращается константный указатель DiagnosticSovdContentElementData const*, что обеспечивает прямой доступ к методам элемента.

Затем вызывающая сторона перемещает итератор на одну позицию вперед с помощью operator++ ([SWS_DM_02226]) и повторяет проверку позиции до достижения конечного состояния.

Диаграмма последовательности: типичный процесс пошаговой итерации по элементам массива SOVD. Источники: [SWS_DM_02222], [SWS_DM_02225], [SWS_DM_02226]

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

Интерфейс не определяет специальных кодов ошибок или возвратов статуса в виде ara::core::Result. Все операции специфицированы как безопасные относительно исключений (exception safe) и снабжены спецификатором noexcept (от [SWS_DM_02222] до [SWS_DM_02226]). Во время выполнения исключения C++ не генерируются.

Существенным предварительным условием для вызовов operator* и operator-> является то, что итератор должен быть разыменовываемым. Разыменование недействительного итератора или конечного итератора, предположительно, приводит к неопределенному поведению из-за отсутствия механизмов обработки ошибок. Вопрос Q-9144a319e654f27a (открытый) Вызывающая сторона также обязана гарантировать, что два сравниваемых итератора принадлежат одной и той же последовательности.