класс ara::core::Optional< T & >

Оператор доступа к членам operator-> шаблонного класса ara::core::Optional<T &> служит для синхронного доступа к членам адресуемого объекта [SWS_CORE_01167]. Функция определена в заголовочном файле #include "ara/core/optional.h", относится к области видимости ara::core::Optional<T &> и не ожидает параметров [SWS_CORE_01167]. В качестве возвращаемого значения предоставляется указатель типа T const *, обеспечивающий прямой доступ для чтения к базовому целевому объекту [SWS_CORE_01167]. Таким образом, тип возвращаемого значения соответствует указателю на константные данные, что исключает модифицирующие обращения через данный оператор.

Что касается обработки ошибок, метод объявлен как noexcept и классифицирован как exception safe [SWS_CORE_01167]. Однако если экземпляр не содержит значения (If *this does not contain a value), спецификация документирует в качестве нарушения IsoStdBadOptionalAccessViolation [SWS_CORE_01167]. Следовательно, перед разыменованием использующее программное обеспечение должно убедиться, что опциональная ссылка содержит корректное значение, чтобы надёжно избежать ошибочных состояний во время выполнения.

Для многопоточности и контекста вызова спецификация не указывает отдельных механизмов защиты; предположительно, операция const не предоставляет внутренней синхронизации против конкурирующих модификаций [SWS_CORE_01167]. Вопрос Q-0ebf3ed1284fc0c1 (открытый) Общее поведение согласно спецификации соответствует аналогичному использованию в стандарте C++ для опциональных типов (As per corresponding usage in [optional]) [SWS_CORE_01167].

Оператор перегрузки operator-> специализации ara::core::Optional<T &> обеспечивает синхронный доступ к членам инкапсулированной ссылки ([SWS_CORE_01168]). Функция предоставляется через заголовочный файл ara/core/optional.h и не требует параметров вызова. При вызове она возвращает указатель типа T * на адресуемый целевой объект, благодаря чему можно напрямую обращаться к членам экземпляра ([SWS_CORE_01168]). При этом семантика соответствует использованию [optional] в стандарте C++ ([SWS_CORE_01168]).

В отношении безопасности относительно сбоев оператор объявлен как noexcept и классифицирован как безопасный относительно исключений («exception safe») ([SWS_CORE_01168]). Если экземпляр не содержит значения (*this does not contain a value), имеет место нарушение доступа категории IsoStdBadOptionalAccessViolation ([SWS_CORE_01168]). Интерпретация: поскольку сигнатура объявлена с noexcept, это недопустимое состояние, вероятно, обрабатывается не генерацией обычного C++-исключения, а приводит к стандартизированной обработке ошибок или аварийному завершению программы. Вопрос Q-c3ef91b84a00cae8 (открытый)

В качестве условия вызова разработчик перед выполнением должен убедиться, что объект Optional действительно содержит значение. Незащищенный доступ без предварительной проверки статуса наличия значения нарушает предусловие оператора ([SWS_CORE_01168]).

Шаблонная функция-член emplace специализации ara::core::Optional<T&> служит для присваивания или установки ссылки в опциональном контейнере ([SWS_CORE_01164]). Функция определена через заголовочный файл #include "ara/core/optional.h" ([SWS_CORE_01164]).

Использование и семантика

Вызов выполняется синхронно и принимает в качестве параметра универсальную ссылку (forwarding reference) u типа U&& (по умолчанию U = T) ([SWS_CORE_01164]). Интерпретация: аргумент u при этом, по-видимому, повторно привязывается к ссылке, удерживаемой в Optional, без конструирования нового объекта. Вопрос Q-55c9eca385e9e496 (открытый) В качестве возвращаемого значения emplace возвращает lvalue-ссылку на сам экземпляр Optional (Optional &), что позволяет выстраивать цепочки операций ([SWS_CORE_01164]). Благодаря объявлению как constexpr вызов может также вычисляться в константных выражениях во время компиляции ([SWS_CORE_01164]).

