класс ara::core::Variant

Функция-член emplace конструирует альтернативное значение типа T непосредственно в существующем экземпляре ara::core::Variant [SWS_CORE_01661]. Функция предоставляется через заголовочный файл #include "ara/core/variant.h" и выполняется синхронно [SWS_CORE_01661]. В качестве параметров она принимает универсальные ссылки (forwarding references) args..., которые передаются в конструктор целевого типа T, и возвращает ссылку на вновь созданный объект [SWS_CORE_01661].

В отношении обработки ошибок операция объявлена как условно безопасная относительно исключений («conditionally exception safe») [SWS_CORE_01661]. Она следует стандартному поведению variant, однако отличается условной спецификацией noexcept: исключение исключается тогда и только тогда, когда выполняется std::is_nothrow_constructible<T, Args...>::value [SWS_CORE_01661]. Специфические коды ошибок AUTOSAR или сообщения в DET или DEM для этой базовой функции не определены.

Относительно параллелизма и контекста вызова спецификация не указывает каких-либо отклоняющихся гарантий. Интерпретация: одновременный доступ на запись нескольких потоков к одному и тому же экземпляру Variant через emplace без внешней синхронизации, вероятно, не является потокобезопасным, поскольку AUTOSAR ссылается на стандартную семантику variant. Вопрос Q-4d9d118b9916a3dc (открытый)

При взаимодействии внутри ara::core::Variant существуют дополнительные перегрузки для списков инициализации [SWS_CORE_01662], а также конструирования на месте по индексу [SWS_CORE_01663], [SWS_CORE_01664]. Аналогичные операции emplace в модуле Core специфицированы также для ara::core::Optional ([SWS_CORE_01119], [SWS_CORE_01120], [SWS_CORE_01164]) и таких контейнеров, как ara::core::Vector [SWS_CORE_01366] и ara::core::Map [SWS_CORE_01458].

Функция-член emplace класса ara::core::Variant из заголовочного файла ara/core/variant.h служит для синхронного создания альтернативы типа T непосредственно в памяти существующего экземпляра [SWS_CORE_01662]. При этом std::initializer_list<U>, а также перенаправленные аргументы Args&&... args передаются в конструктор типа. В качестве возвращаемого значения функция возвращает lvalue-ссылку T& на вновь инициализированный объект [SWS_CORE_01662].

Что касается обработки ошибок и исключений, функция отклоняется от стандартного определения в [variant]: она классифицирована как условно безопасная относительно исключений (conditionally exception safe) и имеет условную спецификацию noexcept [SWS_CORE_01662]. Вызов гарантирует отсутствие исключений, если std::is_nothrow_constructible<T, std::initializer_list<U>&, Args&&...>::value вычисляется в true [SWS_CORE_01662]. Специфические коды ошибок AUTOSAR или каналы сообщений в DET и DEM для этого элемента отсутствуют.

Относительно параллелизма и граничных условий действует следующее: поскольку emplace изменяет состояние экземпляра Variant, конкурентный вызов без внешней синхронизации, вероятно, не является потокобезопасным. Интерпретация: перед конструированием нового объекта ранее содержавшееся значение уничтожается, что соответствует общему поведению [variant]. Вопрос Q-548c84cc1d327030 (открытый)

При взаимодействии с родственными интерфейсами функция образует аналог на основе типа для перегрузки без списка инициализации [SWS_CORE_01661], а также для альтернатив на основе индекса [SWS_CORE_01663] и [SWS_CORE_01664]. Похожие концепции интерфейсов встречаются у ara::core::Optional [SWS_CORE_01120], а также у контейнеров, таких как ara::core::Vector [SWS_CORE_01366] или ara::core::Map [SWS_CORE_01458], причем контейнерные операции emplace в отличие от этой не являются безопасными относительно исключений.

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

Функция-член emplace класса ara::core::Variant ([SWS_CORE_01663]) из заголовочного файла ara/core/variant.h служит для прямого конструирования альтернативы, определяемой шаблонным индексом I, в существующей памяти объекта. В качестве параметров передаются аргументы Args&&... args. Вызов выполняется синхронно и возвращает ссылку на вновь созданное значение типа variant_alternative_t<I, Variant<Types...>> ([SWS_CORE_01663]). Поведение определяется согласно определению в [variant] ([SWS_CORE_01663]).

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

Спецификация определяет в качестве отклонения от стандарта C++ условное предложение noexcept({<cond-noexcept-11>}), а также свойство conditionally exception safe ([SWS_CORE_01663]). Вероятно, возникновение исключений зависит от того, является ли конструктор целевой альтернативы для передаваемых типов Args... безопасным относительно исключений. Вопрос Q-189fe417e9ef4980 (открытый) Специфические коды ошибок, возвращаемые значения в случае ошибки или уведомления в DET или DEM для этой функции не специфицированы.

Взаимодействие и альтернативы

Внутри модуля core и типа ara::core::Variant функция встроена в систему других перегрузок:

