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

Структура ara::core::in_place_t служит тег-типом для обозначения операций, при которых объекты должны конструироваться непосредственно на месте без операций копирования [SWS_CORE_04012]. Экземпляр обычно передается конструкторам классов-оберток, таких как ara::core::Optional, для прямой пересылки аргументов конструктору содержащегося типа. Создание осуществляется через явный конструктор по умолчанию, который определен как исключение-безопасный и noexcept [SWS_CORE_04012]. Поскольку тип не имеет состояния, сценарии сбоев или сложные фазы жизненного цикла отсутствуют.

больше ›

Контекст

Структура ara::core::in_place_t представляет собой теговый тип внутри модуля core платформы AUTOSAR Adaptive Platform и предоставляется через заголовочный файл #include "ara/core/utility.h" [SWS_CORE_04012]. В современных интерфейсах C++ такой теговый тип служит семантическим элементом управления перегрузками при создании объектов. Основная роль ara::core::in_place_t заключается в явном объявлении операций как конструирования на месте (in-place). Экземпляр этого типа передается специализированным конструкторам классов-оберток, таких как ara::core::Optional, чтобы однозначно выразить намерение сконструировать содержащийся в контейнере объект непосредственно на месте.

Благодаря этому механизму отпадает необходимость создавать вне контейнера временный объект, который затем пришлось бы переносить в контейнер с помощью конструктора копирования или перемещения. Таким образом, класс выступает посредником между вызывающим кодом приложения и подпрограммами инициализации объемлющих типов, благодаря чему он имеет особое значение для управления ресурсами и эффективности в контексте критически важных для безопасности приложений.

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

Жизненный цикл ara::core::in_place_t имеет минималистичный дизайн. Класс объявляет явный конструктор по умолчанию explicit in_place_t() noexcept = default;, помеченный как noexcept [SWS_CORE_04012]. Будучи лишенной состояния теговой структурой, этот тип не содержит переменных-членов или динамических ресурсов. Интерпретация: структура служит исключительно типовым маркером для разрешения перегрузок компилятором и не инкапсулирует данные времени выполнения. Вопрос Q-2fd481aaddfdfbf3 (открытый) Соответственно, не существует ни сложных состояний, ни переходов между различными фазами жизни.

Экземпляры ara::core::in_place_t обычно создаются непосредственно в точке вызова как временные значения и сразу передаются целевому методу. Отношений владения управляемыми ресурсами не возникает, а при уничтожении объекта не требуется никаких операций по очистке. Поскольку тип полностью неизменяем и не имеет состояния, создание экземпляров и их уничтожение по своей природе потокобезопасны и могут без опасений использоваться в нескольких потоках без механизмов синхронизации.

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

Типичный сценарий использования ara::core::in_place_t сосредоточен на прямой пересылке аргументов конструирования в такие обертки, как ara::core::Optional. Сначала приложение подключает необходимый заголовочный файл #include "ara/core/utility.h" [SWS_CORE_04012]. При объявлении или инициализации объекта ara::core::Optional разработчик передает экземпляр ara::core::in_place_t в качестве первого аргумента в конструктор. Последующие аргументы в точности соответствуют списку параметров конструктора типа, который должен содержаться в Optional.

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

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

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

Если во время конструирования на месте возникает ошибка, ее причина кроется не в ara::core::in_place_t, а исключительно в конструкторе инкапсулированного типа полезных данных. Если его конструктор генерирует исключения или сообщает о состояниях ошибки при недопустимых параметрах, срабатывают определенные механизмы обработки ошибок объемлющего контейнера или целевого типа. Для самого in_place_t постусловий или действий по очистке в случае ошибки не требуется.