Обработка ошибок и безопасность исключений

Операция объявлена как noexcept и имеет классификацию exception safe ([SWS_CORE_01164]). Специфические коды ошибок, сообщения DET или DEM во фрагменте спецификации не предусмотрены; сбой из-за исключений C++ исключен ([SWS_CORE_01164]).

Взаимодействие и разграничение

В отличие от первичных вариантов шаблона ara::core::Optional<T> для типов значений, которые конструируют содержащийся объект in-place, возвращают ссылку T& и являются лишь условно безопасными относительно исключений (conditionally exception safe) или условно noexcept ([SWS_CORE_01119], [SWS_CORE_01120]), эта перегрузка для Optional<T&> гарантирует строгую безысключительность ([SWS_CORE_01164]). Другие контейнеры модуля, такие как ara::core::Vector ([SWS_CORE_01366]), ara::core::Map ([SWS_CORE_01458]) или ara::core::Variant ([SWS_CORE_01661]), также предлагают методы emplace, однако обладают собственной семантикой и иными уровнями безопасности.

Функция-член reset специализации ara::core::Optional<T&> служит согласно [SWS_CORE_01165] для сброса опционального объекта-ссылки. Она объявляется через заголовочный файл #include "ara/core/optional.h", не принимает параметров и не имеет возвращаемого значения (void). Будучи функцией constexpr, она также может использоваться в вычислениях времени компиляции; ее выполнение происходит синхронно. Интерпретация: согласно общей ссылке на использование в [optional], вызов, вероятно, переводит экземпляр в состояние без привязанной ссылки (disengaged), так что объект после этого больше не содержит значения. Вопрос Q-edf521c7744139d2 (открытый)

В отношении обработки ошибок функция согласно [SWS_CORE_01165] снабжена идентификатором noexcept и классифицирована как безопасная относительно исключений («exception safe»). Вызов, таким образом, не генерирует исключений и не сообщает кодов ошибок; специфические сообщения DET или DEM в полезной нагрузке для этой функции не предусмотрены.

В контексте модуля данная реализация отличается от общего шаблонного класса ara::core::Optional согласно [SWS_CORE_01136], метод reset которого не объявлен как constexpr. Другие функции reset в модуле существуют для ara::core::Bitset, где reset() согласно [SWS_CORE_01727] возвращает ссылку на объект или при указании позиции согласно [SWS_CORE_01728] возвращает ara::core::Result и при недопустимом индексе генерирует IsoStdOutOfRangeViolation.

Функция-член value_or специализации ara::core::Optional<T&> предоставляется через заголовочный файл #include "ara/core/optional.h" [SWS_CORE_01175]. Будучи шаблонной функцией, она принимает параметр U&& u в качестве резервного значения и синхронно возвращает результат типа T. Интерпретация: согласно указанию спецификации «As per corresponding usage in [optional]», функция, вероятно, возвращает значение, удерживаемое ссылкой, если объект занят, и резервное значение u в противном случае. Вопрос Q-c050380198abf06b (открытый)

Для обработки ошибок спецификация гарантирует полную безопасность исключений (exception safe) и объявляет метод как noexcept [SWS_CORE_01175]. Для этой операции не предусмотрены ни коды ошибок, ни уведомления мониторам ошибок или диагностики. Поскольку функция-член дополнительно квалифицирована как constexpr и const, она может без модификации объекта вычисляться также в константных выражениях во время компиляции [SWS_CORE_01175].

В контексте модуля core функция тесно связана с общими перегрузками для нессылочных типов. В то время как [SWS_CORE_01175] для ara::core::Optional<T&> объявлена как exception safe, спецификация классифицирует соответствующие варианты первичного шаблона ara::core::Optional — как перегрузку для константных lvalue [SWS_CORE_01134], так и перегрузку для rvalue [SWS_CORE_01135] — как not exception safe.