класс ara::core::FutureErrorDomain

Конструктор по умолчанию FutureErrorDomain() инициализирует экземпляр домена ошибок ara::core::FutureErrorDomain синхронно и без входных параметров [SWS_CORE_00441]. Поскольку функция объявлена как constexpr и noexcept, она обеспечивает полную безопасность относительно исключений и может вычисляться уже во время компиляции [SWS_CORE_00441].

В отношении выполнения и обработки ошибок действуют следующие условия:

• Инициализация является потокобезопасной (thread-safe) и не генерирует исключений [SWS_CORE_00441]. Никаких специфических кодов ошибок или сообщений диспетчерам диагностики или ошибок не предусмотрено.
• Результирующий экземпляр предоставляет базовые методы домена, в частности Name() для имени домена [SWS_CORE_00442], Message() для перевода кодов ошибок в читаемый текст [SWS_CORE_00443], а также ThrowAsException() для генерации соответствующих исключений [SWS_CORE_00444]. Внутри области видимости класса также существуют псевдонимы типов Errc [SWS_CORE_00431] и Exception [SWS_CORE_00432].

В структуре интерфейсов функция GetFutureErrorDomain() предоставляет ссылку на центральный глобальный экземпляр-одиночку (singleton) [SWS_CORE_00480]. Прямое ручное создание экземпляра через конструктор [SWS_CORE_00441] в практических сценариях, вероятно, служит преимущественно для внутреннего предоставления этого экземпляра или для специальных целей тестирования. Вопрос Q-4b2f868ccb8a5487 (открытый) Специфические коды ошибок для этого домена создаются через MakeErrorCode() с использованием перечисления FutureErrc [SWS_CORE_00490].

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

Функция-член Message класса ara::core::FutureErrorDomain служит для синхронного преобразования числового кода ошибки в информативное текстовое сообщение [SWS_CORE_00443]. Функция предоставляется через заголовочный файл #include "ara/core/future_error_domain.h". В качестве входного параметра она принимает errorCode типа ErrorDomain::CodeType. Возвращаемое значение представляет собой указатель на строку с завершающим нулём (const char *) с текстовым сообщением, который согласно спецификации никогда не равен nullptr [SWS_CORE_00443].

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

Функция квалифицирована как noexcept, а также специфицирована как thread-safe и exception safe [SWS_CORE_00443]. Поэтому её можно безопасно вызывать из параллельных потоков без внешней синхронизации. Согласно требованиям базового класса ara::core::ErrorDomain, возвращаемый указатель остаётся в постоянном владении соответствующего подкласса и ни при каких обстоятельствах не должен освобождаться вручную вызывающей стороной [SWS_CORE_00153].

Обработка ошибок и взаимодействие

Message переопределяет чисто виртуальный базовый метод Message абстрактного базового класса ara::core::ErrorDomain [SWS_CORE_00153], аналогично реализации в других доменах ошибок, таких как ara::core::CoreErrorDomain [SWS_CORE_05243]. Если переданный код не принадлежит этому домену, согласно базовому интерфейсу это представляет собой нарушение (WrongDomainOfAnErrorCodeViolation) [SWS_CORE_00153]. В типичных сценариях использования разработчики, вероятно, редко вызывают этот метод непосредственно у домена, поскольку сообщения об ошибках обычно запрашиваются через метод Message объекта ara::core::ErrorCode [SWS_CORE_00518]. Вопрос Q-a083e0ab17abf079 (открытый)

Синхронная функция-член Name() класса ara::core::FutureErrorDomain подключается через заголовочный файл ara/core/future_error_domain.h [SWS_CORE_00442]. Она не принимает параметров и возвращает имя домена ошибок в виде указателя на константную строку (const char *) [SWS_CORE_00442].

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

Для параллелизма действует правило, что функция является полностью потокобезопасной (thread-safe) и может вызываться параллельно из нескольких контекстов [SWS_CORE_00442]. Поскольку она переопределяет чисто виртуальный интерфейс ara::core::ErrorDomain::Name() [SWS_CORE_00152], действуют его правила времени жизни и владения: возвращаемый указатель остается во владении домена ошибок и ни в коем случае не должен освобождаться вызывающей стороной [SWS_CORE_00152]. Возвращаемая строка является нуль-терминированной и гарантированно никогда не равна nullptr [SWS_CORE_00152].

При взаимодействии со всей системой метод функционирует как доменно-специфическая реализация общего интерфейса домена ошибок [SWS_CORE_00152], сравнимо с реализацией в других доменах, таких как ara::core::CoreErrorDomain [SWS_CORE_05242]. Интерпретация: поскольку вызывающая сторона не должна управлять памятью, указатель, вероятно, ссылается на статический строковый литерал, время жизни которого охватывает всё время выполнения программы. Вопрос Q-e1867dfe78e89540 (открытый)

Функция-член ara::core::FutureErrorDomain::ThrowAsException синхронно преобразует переданный экземпляр ErrorCode в исключение и выбрасывает его как FutureException [SWS_CORE_00444]. Вызванное исключение при этом инкапсулирует переданный код ошибки [SWS_CORE_00444]. Тем самым класс реализует чисто виртуальный интерфейс ThrowAsException базового класса ara::core::ErrorDomain [SWS_CORE_00154].

В отношении выполнения и граничных условий действуют следующие спецификации:

• Вызов и параметры: в качестве входного параметра функция ожидает ссылку на объект ErrorCode (errorCode) и не имеет возвращаемого значения, поскольку она прерывает поток управления генерацией исключения [SWS_CORE_00444].
• Поведение при ошибках и безопасность исключений: функция объявлена с noexcept(false) и классифицирована как not exception safe [SWS_CORE_00444]. При вызове всегда генерируется специфицированное FutureException [SWS_CORE_00444].
• Параллелизм: реализация классифицирована как thread-safe и, следовательно, может безопасно вызываться из параллельных контекстов выполнения [SWS_CORE_00444].
• Ограничение компилятора: если исключения C++ отключены в наборе инструментов компилятора, эта функция не должна участвовать в разрешении перегрузки (Overload Resolution) [SWS_CORE_00444].

Во взаимодействии с системой ошибок Adaptive AUTOSAR эта функция напрямую корреспондирует с ara::core::ErrorCode::ThrowAsException, поведение которого определено как перенаправление в соответствующий домен (this->Domain().ThrowAsException(*this)) [SWS_CORE_00519]. Тем самым она соответствует доменно-специфичным реализациям в других доменах, таких как ara::core::CoreErrorDomain::ThrowAsException, которая вместо этого генерирует CoreException [SWS_CORE_05244].