Предоставляет последовательный контейнер фиксированного размера с типобезопасным контролем границ диапазона для AUTOSAR Adaptive.
СОЗДАНО ИИне провереноМодель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: c3e86159274fПроисхождениеОткрытые вопросы (2)
переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал
Предоставляет последовательный контейнер фиксированного размера с типобезопасным контролем границ диапазона для AUTOSAR Adaptive.
Шаблонный класс ara::core::Array служит последовательным контейнером фиксированного размера для элементов типа T и адаптирует поведение std::array для приложений AUTOSAR Adaptive Platform. Вызывающие стороны инициализируют контейнер с фиксированным числом элементов, манипулируют содержимым с помощью таких методов, как fill(), и обращаются к элементам либо без проверки через operator[], либо с проверкой диапазона через at() к [SWS_CORE_01273]. В качестве существенного для безопасности граничного условия выход за пределы диапазона при at() вызывает специфическое нарушение IsoStdOutOfRangeViolation вместо std::out_of_range, в то время как вызовы front() или back() для пустых экземпляров завершаются ошибкой ещё на этапе компиляции [SWS_CORE_01267].
Контекст
Шаблонный класс ara::core::Array инкапсулирует последовательный контейнер со статически заданным во время компиляции размером N для элементов типа T. Он реализует стандартизированный тип std::array в модуле core AUTOSAR Adaptive Platform и представляет собой типобезопасную абстракцию для непрерывных блоков памяти. Благодаря предоставлению стандартизированных псевдонимов типов, таких как value_type ([SWS_CORE_01216]), size_type ([SWS_CORE_01214]), difference_type ([SWS_CORE_01215]), а также типов указателей ([SWS_CORE_01217], [SWS_CORE_01218]) и ссылочных типов ([SWS_CORE_01210], [SWS_CORE_01211]), класс функционирует как интероперабельный партнер взаимодействия для обобщенных алгоритмов C++ и внутриплатформенных потоков данных.
Жизненный цикл
Создание и уничтожение экземпляра массива следуют стандартным правилам для агрегатных типов и типов-значений: используются неявно объявленные специальные функции-члены стандарта ISO C++, которые не объявляются заново отдельно. Массив хранит свои элементы непосредственно inline в той же области памяти. Следовательно, время жизни содержащихся элементов неразрывно связано со временем жизни охватывающего объекта массива; динамическое выделение памяти в куче (heap), предположительно, не выполняется, что обеспечивает детерминированное поведение по времени и памяти. Вопрос Q-945fdce67844d6a6 (открытый)
Контейнер всегда находится в корректном состоянии и управляет ровно N элементами. Может ли массив принимать элементы или представляет собой особый случай с N = 0, можно оценить с помощью empty() ([SWS_CORE_01264]), size() ([SWS_CORE_01262]), а также max_size() ([SWS_CORE_01263]). Что касается параллелизма, вероятно, справедливо следующее: параллельные операции чтения безопасны без синхронизации, тогда как параллельные модификации с записью требуют внешней координации со стороны вызывающей стороны. Вопрос Q-7abd5842b7560a04 (открытый)
Путь использования
В типичных сценариях использования ara::core::Array проходит последовательность этапов инициализации, заполнения элементами, произвольного или последовательного доступа, а также, при необходимости, обмена содержимым:
Инициализация и заполнение: весь буфер данных можно единообразно заполнить заданным значением с помощью fill() ([SWS_CORE_01241]).
Доступ по указателю и обмен: базовая область памяти может быть передана в виде указателя с помощью data() ([SWS_CORE_01271], [SWS_CORE_01272]). Два массива одинакового размера можно обменять содержимым посредством swap() ([SWS_CORE_01242]).
Спецификация определяет строгие предусловия и постусловия для граничных и ошибочных ситуаций:
Нарушение диапазона при индексированном доступе: если при at() индекс n выходит за границы массива (n >= size()), инициируется IsoStdOutOfRangeViolation вместо стандартного исключения C++ std::out_of_range ([SWS_CORE_01273], [SWS_CORE_01274]). Обе перегрузки объявлены с noexcept.
Доступ к пустым экземплярам: вызов front() или back() для пустого массива (empty() == true, то есть N = 0) в обязательном порядке приводит к ошибке времени компиляции (Compile-Time Error) ([SWS_CORE_01267], [SWS_CORE_01268], [SWS_CORE_01269], [SWS_CORE_01270]).
Неопределенное поведение при использовании итераторов: разыменование итератора, возвращенного begin(), для пустого массива представляет собой неопределенное поведение ([SWS_CORE_01250], [SWS_CORE_01251]).
Особый случай получения указателя: если размер массива равен 0, функция-член data() в обязательном порядке возвращает nullptr ([SWS_CORE_01271], [SWS_CORE_01272]).
Условная безопасность относительно исключений: операция swap() является noexcept только тогда, когда выполняется условие ara::core::is_nothrow_swappable<T>::value, связанное с типом ([SWS_CORE_01242]). Соответственно, свойство noexcept для fill() определяется через std::is_nothrow_copy_assignable<T>::value ([SWS_CORE_01241]).
Настоящее руководство основано на спецификации AUTOSAR Adaptive для функционального класса Core ara::core::Array и создано автоматически.
As per corresponding usage in [array] except for the following deviations: 1. if (n >= size()) IsoStdOutOfRangeViolation is raised instead of std:: out_of_range
СОЗДАНО ИИне провереноМодель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: 795454c939dfПроисхождениеОткрытые вопросы (1)
переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал
Функция-член at класса ara::core::Array обеспечивает синхронный доступ на чтение и запись к элементу массива в указанной позиции n с неявной проверкой граничных значений [SWS_CORE_01273]. Функция возвращает модифицируемую ссылку (reference) на адресуемый элемент и может вычисляться во время компиляции (constexpr) [SWS_CORE_01273].
В случае ошибки, когда запрошенный индекс достигает границы контейнера или превышает ее (n >= size()), поведение отличается от стандартного контейнера C++ std::array: вместо исключения типа std::out_of_range генерируется IsoStdOutOfRangeViolation[SWS_CORE_01273]. Поскольку сигнатура объявлена как noexcept и классифицирована как безопасная относительно исключений, обычные исключения C++ не выбрасываются [SWS_CORE_01273]. Интерпретация: возникновение этого нарушения в контексте noexcept, по-видимому, непосредственно приводит к контролируемому завершению выполнения. Вопрос Q-72c19d096572f6bc (открытый)
Для неизменяемых экземпляров существует комплементарная константная перегрузка [SWS_CORE_01274], возвращающая константную ссылку. Та же семантика ошибок с использованием IsoStdOutOfRangeViolation согласованно применяется и в родственных контейнерах, таких как ara::core::Vector ([SWS_CORE_01354], [SWS_CORE_01355]), а также ara::core::StringView[SWS_CORE_02133].
Этот текст был сгенерирован ИИ и служит в качестве справочного руководства. Определяющей является спецификация AUTOSAR.
As per corresponding usage in [array] except for the following deviations: 1. if (n >= size()) IsoStdOutOfRangeViolation is raised instead of std:: out_of_range
СОЗДАНО ИИне провереноМодель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: 8616a34d04dcПроисхождениеОткрытые вопросы (1)
переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал
Функция-член at класса ara::core::Array (заголовок #include "ara/core/array.h") обеспечивает индексированный доступ для чтения к отдельному элементу массива [SWS_CORE_01274]. Она принимает индекс n типа size_type и возвращает константную ссылку (const_reference) на адресованный элемент [SWS_CORE_01274]. Благодаря объявлению как constexpr и noexcept функция пригодна для константных выражений во время компиляции и специфицирована как безопасная относительно исключений (exception safe) [SWS_CORE_01274]. Для модифицирующего доступа доступна неконстантная перегрузка [SWS_CORE_01273].
В случае ошибки семантика отличается от std::array: если индекс превышает размер контейнера (n >= size()), std::out_of_range не выбрасывается, а регистрируется нарушение IsoStdOutOfRangeViolation[SWS_CORE_01274]. Поскольку функция квалифицирована с noexcept, сообщение об этом нарушении, вероятно, приводит к аварийному завершению программы через общеплатформенный механизм аварийного останова (Abort), для которого могут быть зарегистрированы пользовательские обработчики [SWS_CORE_00054]. Вопрос Q-f73299f375ef3a1f (открытый)
Этот паттерн обработки ошибок единообразно применяется и в других контейнерах ara::core, например в ara::core::Vector[SWS_CORE_01354], ara::core::Map[SWS_CORE_01456] и ara::core::StringView[SWS_CORE_02133]. Однако если ara::core::Vector и ara::core::BasicString при at не считаются безопасными относительно исключений [SWS_CORE_01354][SWS_CORE_03063], то ara::core::Array гарантирует безопасность относительно исключений [SWS_CORE_01274].
Этот текст был создан ИИ; он не заменяет проверку официальной спецификации.
СОЗДАНО ИИне провереноМодель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: 8c9d3976ab7aПроисхождениеОткрытые вопросы (1)
переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал
Функция-член crbegin класса ara::core::Array из заголовочного файла #include "ara/core/array.h" возвращает константный обратный итератор на последний элемент массива согласно стандартному поведению контейнеров [SWS_CORE_01260]. Метод вызывается синхронно и без параметров и возвращает const_reverse_iterator. Благодаря спецификации как constexpr и const функцию можно использовать как во время выполнения, так и при вычислениях на этапе компиляции, а также для константных экземпляров массива [SWS_CORE_01260].
Что касается обработки ошибок, операция объявлена как noexcept и имеет классификацию exception safe[SWS_CORE_01260]. Таким образом, вызов гарантирует полную безопасность исключений; специфические коды ошибок, уведомления через DET или DEM либо состояния ошибки для этого последовательного доступа отсутствуют.
С точки зрения параллелизма доступ только для чтения не создает побочных эффектов, поэтому одновременные вызовы crbegin для одного и того же экземпляра, вероятно, потокобезопасны и могут выполняться без внешней синхронизации. Вопрос Q-02554ec002069925 (открытый) Для контекста вызова нет особых ограничений или строгих требований к порядку выполнения, пока базовый массив инициализирован.
Во взаимодействии со всей библиотекой Core метод следует стандартизированному дизайну итераторов. Аналогичные интерфейсы для обратной константной итерации встречаются в связанных требованиях для ara::core::Vector[SWS_CORE_01342], ara::core::Map[SWS_CORE_01450], ara::core::BasicString[SWS_CORE_03049], а также для невладеющих представлений, таких как ara::core::Span[SWS_CORE_01978] и ara::core::StringView[SWS_CORE_02126].
Это указание по использованию было создано автоматически на основе спецификации AUTOSAR для Adaptive Core R25-11.
СОЗДАНО ИИне провереноМодель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: 95338f6bd6a6ПроисхождениеОткрытые вопросы (2)
переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал
Функция-член crend контейнерного класса ara::core::Array предоставляется через заголовочный файл #include "ara/core/array.h"[SWS_CORE_01261]. Она имеет сигнатуру constexpr const_reverse_iterator crend () const noexcept;, не принимает параметров и синхронно возвращает константный reverse-итератор типа const_reverse_iterator[SWS_CORE_01261]. Благодаря объявлению как constexpr вызов может вычисляться и во время компиляции [SWS_CORE_01261]. Интерпретация: согласно указанию «As per corresponding usage in [array]», итератор, вероятно, обозначает логический конец обратной итерации по константному массиву данных [SWS_CORE_01261]. Вопрос Q-d247b385b426784f (открытый)
Для обработки ошибок метод специфицирован как noexcept и классифицирован как безопасный относительно исключений (exception safe), поэтому исключения не возникают и ошибки через DET или DEM не передаются [SWS_CORE_01261]. Интерпретация: поскольку это метод экземпляра const без побочных эффектов, одновременные операции чтения из нескольких потоков к одному и тому же экземпляру, вероятно, безопасны и реентерабельны, если отсутствует конкурирующая модификация [SWS_CORE_01261]. Вопрос Q-8cd440a3f36846f9 (открытый)
Во взаимодействии с другими компонентами библиотеки Core ara::core::Array предоставляет единый интерфейс итераторов [SWS_CORE_01261]. Эквивалентные crend-функции для концов обратной итерации существуют для ara::core::Vector[SWS_CORE_01343], ara::core::Map[SWS_CORE_01451], ara::core::Span[SWS_CORE_01979], ara::core::StringView[SWS_CORE_02127], а также ara::core::BasicString[SWS_CORE_03050].
Этот текст создан ИИ и основан на специфицированном релизе AUTOSAR R25-11.
СОЗДАНО ИИне провереноМодель: gemini-3.8-flash-medium · Усилие: medium · Температура: не регулируется · Промпт: d20612515608ПроисхождениеОткрытые вопросы (2)
переведено с немецкого руководстваgemini-3.8-flash-low · 2026-10-13 · Немецкий оригинал
Использование
Функция-член fill класса ara::core::Array служит для того, чтобы задать единое значение для всех содержащихся в массиве элементов [SWS_CORE_01241]. В качестве параметра она принимает константную ссылку const T &u на присваиваемый объект и не возвращает значения (void). Поведение ориентируется на использование в [array], так что, вероятно, все элементы синхронно устанавливаются в значение u путем копирующего присваивания. Вопрос Q-927b1702cfa40906 (открытый)
Обработка ошибок и безопасность исключений
Согласно спецификации функция классифицирована как условно безопасная относительно исключений (conditionally exception safe) [SWS_CORE_01241]. Это реализуется через идентификатор noexcept(std::is_nothrow_copy_assignable<T>::value). Специфические коды ошибок, статус ошибки в качестве возвращаемого значения или сообщения DET/DEM не предусмотрены; исключения возникают только в том случае, если копирующее присваивание типа T завершается сбоем и не объявлено как noexcept.
Параллелизм и интеграция
Для интеграции необходимо включить заголовок #include "ara/core/array.h"[SWS_CORE_01241]. Поскольку fill изменяет состояние вызывающего объекта, при параллельном доступе из нескольких потоков, вероятно, требуется внешняя синхронизация во избежание конфликтов данных. Вопрос (открытый)
Этот текст был курирован ИИ и основан исключительно на данных спецификации AUTOSAR Adaptive R25-11.
As per corresponding usage in [array] except for the following deviations: 1. ara::core::is_nothrow_swappable shall be used in place of the std:: implementation
gemini-3.8-flash-low· 2026-10-13 · Немецкий оригинал