• Инициализация на основе индекса с std::initializer_list в [SWS_CORE_01664].
• Создание альтернативы на основе типа по имени типа T с помощью [SWS_CORE_01661] или в сочетании с std::initializer_list через [SWS_CORE_01662].
• Соответствующие механизмы in-place для различных контейнеров встречаются также у ara::core::Optional ([SWS_CORE_01119], [SWS_CORE_01120], [SWS_CORE_01164]), ara::core::Vector ([SWS_CORE_01366]) и ara::core::Map ([SWS_CORE_01458]).

Функция-член emplace из ara/core/variant.h синхронно конструирует новое значение альтернативы непосредственно на месте внутри существующего экземпляра ara::core::Variant [SWS_CORE_01664]. Целевой тип при этом жестко определяется через шаблонный индекс I. Вызов принимает список инициализации il типа std::initializer_list<U>, а также необязательные аргументы args и возвращает ссылку на вновь созданное значение типа variant_alternative_t<I, Variant<Types...>>& [SWS_CORE_01664].

Для обработки ошибок операция классифицирована как условно безопасная относительно исключений (conditionally exception safe) и снабжена условным noexcept [SWS_CORE_01664]. Вычисление условия {<cond-noexcept-12>}, вероятно, зависит от того, не генерирует ли конструктор целевого типа с il и args исключений. Вопрос Q-87f90253fc61c883 (открытый) Специфические коды ошибок, а также сообщения в DET или DEM в спецификации не определены; поведение при исключениях, за исключением объявления noexcept, следует стандартному поведению [variant] [SWS_CORE_01664].

Внутри ara::core::Variant функция дополняет создание на основе индекса без списка инициализации [SWS_CORE_01663], а также оба варианта на основе типа [SWS_CORE_01661] и [SWS_CORE_01662]. Аналогичные функции emplace для прямого конструирования на месте существуют в модуле core также для ara::core::Optional ([SWS_CORE_01119], [SWS_CORE_01120], [SWS_CORE_01164]), а также для таких контейнеров, как ara::core::Vector ([SWS_CORE_01366]) и ara::core::Map ([SWS_CORE_01458]).

Функция-член index класса ara::core::Variant служит для синхронного запроса отсчитываемого от нуля индекса текущего удерживаемого типа согласно спецификации [SWS_CORE_01665]. Она ведет себя аналогично соответствующему использованию в стандартном типе C++ std::variant («As per corresponding usage in [variant]»), не принимает параметров и возвращает текущий индекс как std::size_t. Объявлена она в заголовочном файле ara/core/variant.h и квалифицирована как constexpr, а также noexcept.

В отношении обработки ошибок и безопасности исключений метод специфицирован как exception safe [SWS_CORE_01665]. Поскольку он объявлен как noexcept, сам он не генерирует исключений и не вызывает условий ошибок. Вызывающие стороны могут анализировать возвращенный индекс, чтобы перед доступом к альтернативным значениям убедиться, какой тип активен в ara::core::Variant.

Во взаимодействии с типизированными функциями доступа ara::core::get метод index играет ключевую роль: перегрузки get для lvalue и rvalue явно проверяют условие variant.index() != I согласно [SWS_CORE_01613], [SWS_CORE_01614], [SWS_CORE_01615] и [SWS_CORE_01616]. Если индекс не совпадает с запрошенным позиционным индексом I, в отличие от std::bad_variant_access инициируется нарушение IsoStdBadVariantAccessViolation. Предварительное согласование с помощью index() предотвращает этот ошибочный доступ во время выполнения.

Что касается параллелизма, этот метод как операция const безопасен для параллельного доступа на чтение к одному и тому же variant до тех пор, пока отсутствуют конкурирующие модификации; внутренняя синхронизация против параллельных операций записи, предположительно, отсутствует. Вопрос Q-12e0dad0a6b8c5d0 (открытый)

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

Функция-член valueless_by_exception класса ara::core::Variant предоставляется в модуле core через заголовочный файл #include "ara/core/variant.h" ([SWS_CORE_01666]). В соответствии со своей сигнатурой constexpr bool valueless_by_exception () const noexcept; она не требует параметров вызова и синхронно возвращает логическое значение ([SWS_CORE_01666]). Функциональное значение определяется общепринятой семантикой [variant] («As per corresponding usage in [variant]») ([SWS_CORE_01666]). Интерпретация: возвращаемый статус true, вероятно, сигнализирует вызывающей стороне о том, что предыдущее присваивание значения или изменение типа было прервано из-за возникновения исключения, и поэтому объект Variant временно не представляет допустимого состояния. Вопрос Q-af7c00c7eb4ef5a1 (открытый)

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

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

Параллелизм и ограничения

Поскольку valueless_by_exception специфицирован как метод const и constexpr, во время выполнения никаких модифицирующих обращений к внутреннему состоянию объекта не происходит ([SWS_CORE_01666]). Интерпретация: одновременные запросы на чтение одного и того же экземпляра из нескольких потоков, по всей видимости, могут безопасно выполняться без отдельной синхронизации, пока исключены конкурирующие операции записи. Вопрос Q-5c28f8cef1c1f097 (открытый)