структура ara::core::Monostate

Класс ara::core::Monostate служит в модуле core согласно своей ссылке на [variant] в качестве не имеющего состояния замещающего типа для представления пустого состояния в вариантных структурах данных. Интерпретация: вероятно, он выступает эквивалентом std::monostate, чтобы сделать ara::core::Variant конструируемым по умолчанию, если альтернативные полезные типы не предоставляют конструктор по умолчанию. Вопрос Q-b724690dfd69af81 (открытый) Поскольку структура определена как final и не содержит полей данных, все операции жизненного цикла выполняются тривиально и без динамического связывания ресурсов. Экземпляры преимущественно используются в качестве стандартной альтернативы и могут применяться параллельно без затрат на синхронизацию.

больше ›

Контекст

Класс ara::core::Monostate представляет собой элементарный базовый строительный блок внутри модуля core платформы AUTOSAR Adaptive Platform. Объявление в виде struct Monostate final определяет единичный тип (unit type) без состояния, основная обязанность которого заключается в отображении отсутствия полезного значения внутри типизированных типов-сумм. В отношении формальной семантики и целевого назначения спецификация ссылается на соответствующее использование в [variant]. Интерпретация: отсюда следует, что ara::core::Monostate выступает прямым аналогом std::monostate из стандарта C++ и тесно взаимодействует с ara::core::Variant, обеспечивая варианты явно пустой альтернативой состояния. Вопрос (открытый)

В интерфейсах, соответствующих стандарту C++, типизированная конструкция вариантов для конструирования без параметров требует, чтобы альтернатива типа, указанная на первом месте, была конструируемой по умолчанию. Если ни один из прикладных полезных типов не предоставляет конструктор по умолчанию или если вариант изначально явно не должен представлять прикладное состояние, ara::core::Monostate на первой позиции списка типов принимает на себя роль корректно сформированного заполнителя. Благодаря такому разделению инициализации варианта и фактического предоставления прикладных данных класс гарантирует, что интерфейсы на основе вариантов и результаты функций внутри детерминированного программного обеспечения ЭБУ всегда могут быть инициализированы типобезопасно, корректно определённым образом и эффективно с точки зрения памяти.

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

Жизненный цикл ara::core::Monostate характеризуется максимальным отсутствием состояния и минимальной сложностью. Поскольку структура объявлена как final и не инкапсулирует элементы данных, экземпляр не имеет изменяемых внутренних состояний, фаз или переходов состояний. Интерпретация: будучи объявленным как final замещающим типом без собственных данных состояния, ara::core::Monostate, вероятно, тривиально конструируем, копируем, перемещаем и уничтожаем, благодаря чему все операции жизненного цикла выполняются без динамического выделения памяти, без опасности исключений и с пренебрежимо малыми накладными расходами во время выполнения. Вопрос Q-9cf1c06bbd91b6ec (открытый)

Инстанциирование обычно происходит неявно при конструировании по умолчанию объемлющего варианта или явно при присваивании пустого статуса. Уничтожение не требует никаких действий по очистке, поскольку ресурсы операционной системы или памяти не связываются. В отношении отношений владения и параллелизма класс ведёт себя как чисто элементарный тип значения: экземпляры могут параллельно создаваться, копироваться или вычисляться в различных путях выполнения без риска возникновения механизмов синхронизации или состояний гонки на уровне классов. При этом время жизни экземпляра строго привязано к локальной области видимости или к объемлющему контейнеру.

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

Типичный путь использования ara::core::Monostate неразрывно связан с объявлением и обработкой ara::core::Variant. При определении варианта ara::core::Monostate указывается на первой позиции, чтобы допустить пустое начальное состояние. Если затем вариант создаётся через его конструктор по умолчанию, он автоматически принимает это пустое состояние без необходимости инстанциирования прикладных типов.

В дальнейшем ходе выполнения программы пользователь с помощью запросов типов или паттерна «Посетитель» проверяет, содержит ли вариант в данный момент тип ara::core::Monostate, что сигнализирует о неактивном или незанятом состоянии. Как только появляются полезные данные, вариант перезаписывается соответствующим прикладным значением. Сброс в незанятое состояние выполняется путём повторного присваивания ara::core::Monostate{}. Интерпретация: для ara::core::Monostate, предположительно, существуют операторы равенства и сравнения, благодаря чему сравнения двух экземпляров всегда дают равенство, а реляционное сравнение вариантов в пустом состоянии может вычисляться детерминированно. Вопрос (открытый)