класс ara::core::InstanceSpecifier

Класс ara::core::InstanceSpecifier служит типобезопасной оболочкой для пути AUTOSAR-shortName для однозначной идентификации экземпляров модели в Adaptive Platform. Предпочтительное создание выполняется безопасным к исключениям способом через статический фабричный метод Create [SWS_CORE_08032], который валидирует путь и возвращает ara::core::Result. В качестве важного граничного условия метод ToString [SWS_CORE_08041] гарантирует действительность возвращаемого StringView только на время жизни первоначально переданной строки, так как собственный буфер не поддерживается. Во время выполнения объект поддерживает полные операции сравнения для сопоставления моделей и упорядоченного хранения в контейнерах.

больше ›

Контекст

Класс ara::core::InstanceSpecifier служит представлением AUTOSAR Instance Specifier и инкапсулирует полный путь shortName элемента модели. Внутри Adaptive Platform он функционирует как типобезопасная абстракция над строками путей метамодели AUTOSAR. Вместо использования неформатированных строк этот тип инкапсулирует синтаксические структуры путей и обеспечивает согласованную адресацию экземпляров. В качестве основных партнеров по взаимодействию выступают компоненты приложений и платформенные сервисы, которые однозначно ссылаются на экземпляры модели, сравнивают их или управляют ими в коллекциях. Интерпретация: поскольку спецификация описывает данный класс как легковесную оболочку пути модели, он, вероятно, предназначен прежде всего для идентификации и привязки конфигурации экземпляров сервисов и конечных точек коммуникации во время выполнения. Вопрос Q-6574e1172032e6d9 (открытый)

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

Для создания ara::core::InstanceSpecifier предоставляет два пути с различной семантикой ошибок и исключений: статический фабричный метод Create [SWS_CORE_08032] и явный конструктор [SWS_CORE_08021]. Фабричный метод Create принимает ara::core::StringView, специфицирован как noexcept, а также как потокобезопасный, и возвращает результат в ara::core::Result<InstanceSpecifier>. В отличие от него, прямой конструктор объявлен с noexcept(false) и при недопустимых структурах пути генерирует ara::core::CoreException, вследствие чего не является безопасным к исключениям [SWS_CORE_08021].

В отношении времени жизни и отношений владения существует решающее свойство: метод ToString возвращает ara::core::StringView, действительность которого явно привязана к времени жизни памяти, лежащей в основе первоначально переданного при конструировании StringView [SWS_CORE_08041]. Таким образом, класс не копирует базовую строку в собственную область памяти, а ссылается на внешние данные. Поэтому разработчики должны гарантировать, что исходная строка сохраняется в памяти на протяжении всего времени использования InstanceSpecifier и производных от него StringViews.

Для дальнейшего управления жизненным циклом предусмотрены конструктор копирования [SWS_CORE_08022], конструктор перемещения [SWS_CORE_08023], оператор присваивания с копированием [SWS_CORE_08024] и оператор присваивания с перемещением [SWS_CORE_08025]. Все четыре операции объявлены как noexcept и гарантируют безопасность исключений. Однако в отношении параллелизма следует учитывать, что исключительно конструктор копирования классифицирован как потокобезопасный. Операции перемещения, операторы присваивания и деструктор [SWS_CORE_08029] не являются потокобезопасными и требуют внешней синхронизации, если один и тот же экземпляр параллельно модифицируется или уничтожается.

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

Типичный сценарий использования включает инстанцирование, запрос строкового представления пути и сравнение с другими идентификаторами. Предпочтительно вызывается не генерирующая исключений фабричная функция Create [SWS_CORE_08032]. Приложение передает квалифицированный путь модели как ara::core::StringView и проверяет результирующий объект Result на успешность.

Диаграмма последовательности: создание через фабричный метод Create и последующее использование для запроса пути или обработки ошибок. Источники: [SWS_CORE_08032], [SWS_CORE_08041]

После успешной инициализации идентификатор может использоваться различными способами:

• Получение строкового представления: через ToString [SWS_CORE_08041] вызывающая сторона получает представление StringView для смоделированного пути.
• Проверка равенства и неравенства: экземпляры можно напрямую сравнивать с другими экземплярами InstanceSpecifier с помощью operator== [SWS_CORE_08042] и operator!= [SWS_CORE_08044]. Кроме того, перегрузки operator== [SWS_CORE_08043] и operator!= [SWS_CORE_08045] позволяют выполнять прямое сравнение с ara::core::StringView. Обе проверки возвращают равенство только в том случае, если обозначается в точности один и тот же элемент модели.
• Сортировка и сохранение в контейнерах: с помощью оператора «меньше» operator< [SWS_CORE_08046] экземпляры можно упорядочивать лексикографически, что позволяет использовать их в качестве ключей в упорядоченных контейнерах, таких как ассоциативные массивы (maps).

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

Условия ошибок в ara::core::InstanceSpecifier строго ограничены фазой конструирования. При наличии синтаксических или семантических дефектов в переданном пути определяются две конкретные ошибки:

• CoreErrc::kInvalidMetaModelShortname: сигнализируется, если элементы пути в переданном имени отсутствуют или содержат недопустимые символы [SWS_CORE_08032], [SWS_CORE_08021].
• CoreErrc::kInvalidMetaModelPath: возникает, если строка не образует корректный путь к элементу модели [SWS_CORE_08032], [SWS_CORE_08021].

Способ сигнализации об ошибках зависит от выбранного пути создания. При использовании фабричного метода Create [SWS_CORE_08032] код ошибки возвращается в ara::core::Result; действует семантика отката без исключений. Если же вызывается конструктор InstanceSpecifier [SWS_CORE_08021], генерируется ara::core::CoreException с соответствующим кодом ошибки. Все последующие операции, такие как ToString [SWS_CORE_08041], присваивания и операторы сравнения [SWS_CORE_08042], [SWS_CORE_08044], [SWS_CORE_08046], не имеют определенных состояний ошибок и объявлены как noexcept.