类 ara::core::Span

[SWS_CORE_01900]

template <typename T, std::size_t Extent = dynamic_extent> class Span {...};

Implementation of std::span container from [views.span]

Header-Datei	#include "ara/core/span.h"
Forwarding-Header	#include "ara/core/core_fwd.h"
Scope	namespace ara::core

用户指南人工智能生成

为任意容器或缓冲区的连续内存区域提供高效的非所有权视图。

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： cd35d03068cb 来源未决问题（3）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

为任意容器或缓冲区的连续内存区域提供高效的非所有权视图。

类 ara::core::Span 提供了针对内存区域的非所有权连续视图，并允许在无拷贝开销的情况下高效封装数组或缓冲区 [SWS_CORE_01942]。应用程序通常使用该类来传递数据窗口以及通过切片操作生成子视图。调用方必须严格确保底层内存的生命周期超出视图的生命周期，并且在诸如 subspan() 等操作中保持有效边界，因为越界会导致未定义行为 [SWS_CORE_01966]。

上下文

类 ara::core::Span 提供了连续序列视图的标准兼容实现，参考了 [views.span] 中的 std::span。作为轻量级抽象，它封装了指向第一个元素的指针以及可用元素的数量，而自身并不拥有数据。它用作提供数据的组件与处理这些数据的算法之间的统一接口。

主要交互对象包括：

调用方应用逻辑：使用该视图对顺序内存区域进行读或写访问，无需内存分配或拷贝开销。
内存源与容器：任意连续内存区域，例如原生 C 数组 [SWS_CORE_01944]、标准化平台容器如 ara::core::Array [SWS_CORE_01945] [SWS_CORE_01946]、通用容器结构 [SWS_CORE_01947] [SWS_CORE_01948]，或带有指针和长度说明的原始缓冲区 [SWS_CORE_01942]。
子视图（Subspans）：通过从上级视图进行分解而产生的 ara::core::Span 的其他实例 [SWS_CORE_01965] [SWS_CORE_01966]。

上下文图：ara::core::Span 作为非所有权视图在应用逻辑与内存缓冲区之间的集成。来源：[SWS_CORE_01942]、[SWS_CORE_01945]、[SWS_CORE_01951]

生命周期

ara::core::Span 的实例被设计为不具备自身资源管理的纯值对象。创建方式既可以是通过默认构造函数 [SWS_CORE_01941] 作为空 Span，也可以是通过直接指定起始地址和元素数量 [SWS_CORE_01942]，或者通过由起始和结束组成的指针区间 [SWS_CORE_01943]。此外，还提供了用于 C 数组 [SWS_CORE_01944]、ara::core::Array 类型的容器 [SWS_CORE_01945] [SWS_CORE_01946] 以及通用容器 [SWS_CORE_01947] [SWS_CORE_01948] 的类型化构造函数。现有的 Span 可以通过默认拷贝构造函数 [SWS_CORE_01949] 或通过具有兼容元素类型和 Extent 的转换构造函数进行复制 [SWS_CORE_01950]。

由于 ara::core::Span 不对引用的数据承担任何所有权，因此析构函数具有默认实现，并被指定为 noexcept=default [SWS_CORE_01951]。由此得出了基本不变式（解释：假设 1）：底层内存缓冲区的生命周期必须始终至少包含引用它的所有 Span 对象的生命周期；当缓冲区销毁时，剩余的 Span 将失效。问题 (未决)通过赋值运算符进行的赋值通过浅拷贝平凡完成 [SWS_CORE_01952]。由于所有访问函数均声明为 noexcept 且不包含内部同步机制，因此从多个线程对同一 Span 实例并发进行读取访问应该是安全的，前提是底层内存区域没有被并行修改（解释：假设 2）。问题 Q-be5a38c1097c4ee1 (未决)

使用路径

典型用例包括封装现有数据块、检查尺寸、提取相关区段以及访问元素：

视图创建：应用程序在连续缓冲区上实例化 ara::core::Span，例如从 ara::core::Array [SWS_CORE_01945] 的实例或通过带有长度说明的原始数据指针 [SWS_CORE_01942]。
状态与尺寸检查：在进一步处理之前，通过 empty() [SWS_CORE_01969]、size() [SWS_CORE_01967] 或 size_bytes() [SWS_CORE_01968] 验证尺寸，或者使用 data() [SWS_CORE_01971] 查询基地址。
切片 / 子视图形成：为了聚焦于相关数据窗口，应用程序通过使用 first() [SWS_CORE_01961] [SWS_CORE_01962] 的前缀、使用 last() [SWS_CORE_01963] [SWS_CORE_01964] 的后缀或使用 subspan() [SWS_CORE_01965] [SWS_CORE_01966] 的任意子区域来创建子视图。
元素处理：实际的数据访问通过下标运算符 operator[] [SWS_CORE_01970] 随机进行，通过 front() [SWS_CORE_01959] 和 back() [SWS_CORE_01960] 进行边界元素访问，或通过从 begin() 到 end() [SWS_CORE_01972] [SWS_CORE_01973] 的迭代器顺序进行。

时序图：用于创建、切分和查询视图元素的典型调用序列。来源：[SWS_CORE_01942]、[SWS_CORE_01966]、[SWS_CORE_01970]

错误场景

ara::core::Span 的所有方法均被声明为异常安全且为 noexcept；既不抛出 C++ 异常，也不返回如 ara::core::ErrorCode 之类的错误对象。错误状态主要源于违反前置条件，这会直接导致未定义行为（Undefined Behavior）：

前缀和后缀的大小超出：如果在 first() 中请求的数量超过了当前大小（Count > size() 或 count > size()），则行为未定义 [SWS_CORE_01961] [SWS_CORE_01962]。相同的前置条件违规在 last() 中同样会导致未定义行为 [SWS_CORE_01963] [SWS_CORE_01964]。
subspan 中的子区域参数无效：调用 subspan() 强制要求满足 offset <= size()，并且在显式指定 count（不等于 dynamic_extent）时还必须满足 count <= size() - offset。忽略此要求将导致未定义行为 [SWS_CORE_01966]。
元素访问时的范围超出：下标运算符 operator[] [SWS_CORE_01970] 以及访问函数 front() [SWS_CORE_01959] 和 back() [SWS_CORE_01960] 不执行范围检查（Bounds Checking）。在有效边界之外的访问应该会直接导致未定义的内存访问（解释：假设 3）。问题 (未决)

本指南基于 AUTOSAR Adaptive R25-11 规范自动生成。

成员图

类图

Hohle Dreieckspfeile = Vererbung (zeigt zur Basisklasse); Klicken öffnet die jeweilige Klassenseite.

详细视图

请在大纲中选择一个条目。

此版本没有元素数据

构造函数和析构函数

Span 函数 10

≙ [views.span]

重载 Span 10

constexpr Span () noexcept; SWS_CORE_01941

constexpr Span (pointer ptr, size_type count) noexcept; SWS_CORE_01942

constexpr Span (pointer firstElem, pointer lastElem) noexcept; SWS_CORE_01943

template <std::size_t N> constexpr Span (element_type(&arr)[N]) noexcept; SWS_CORE_01944

template <typename U, std::size_t N> constexpr Span (ara::core::Array< U, N > &arr) noexcept; SWS_CORE_01945

template <typename U, std::size_t N> constexpr Span (const ara::core::Array< U, N > &arr) noexcept; SWS_CORE_01946

template <typename Container> constexpr Span (Container &cont) noexcept; SWS_CORE_01947

template <typename Container> constexpr Span (const Container &cont) noexcept; SWS_CORE_01948

constexpr Span (const Span &other) noexcept=default; SWS_CORE_01949

template <typename U, std::size_t N> constexpr Span (const Span< U, N > &s) noexcept; SWS_CORE_01950

~Span 函数

≙ [views.span]

~Span () noexcept=default;

方法

back 函数

≙ [views.span]

constexpr reference back () const noexcept;

begin 函数

≙ [views.span]

constexpr iterator begin () const noexcept;

cbegin 函数

≙ [views.span]

constexpr const_iterator cbegin () const noexcept;

cend 函数

≙ [views.span]

constexpr const_iterator cend () const noexcept;

crbegin 函数

≙ [views.span]

constexpr const_reverse_iterator crbegin () const noexcept;

crend 函数

≙ [views.span]

constexpr const_reverse_iterator crend () const noexcept;

data 函数

≙ [views.span]

constexpr pointer data () const noexcept;

empty 函数

≙ [views.span]

constexpr bool empty () const noexcept;

end 函数

≙ [views.span]

constexpr iterator end () const noexcept;

first 函数 2

≙ [views.span]

重载 first 2

template <std::size_t Count> constexpr Span< element_type, Count > first () const noexcept; SWS_CORE_01961

constexpr Span< element_type, dynamic_extent > first (size_type count) const noexcept; SWS_CORE_01962

front 函数

≙ [views.span]

constexpr reference front () const noexcept;

last 函数 2

≙ [views.span]

重载 last 2

template <std::size_t Count> constexpr Span< element_type, Count > last () const noexcept; SWS_CORE_01963

constexpr Span< element_type, dynamic_extent > last (size_type count) const noexcept; SWS_CORE_01964

rbegin 函数

≙ [views.span]

constexpr reverse_iterator rbegin () const noexcept;

rend 函数

≙ [views.span]

constexpr reverse_iterator rend () const noexcept;

size 函数

≙ [views.span]

constexpr size_type size () const noexcept;

size_bytes 函数

≙ [views.span]

constexpr size_type size_bytes () const noexcept;

subspan 函数 2

≙ [views.span]

重载 subspan 2

template <std::size_t Offset, std::size_t Count = dynamic_extent> constexpr auto subspan () const noexcept -> Span< element_type, {<extent-or-dynamicextent>} >;

SWS_CORE_01965

constexpr Span< element_type, dynamic_extent > subspan (size_type offset, size_type count=dynamic_extent) const noexcept;

SWS_CORE_01966

运算符

operator= 函数

≙ [views.span]

constexpr Span & operator= (const Span &other) noexcept=default;

operator[] 函数

≙ [views.span]

constexpr reference operator[] (size_type idx) const noexcept;

类型别名

const_iterator 类型别名

Implementation {<const-iterator-type>} shall be an implementation-defined type ≙ [views.span]

using const_iterator = {<const-iterator-type>};

const_pointer 类型别名

≙ [views.span]

using const_pointer = const element_type*;

const_reference 类型别名

≙ [views.span]

using const_reference = const element_type&;

const_reverse_iterator 类型别名

≙ [views.span]

using const_reverse_iterator = std::reverse_iterator<const_iterator>;

difference_type 类型别名

≙ [views.span]

using difference_type = std::ptrdiff_t;

element_type 类型别名

≙ [views.span]

using element_type = T;

iterator 类型别名

Implementation {<iterator-type>} shall be an implementation-defined type ≙ [views.span]

using iterator = {<iterator-type>};

pointer 类型别名

≙ [views.span]

using pointer = element_type*;

reference 类型别名

≙ [views.span]

using reference = element_type&;

reverse_iterator 类型别名

≙ [views.span]

using reverse_iterator = std::reverse_iterator<iterator>;

size_type 类型别名

≙ [views.span]

using size_type = std::size_t;

value_type 类型别名

≙ [views.span]

using value_type = typename std::remove_cv<element_type>::type;

常量

extent 变量

≙ [views.span]

static constexpr size_type extent = Extent;

点击条目以查看其关系。

方法文档

函数 Span [SWS_CORE_01941]

constexpr Span () noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01941
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01941@rel:R25-11#82b1b14a
Content hash: 82b1b14a
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01941

Status: valid/unmigrated Version: rel:R25-11#9156901e Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01941@rel:R25-11#9156901e

Recorded Revisions (8):

R25-11rel:R25-11#d1d358112026-09-30
R19-11rel:R19-11#92102a1d2026-10-14
R20-11rel:R20-11#d5ec64462026-10-14
R21-11rel:R21-11#82017abe2026-10-14
R22-11rel:R22-11#ae7aebea2026-10-14
R23-11rel:R23-11#de3afc972026-10-14
R24-11rel:R24-11#6eafb1ec2026-10-14
R25-11rel:R25-11#9156901e2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Span [SWS_CORE_01942]

constexpr Span (pointer ptr, size_type count) noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01942
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01942@rel:R25-11#60689239
Content hash: 60689239
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01942

Status: valid/unmigrated Version: rel:R25-11#299f6b62 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01942@rel:R25-11#299f6b62

Recorded Revisions (8):

R25-11rel:R25-11#e19cd3dc2026-09-30
R19-11rel:R19-11#776cdd672026-10-14
R20-11rel:R20-11#61dc7a1f2026-10-14
R21-11rel:R21-11#8dcb1ef62026-10-14
R22-11rel:R22-11#24557a632026-10-14
R23-11rel:R23-11#d635007b2026-10-14
R24-11rel:R24-11#a845c6a62026-10-14
R25-11rel:R25-11#299f6b622026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Span [SWS_CORE_01943]

constexpr Span (pointer firstElem, pointer lastElem) noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01943
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01943@rel:R25-11#3a296a51
Content hash: 3a296a51
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01943

Status: valid/unmigrated Version: rel:R25-11#f07a49e2 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01943@rel:R25-11#f07a49e2

Recorded Revisions (8):

R25-11rel:R25-11#040261822026-09-30
R19-11rel:R19-11#2ae7bdee2026-10-14
R20-11rel:R20-11#83f360a32026-10-14
R21-11rel:R21-11#0e517efd2026-10-14
R22-11rel:R22-11#d4ce3e812026-10-14
R23-11rel:R23-11#90a27ba72026-10-14
R24-11rel:R24-11#495b0a912026-10-14
R25-11rel:R25-11#f07a49e22026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Span [SWS_CORE_01944]

template <std::size_t N> constexpr Span (element_type(&arr)[N]) noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01944
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01944@rel:R25-11#5b33e1cc
Content hash: 5b33e1cc
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01944

Status: valid/unmigrated Version: rel:R25-11#0f1aec35 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01944@rel:R25-11#0f1aec35

Recorded Revisions (8):

R25-11rel:R25-11#3ec55e722026-09-30
R19-11rel:R19-11#1f31cf432026-10-14
R20-11rel:R20-11#d04cbec42026-10-14
R21-11rel:R21-11#009810b12026-10-14
R22-11rel:R22-11#cf7804dc2026-10-14
R23-11rel:R23-11#93af3b072026-10-14
R24-11rel:R24-11#868613562026-10-14
R25-11rel:R25-11#0f1aec352026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Span [SWS_CORE_01945]

template <typename U, std::size_t N> constexpr Span (ara::core::Array< U, N > &arr) noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01945
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01945@rel:R25-11#13c16a9f
Content hash: 13c16a9f
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01945

Status: valid/unmigrated Version: rel:R25-11#96f60344 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01945@rel:R25-11#96f60344

Recorded Revisions (8):

R25-11rel:R25-11#49d121362026-09-30
R19-11rel:R19-11#0c6f9ffa2026-10-14
R20-11rel:R20-11#10ccc4192026-10-14
R21-11rel:R21-11#a09556a32026-10-14
R22-11rel:R22-11#864dba032026-10-14
R23-11rel:R23-11#bc982d3f2026-10-14
R24-11rel:R24-11#776fe3732026-10-14
R25-11rel:R25-11#96f603442026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Span [SWS_CORE_01946]

template <typename U, std::size_t N> constexpr Span (const ara::core::Array< U, N > &arr) noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01946
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01946@rel:R25-11#3be6e03f
Content hash: 3be6e03f
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01946

Status: valid/unmigrated Version: rel:R25-11#efbbf070 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01946@rel:R25-11#efbbf070

Recorded Revisions (8):

R25-11rel:R25-11#650281322026-09-30
R19-11rel:R19-11#ac0821ee2026-10-14
R20-11rel:R20-11#6ef79a1b2026-10-14
R21-11rel:R21-11#f091ae842026-10-14
R22-11rel:R22-11#5a2950dc2026-10-14
R23-11rel:R23-11#7b62ffc12026-10-14
R24-11rel:R24-11#f874a71f2026-10-14
R25-11rel:R25-11#efbbf0702026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Span [SWS_CORE_01947]

template <typename Container> constexpr Span (Container &cont) noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01947
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01947@rel:R25-11#6b72abf8
Content hash: 6b72abf8
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01947

Status: valid/unmigrated Version: rel:R25-11#15533b27 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01947@rel:R25-11#15533b27

Recorded Revisions (8):

R25-11rel:R25-11#a03f736a2026-09-30
R19-11rel:R19-11#0c43e3502026-10-14
R20-11rel:R20-11#9daa25562026-10-14
R21-11rel:R21-11#a79b543e2026-10-14
R22-11rel:R22-11#cf7257342026-10-14
R23-11rel:R23-11#b1685ade2026-10-14
R24-11rel:R24-11#a7feb0452026-10-14
R25-11rel:R25-11#15533b272026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Span [SWS_CORE_01948]

template <typename Container> constexpr Span (const Container &cont) noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01948
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01948@rel:R25-11#69876adc
Content hash: 69876adc
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01948

Status: valid/unmigrated Version: rel:R25-11#ca187caf Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01948@rel:R25-11#ca187caf

Recorded Revisions (8):

R25-11rel:R25-11#f0031a212026-09-30
R19-11rel:R19-11#a8d7e5ab2026-10-14
R20-11rel:R20-11#6bfd551b2026-10-14
R21-11rel:R21-11#a7c4cdda2026-10-14
R22-11rel:R22-11#af9ace072026-10-14
R23-11rel:R23-11#8fa60bd02026-10-14
R24-11rel:R24-11#d0016f742026-10-14
R25-11rel:R25-11#ca187caf2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Span [SWS_CORE_01949]

constexpr Span (const Span &other) noexcept=default;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01949
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01949@rel:R25-11#9948a6aa
Content hash: 9948a6aa
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01949

Status: valid/unmigrated Version: rel:R25-11#e0c88efb Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01949@rel:R25-11#e0c88efb

Recorded Revisions (8):

R25-11rel:R25-11#f2b83e812026-09-30
R19-11rel:R19-11#178d82d72026-10-14
R20-11rel:R20-11#ba14f11f2026-10-14
R21-11rel:R21-11#95aa17f52026-10-14
R22-11rel:R22-11#f5d315962026-10-14
R23-11rel:R23-11#63e2b9812026-10-14
R24-11rel:R24-11#363dcb8d2026-10-14
R25-11rel:R25-11#e0c88efb2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 Span [SWS_CORE_01950]

template <typename U, std::size_t N> constexpr Span (const Span< U, N > &s) noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01950
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01950@rel:R25-11#5758e4d6
Content hash: 5758e4d6
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01950

Status: valid/unmigrated Version: rel:R25-11#0518a9e7 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01950@rel:R25-11#0518a9e7

Recorded Revisions (8):

R25-11rel:R25-11#ef77bbac2026-09-30
R19-11rel:R19-11#644765992026-10-14
R20-11rel:R20-11#c95936c32026-10-14
R21-11rel:R21-11#180043a62026-10-14
R22-11rel:R22-11#42c8ee322026-10-14
R23-11rel:R23-11#de8460672026-10-14
R24-11rel:R24-11#e49bcc5e2026-10-14
R25-11rel:R25-11#0518a9e72026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 back [SWS_CORE_01960]

constexpr reference back () const noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01960
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01960@rel:R25-11#50d1bdd7
Content hash: 50d1bdd7
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01960

Status: valid/unmigrated Version: rel:R25-11#8d035d2e Versionshistorie & Revisions (1 transition, 6 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01960@rel:R25-11#8d035d2e

Recorded Revisions (6):

R25-11rel:R25-11#14876bf92026-09-30
R21-11rel:R21-11#1bf798dc2026-10-14
R22-11rel:R22-11#f948a4f62026-10-14
R23-11rel:R23-11#79896bd42026-10-14
R24-11rel:R24-11#ca38de882026-10-14
R25-11rel:R25-11#8d035d2e2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 begin [SWS_CORE_01972]

constexpr iterator begin () const noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01972
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01972@rel:R25-11#baa267b5
Content hash: baa267b5
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01972

Status: valid/unmigrated Version: rel:R25-11#2d12f82e Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01972@rel:R25-11#2d12f82e

Recorded Revisions (8):

R25-11rel:R25-11#d4915b332026-09-30
R19-11rel:R19-11#f0514c0a2026-10-14
R20-11rel:R20-11#6f313b002026-10-14
R21-11rel:R21-11#6f313b002026-10-14
R22-11rel:R22-11#8da7cddd2026-10-14
R23-11rel:R23-11#9ff429f72026-10-14
R24-11rel:R24-11#860b85162026-10-14
R25-11rel:R25-11#2d12f82e2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 cbegin [SWS_CORE_01974]

constexpr const_iterator cbegin () const noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01974
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01974@rel:R25-11#cb447d91
Content hash: cb447d91
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01974

Status: valid/unmigrated Version: rel:R25-11#4618ef74 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01974@rel:R25-11#4618ef74

Recorded Revisions (8):

R25-11rel:R25-11#843d3cd82026-09-30
R19-11rel:R19-11#0a070c0a2026-10-14
R20-11rel:R20-11#d2d2f7c72026-10-14
R21-11rel:R21-11#10835a902026-10-14
R22-11rel:R22-11#ae3183582026-10-14
R23-11rel:R23-11#6dcea62a2026-10-14
R24-11rel:R24-11#d466b4382026-10-14
R25-11rel:R25-11#4618ef742026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 cend [SWS_CORE_01975]

constexpr const_iterator cend () const noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01975
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01975@rel:R25-11#12eb5a53
Content hash: 12eb5a53
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01975

Status: valid/unmigrated Version: rel:R25-11#f9034940 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01975@rel:R25-11#f9034940

Recorded Revisions (8):

R25-11rel:R25-11#31912a8b2026-09-30
R19-11rel:R19-11#7abc90612026-10-14
R20-11rel:R20-11#3f10716a2026-10-14
R21-11rel:R21-11#3f10716a2026-10-14
R22-11rel:R22-11#52887d552026-10-14
R23-11rel:R23-11#c6b47a0a2026-10-14
R24-11rel:R24-11#347610ac2026-10-14
R25-11rel:R25-11#f90349402026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 crbegin [SWS_CORE_01978]

constexpr const_reverse_iterator crbegin () const noexcept;

As per corresponding usage in [views.span]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 557e5938932a 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Span 的成员函数 crbegin 返回一个常量反向迭代器，该迭代器指向所引用序列的最后一个元素 [SWS_CORE_01978]。该函数需要头文件 #include "ara/core/span.h"，并遵循 [views.span] 中的用法 [SWS_CORE_01978]。类型为 const_reverse_iterator 的返回值允许对由 span 描述的内存区域进行只读反向迭代 [SWS_CORE_01978]。

由于 crbegin 被声明为 constexpr，因此可以在编译时完成求值 [SWS_CORE_01978]。关于错误处理，该函数被声明为 noexcept 并归类为 exception safe；因此它不抛出异常，并且既不存在错误代码，也不存在 DET 或 DEM 报告 [SWS_CORE_01978]。

关于并发性和限制，该方法带有 const 限定；解释：在同一实例上并行进行的读取调用在没有外部同步的情况下应该是线程安全的，只要底层内存区域未被同时修改 [SWS_CORE_01978]。问题 Q-d63c0354556f1d23 (未决)

在与 ara::core 的其他元素配合使用时，crbegin 遵循针对容器和视图的统一模式：

ara::core::Array 提供了相应的 constexpr 和 exception safe 接口 [SWS_CORE_01260]。
ara::core::StringView 同样将 crbegin 作为 constexpr 和 exception safe 提供 [SWS_CORE_02126]。
ara::core::Vector [SWS_CORE_01342]、ara::core::Map [SWS_CORE_01450] 以及 ara::core::BasicString [SWS_CORE_03049] 同步且异常安全（noexcept）地提供 crbegin。

本文由 AI 生成，基于 AUTOSAR Adaptive R25-11 规范。

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01978
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01978@rel:R25-11#232f2c98
Content hash: 232f2c98
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01978

Status: valid/unmigrated Version: rel:R25-11#4595c1d5 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01978@rel:R25-11#4595c1d5

Recorded Revisions (8):

R25-11rel:R25-11#57748a992026-09-30
R19-11rel:R19-11#6d6bfe3f2026-10-14
R20-11rel:R20-11#c3ef8e1c2026-10-14
R21-11rel:R21-11#c3ef8e1c2026-10-14
R22-11rel:R22-11#d3322d592026-10-14
R23-11rel:R23-11#d2073fde2026-10-14
R24-11rel:R24-11#2624b3cc2026-10-14
R25-11rel:R25-11#4595c1d52026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 crend [SWS_CORE_01979]

constexpr const_reverse_iterator crend () const noexcept;

As per corresponding usage in [views.span]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 464fedb451c3 来源未决问题（2）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

模板类 ara::core::Span（[SWS_CORE_01979]）的成员函数 crend 同步返回类型为 const_reverse_iterator 的常量反向迭代器。该函数需要引入头文件 ara/core/span.h，且不接收调用参数。根据规范，其行为遵循 [views.span] 中的标准用法。解释：返回的迭代器应该表示紧接在范围首个元素之前的理论位置，从而在反向迭代时用作终止条件。问题 Q-83d4ed4a6e68fb19 (未决)

错误处理与并发

该函数被声明为 noexcept，并被明确归类为 exception safe（[SWS_CORE_01979]）。调用不会引发异常，并且既不存在错误返回值，也不存在通过 DET 或 DEM 进行的特定错误记录。由于 crend 被定义为 constexpr，因此求值可以直接在编译时进行。作为纯 const 成员函数，它不会更改实例的状态；因此，对同一 Span 实例的并发读取访问在无需同步的情况下应该是线程安全的。问题 Q-d90bd6b4f01c8af6 (未决)

相互作用

ara::core::Span 中 crend 的行为无缝融入 ara::core 的序列和容器接口中：

ara::core::Array（[SWS_CORE_01261]）和 ara::core::StringView（[SWS_CORE_02127]）提供相同的签名，同样声明为 constexpr 和 noexcept。
ara::core::Vector（[SWS_CORE_01343]）、ara::core::Map（[SWS_CORE_01451]）和 ara::core::BasicString（[SWS_CORE_03050]）为动态容器提供类似的 const_reverse_iterator 端点。

本使用说明由 AI 基于 AUTOSAR R25-11 规范生成。

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01979
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01979@rel:R25-11#6ae69520
Content hash: 6ae69520
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01979

Status: valid/unmigrated Version: rel:R25-11#6a811c86 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01979@rel:R25-11#6a811c86

Recorded Revisions (8):

R25-11rel:R25-11#e0769a9f2026-09-30
R19-11rel:R19-11#25fe73fe2026-10-14
R20-11rel:R20-11#fce767802026-10-14
R21-11rel:R21-11#fce767802026-10-14
R22-11rel:R22-11#139854fb2026-10-14
R23-11rel:R23-11#8006d3b72026-10-14
R24-11rel:R24-11#ec7485ca2026-10-14
R25-11rel:R25-11#6a811c862026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 data [SWS_CORE_01971]

constexpr pointer data () const noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01971
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01971@rel:R25-11#00c4384a
Content hash: 00c4384a
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01971

Status: valid/unmigrated Version: rel:R25-11#7097fdc8 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01971@rel:R25-11#7097fdc8

Recorded Revisions (8):

R25-11rel:R25-11#d8001abc2026-09-30
R19-11rel:R19-11#529da77c2026-10-14
R20-11rel:R20-11#a9a198042026-10-14
R21-11rel:R21-11#a9a198042026-10-14
R22-11rel:R22-11#c6d87f642026-10-14
R23-11rel:R23-11#bac3a40a2026-10-14
R24-11rel:R24-11#a69808352026-10-14
R25-11rel:R25-11#7097fdc82026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 empty [SWS_CORE_01969]

constexpr bool empty () const noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01969
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01969@rel:R25-11#5e12a566
Content hash: 5e12a566
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01969

Status: valid/unmigrated Version: rel:R25-11#152c94d4 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01969@rel:R25-11#152c94d4

Recorded Revisions (8):

R25-11rel:R25-11#28a9dd802026-09-30
R19-11rel:R19-11#a83137f42026-10-14
R20-11rel:R20-11#ebd5dd652026-10-14
R21-11rel:R21-11#ebd5dd652026-10-14
R22-11rel:R22-11#195bad372026-10-14
R23-11rel:R23-11#9ee552e42026-10-14
R24-11rel:R24-11#c87eb0f22026-10-14
R25-11rel:R25-11#152c94d42026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 end [SWS_CORE_01973]

constexpr iterator end () const noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01973
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01973@rel:R25-11#af3060d1
Content hash: af3060d1
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01973

Status: valid/unmigrated Version: rel:R25-11#3c49d49b Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01973@rel:R25-11#3c49d49b

Recorded Revisions (8):

R25-11rel:R25-11#e1a89ad92026-09-30
R19-11rel:R19-11#e65fd1772026-10-14
R20-11rel:R20-11#53f8ed9e2026-10-14
R21-11rel:R21-11#763f19742026-10-14
R22-11rel:R22-11#c222a1c22026-10-14
R23-11rel:R23-11#0fc6aa732026-10-14
R24-11rel:R24-11#431cfbcc2026-10-14
R25-11rel:R25-11#3c49d49b2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 first [SWS_CORE_01961]

template <std::size_t Count> constexpr Span< element_type, Count > first () const noexcept;

As per corresponding usage in [views.span]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： daa0dd011e1e 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类ara::core::Span的模板成员函数first<Count>()同步创建当前span的前Count个元素的新子范围，并将其作为ara::core::Span<element_type, Count>返回[SWS_CORE_01961]。该函数在头文件ara/core/span.h中声明，并被指定为constexpr以及const noexcept [SWS_CORE_01961]。

在错误处理方面，该函数被归类为异常安全（exception safe）且不抛出异常[SWS_CORE_01961]。未定义具体的错误码、错误返回值或向DET或DEM发送的报告。但存在一项约束性前置条件：当模板参数Count大于span的运行时大小时，行为未定义（Count > size()）[SWS_CORE_01961]。因此调用方必须确保存在足够的元素。

由于该方法被声明为const且不修改底层的Span对象，因此跨多个线程的并发读访问在没有额外锁的情况下预计是线程安全的（Interpretation）。问题 Q-215ae1cc00b7a590 (未决)如果span寻址的元素在此期间被其他线程更改，则必须对访问进行外部同步。

此文本由AI创建。所有专业信息均仅基于AUTOSAR R25-11规范。

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe
Undefiniertes Verhalten	The behavior of this function is undefined if: (Count > size())

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01961
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01961@rel:R25-11#62b9cee2
Content hash: 62b9cee2
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01961

Status: valid/unmigrated Version: rel:R25-11#613c36d2 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01961@rel:R25-11#613c36d2

Recorded Revisions (8):

R25-11rel:R25-11#ef4cd8532026-09-30
R19-11rel:R19-11#3ce97a632026-10-14
R20-11rel:R20-11#3f7de8442026-10-14
R21-11rel:R21-11#a1b1fd652026-10-14
R22-11rel:R22-11#fde971622026-10-14
R23-11rel:R23-11#69e3a4572026-10-14
R24-11rel:R24-11#571696722026-10-14
R25-11rel:R25-11#613c36d22026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 first [SWS_CORE_01962]

constexpr Span< element_type, dynamic_extent > first (size_type count) const noexcept;

As per corresponding usage in [views.span]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 2bb3b51c18a9 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

在 ara::core::Span 的实例上调用成员函数 first（通过头文件 ara/core/span.h 提供），以生成序列前几个元素的部分视图 [SWS_CORE_01962]。所需元素数量 count（类型为 size_type）作为参数传递 [SWS_CORE_01962]。返回值是一个映射相应前缀的 Span<element_type, dynamic_extent> [SWS_CORE_01962]。其行为遵循来自 C++ 标准的 [views.span] 语义 [SWS_CORE_01962]。通过声明为 constexpr 和 noexcept，该方法同步、无异常地工作，并可在编译时完成求值 [SWS_CORE_01962]。

错误处理与边界条件

该函数被规范为异常安全（exception safe）；未规定错误代码或特定错误消息（如 DET 或 DEM）[SWS_CORE_01962]。对调用方适用以下具有约束力的先决条件：

如果 count > size() 为真，则该函数的行为是未定义的（undefined behavior）[SWS_CORE_01962]。

因此，调用程序代码必须在调用前自行验证请求的元素数量未超过 span 的实际大小。

并发性与限制

作为常量成员函数（const），first 不会修改被调用的 span [SWS_CORE_01962]。关于线程安全性，规范未作说明；不过对同一 span 及其底层序列数据的并发读取访问应当是无危害的（推测）。问题 Q-8c3b51e54157dc12 (未决)如果引用的元素被其他线程同时修改，则需要外部同步。

本文由 AI 基于 AUTOSAR 规范 R25-11 生成。

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe
Undefiniertes Verhalten	The behavior of this function is undefined if: (count > size())

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01962
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01962@rel:R25-11#35d17045
Content hash: 35d17045
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01962

Status: valid/unmigrated Version: rel:R25-11#a1e003e8 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01962@rel:R25-11#a1e003e8

Recorded Revisions (8):

R25-11rel:R25-11#e12e0bf72026-09-30
R19-11rel:R19-11#d54c8b392026-10-14
R20-11rel:R20-11#8666e7d32026-10-14
R21-11rel:R21-11#7451cc002026-10-14
R22-11rel:R22-11#f242aca32026-10-14
R23-11rel:R23-11#ec8d11f72026-10-14
R24-11rel:R24-11#ea32c91a2026-10-14
R25-11rel:R25-11#a1e003e82026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 front [SWS_CORE_01959]

constexpr reference front () const noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01959
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01959@rel:R25-11#921241d3
Content hash: 921241d3
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01959

Status: valid/unmigrated Version: rel:R25-11#e23e2acd Versionshistorie & Revisions (1 transition, 6 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01959@rel:R25-11#e23e2acd

Recorded Revisions (6):

R25-11rel:R25-11#add91f072026-09-30
R21-11rel:R21-11#96b9faa22026-10-14
R22-11rel:R22-11#a2a4567c2026-10-14
R23-11rel:R23-11#7fb42b582026-10-14
R24-11rel:R24-11#921363272026-10-14
R25-11rel:R25-11#e23e2acd2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 last [SWS_CORE_01963]

template <std::size_t Count> constexpr Span< element_type, Count > last () const noexcept;

As per corresponding usage in [views.span]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 762c5c7c0428 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Span（头文件 #include "ara/core/span.h"）的模板成员函数 [SWS_CORE_01963] 同步提供底层序列最后 Count 个元素的部分视图。它遵循 [views.span] 的语义 [SWS_CORE_01963]。由于参数 Count 作为模板实参传递，生成的 Span 对象具有在编译时就已确定的静态长度（extent）。

该操作声明为 constexpr、const 以及 noexcept，并规范为异常安全（exception safe）[SWS_CORE_01963]。该函数未规定通过错误代码返回错误或向 DET 或 DEM 发送通知。但如果 Count > size() 为真，则属于未定义行为 [SWS_CORE_01963]。因此调用方在实例化或执行前必须确保当前 span 至少包含所需数量的元素。

关于并发性，规范未对线程安全性作出明确说明；作为无副作用的 const 方法，多个线程对同一 Span 实例的同时读取访问应当是无危害的，前提是内存中被引用的元素未被并发修改。问题 Q-120ccf3995c86b47 (未决)

在模块内部的协同配合中，该函数补充了重载 [SWS_CORE_01964]：本变体 [SWS_CORE_01963] 要求在编译时具有固定的 extent，而 [SWS_CORE_01964] 允许在运行时指定可变的元素数量，并返回具有动态长度的 Span（dynamic_extent）。

本文本由 AI 系统基于 AUTOSAR R25-11 的规范数据生成。

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe
Undefiniertes Verhalten	The behavior of this function is undefined if: (Count > size())

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01963
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01963@rel:R25-11#7d5b80f3
Content hash: 7d5b80f3
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01963

Status: valid/unmigrated Version: rel:R25-11#94e862b8 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01963@rel:R25-11#94e862b8

Recorded Revisions (8):

R25-11rel:R25-11#5f5f37b22026-09-30
R19-11rel:R19-11#a40c10d42026-10-14
R20-11rel:R20-11#1afd30c32026-10-14
R21-11rel:R21-11#968ebf2e2026-10-14
R22-11rel:R22-11#576af2a22026-10-14
R23-11rel:R23-11#b694a1ee2026-10-14
R24-11rel:R24-11#bb1245e92026-10-14
R25-11rel:R25-11#94e862b82026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 last [SWS_CORE_01964]

constexpr Span< element_type, dynamic_extent > last (size_type count) const noexcept;

As per corresponding usage in [views.span]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： f839f8230576 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

类 ara::core::Span 的成员函数 last 创建一个子视图（Subspan），该视图包含当前序列的最后 count 个元素 [SWS_CORE_01964]。该调用同步进行并返回一个 Span<element_type, dynamic_extent> [SWS_CORE_01964]。由于该函数被声明为 constexpr 和 noexcept，它也可以在编译时求值，并保证完全的异常安全性（exception safe）[SWS_CORE_01964]。

错误处理与边界条件

该函数不抛出异常。如果实参 count 超出实际存在的元素数量（count > size()），则属于错误调用；在此情况下其行为是未定义的 [SWS_CORE_01964]。因此，调用方在传递动态值之前必须确保所需的元素数量处于有效范围内。

并发性与交互

由于 last 代表 Span 实例上的无状态读取操作，只要底层序列元素未被修改，通过同一 Span 进行的并发调用推测是非关键的。问题 Q-ec2beaa99d9627c0 (未决)与静态确定大小的模板变体 last<Count>() [SWS_CORE_01963] 不同，此重载在运行时确定长度。新创建的序列（例如通过 MakeSpan [SWS_CORE_01991]）可以藉此灵活缩减为其后缀。

此使用说明由系统自动创建。所有信息均基于 AUTOSAR Adaptive Core R25-11 规范。

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe
Undefiniertes Verhalten	The behavior of this function is undefined if: (count > size())

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01964
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01964@rel:R25-11#6d162724
Content hash: 6d162724
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01964

Status: valid/unmigrated Version: rel:R25-11#5240a259 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01964@rel:R25-11#5240a259

Recorded Revisions (8):

R25-11rel:R25-11#f88ca9332026-09-30
R19-11rel:R19-11#e87fb6252026-10-14
R20-11rel:R20-11#541ce48e2026-10-14
R21-11rel:R21-11#d1394a242026-10-14
R22-11rel:R22-11#40d0eced2026-10-14
R23-11rel:R23-11#ecceac812026-10-14
R24-11rel:R24-11#ac538d672026-10-14
R25-11rel:R25-11#5240a2592026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 operator= [SWS_CORE_01952]

constexpr Span & operator= (const Span &other) noexcept=default;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01952
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01952@rel:R25-11#a9078b87
Content hash: a9078b87
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01952

Status: valid/unmigrated Version: rel:R25-11#0bde509c Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01952@rel:R25-11#0bde509c

Recorded Revisions (8):

R25-11rel:R25-11#94ca908d2026-09-30
R19-11rel:R19-11#73f3df002026-10-14
R20-11rel:R20-11#cf0d649f2026-10-14
R21-11rel:R21-11#143cc26b2026-10-14
R22-11rel:R22-11#a86b03042026-10-14
R23-11rel:R23-11#fee19dd82026-10-14
R24-11rel:R24-11#c296f7ce2026-10-14
R25-11rel:R25-11#0bde509c2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 operator[] [SWS_CORE_01970]

constexpr reference operator[] (size_type idx) const noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01970
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01970@rel:R25-11#31c34d73
Content hash: 31c34d73
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01970

Status: valid/unmigrated Version: rel:R25-11#255ead75 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01970@rel:R25-11#255ead75

Recorded Revisions (8):

R25-11rel:R25-11#01ea51d62026-09-30
R19-11rel:R19-11#177033912026-10-14
R20-11rel:R20-11#e1fb295a2026-10-14
R21-11rel:R21-11#2a7e7e082026-10-14
R22-11rel:R22-11#7a7c10b02026-10-14
R23-11rel:R23-11#69c742892026-10-14
R24-11rel:R24-11#5b0094282026-10-14
R25-11rel:R25-11#255ead752026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 rbegin [SWS_CORE_01976]

constexpr reverse_iterator rbegin () const noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01976
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01976@rel:R25-11#b1168510
Content hash: b1168510
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01976

Status: valid/unmigrated Version: rel:R25-11#e5bf1b03 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01976@rel:R25-11#e5bf1b03

Recorded Revisions (8):

R25-11rel:R25-11#252fbf832026-09-30
R19-11rel:R19-11#3ac8b1342026-10-14
R20-11rel:R20-11#7efc2b0b2026-10-14
R21-11rel:R21-11#7efc2b0b2026-10-14
R22-11rel:R22-11#704d7bfe2026-10-14
R23-11rel:R23-11#a7230e382026-10-14
R24-11rel:R24-11#7b91e7572026-10-14
R25-11rel:R25-11#e5bf1b032026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 rend [SWS_CORE_01977]

constexpr reverse_iterator rend () const noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01977
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01977@rel:R25-11#60d9af4c
Content hash: 60d9af4c
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01977

Status: valid/unmigrated Version: rel:R25-11#429cfc83 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01977@rel:R25-11#429cfc83

Recorded Revisions (8):

R25-11rel:R25-11#33a60fd12026-09-30
R19-11rel:R19-11#d1b6711f2026-10-14
R20-11rel:R20-11#0cdc53702026-10-14
R21-11rel:R21-11#ba64cf052026-10-14
R22-11rel:R22-11#4837d2332026-10-14
R23-11rel:R23-11#ce6519492026-10-14
R24-11rel:R24-11#7144fcd12026-10-14
R25-11rel:R25-11#429cfc832026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 size [SWS_CORE_01967]

constexpr size_type size () const noexcept;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01967
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01967@rel:R25-11#6102c3f1
Content hash: 6102c3f1
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01967

Status: valid/unmigrated Version: rel:R25-11#3266b9dc Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01967@rel:R25-11#3266b9dc

Recorded Revisions (8):

R25-11rel:R25-11#a2387d202026-09-30
R19-11rel:R19-11#049324202026-10-14
R20-11rel:R20-11#210db98b2026-10-14
R21-11rel:R21-11#37d526d72026-10-14
R22-11rel:R22-11#59681e982026-10-14
R23-11rel:R23-11#89b56ef42026-10-14
R24-11rel:R24-11#f39031d82026-10-14
R25-11rel:R25-11#3266b9dc2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 size_bytes [SWS_CORE_01968]

constexpr size_type size_bytes () const noexcept;

As per corresponding usage in [views.span]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： 3b4cbcd12a0e 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类ara::core::Span的成员函数size_bytes返回引用的内存区域的总大小（以字节为单位）[SWS_CORE_01968]。其语义符合标准C++中根据[views.span]的定义[SWS_CORE_01968]。

使用

该函数在ara::core::Span的现有实例上同步调用，并且需要包含头文件ara/core/span.h [SWS_CORE_01968]：

调用上下文与参数：该方法无参数且被声明为const，因此不改变span的状态[SWS_CORE_01968]。通过标记为constexpr，只要底层上下文允许，该值即可在编译时求值[SWS_CORE_01968]。
返回值：返回一个size_type类型的值，表示所展示内存的字节大小[SWS_CORE_01968]。

错误处理与异常安全性

该函数被声明为noexcept并指定了exception safe保证级别[SWS_CORE_01968]。不出现C++异常且不返回错误码[SWS_CORE_01968]。

并发性与限制

由于size_bytes是无副作用的纯读操作（const），只要引用的Span对象未被同时修改，从多个线程跨同一实例进行并发调用是非关键的（Interpretation：const方法的标准线程安全性）[SWS_CORE_01968]。问题 Q-ea768d4f6fa1d12f (未决)

本使用说明基于 AUTOSAR 规范 R25-11 自动生成。

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01968
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01968@rel:R25-11#c85d97ce
Content hash: c85d97ce
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01968

Status: valid/unmigrated Version: rel:R25-11#1e3257d2 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01968@rel:R25-11#1e3257d2

Recorded Revisions (8):

R25-11rel:R25-11#eb1b72872026-09-30
R19-11rel:R19-11#d29f19712026-10-14
R20-11rel:R20-11#af3d2b052026-10-14
R21-11rel:R21-11#8256fdf12026-10-14
R22-11rel:R22-11#b53de1c12026-10-14
R23-11rel:R23-11#b8cab4812026-10-14
R24-11rel:R24-11#c3fee9512026-10-14
R25-11rel:R25-11#1e3257d22026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 subspan [SWS_CORE_01965]

template <std::size_t Offset, std::size_t Count = dynamic_extent> constexpr auto subspan () const noexcept -> Span< element_type, {<extent-or-dynamicextent>} >;

As per corresponding usage in [views.span]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： dca812068dbf 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

类 ara::core::Span 的成员函数 subspan 创建现有 span 的部分视图（[SWS_CORE_01965]）。起始位置以及元素数量通过模板参数 Offset 和 Count 在编译时静态确定；Count 默认设置为 dynamic_extent。调用为同步调用，声明为 constexpr 及 noexcept，并视为异常安全（[SWS_CORE_01965]）。

在行为方面，规范参考了 C++ 标准构造 [views.span]（[SWS_CORE_01965]）。与边界错误会明确导致未定义行为的运行时重载函数 [SWS_CORE_01966] 不同，此处的检查主要在编译时进行。推测：在元素数量静态已知的情况下，超出 Offset 或 Count 的边界大概率会导致编译错误。问题 Q-c1b2dd93177fb266 (未决)

该函数通过头文件 #include "ara/core/span.h" 提供（[SWS_CORE_01965]）。它补充了互补重载 [SWS_CORE_01966]，用于子范围在编译时已确定的场景。由于 subspan 是常量成员函数，只要被引用的内存元素未被并发修改，对同一源对象的并发读取访问就是无危害的。

本使用说明基于 AUTOSAR Adaptive R25-11 规范自动生成。

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01965
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01965@rel:R25-11#d1576a88
Content hash: d1576a88
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01965

Status: valid/unmigrated Version: rel:R25-11#8b2fe73c Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01965@rel:R25-11#8b2fe73c

Recorded Revisions (8):

R25-11rel:R25-11#3d0009602026-09-30
R19-11rel:R19-11#c93748622026-10-14
R20-11rel:R20-11#252f9fc62026-10-14
R21-11rel:R21-11#b9a6f9c52026-10-14
R22-11rel:R22-11#398c01092026-10-14
R23-11rel:R23-11#defb1ddf2026-10-14
R24-11rel:R24-11#88c4cde62026-10-14
R25-11rel:R25-11#8b2fe73c2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 subspan [SWS_CORE_01966]

constexpr Span< element_type, dynamic_extent > subspan (size_type offset, size_type count=dynamic_extent) const noexcept;

As per corresponding usage in [views.span]

AI 生成未审核模型： gemini-3.8-flash-medium · 推理强度： medium · 温度：不可控 · 提示词： a68a8b4ea86a 来源未决问题（1）

译自德文指南gemini-3.8-flash-low · 2026-10-13 · 德文原文

使用

ara::core::Span（[SWS_CORE_01966]）的成员函数 subspan 创建底层数据上的子视图（Subspan）。它通过头文件 ara/core/span.h 包含。它接受偏移量（offset）以及可选的元素数量（count）作为参数，元素数量默认为 dynamic_extent。当传入 count == dynamic_extent 时，所创建的子视图推测包含从指定偏移量开始的所有剩余元素。问题 Q-f300852e8a1a87c8 (未决)该函数被声明为 constexpr 以及 noexcept，且根据规范被视为异常安全（exception safe）。

错误处理与边界条件

该函数既不通过错误码也不通过 C++ 异常指示错误。相反，违反已定义的前置条件将直接导致未定义行为（[SWS_CORE_01966]）。仅当满足以下条件时，调用才是已定义的：

offset <= size() && (count == dynamic_extent || count <= size() - offset)

调用方在调用前必须自行验证这些范围边界，以排除运行时的未定义行为。

相互作用

与在编译时即通过模板参数绑定偏移量和元素数量的模板变体 [SWS_CORE_01965] 相反，[SWS_CORE_01966] 允许动态传递运行时值。它始终返回 Span<element_type, dynamic_extent> 的实例作为返回类型。

本文本由 AI 生成，并基于 AUTOSAR 规范作为参考指南。

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe
Undefiniertes Verhalten	The behavior of this function is undefined unless: (offset <= size() && (count == dynamic_extent \|\| count <= size() - offset)) == true

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01966
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01966@rel:R25-11#86f3d43d
Content hash: 86f3d43d
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01966

Status: valid/unmigrated Version: rel:R25-11#82eea2ec Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01966@rel:R25-11#82eea2ec

Recorded Revisions (8):

R25-11rel:R25-11#ada845042026-09-30
R19-11rel:R19-11#fcd029562026-10-14
R20-11rel:R20-11#dc46e1552026-10-14
R21-11rel:R21-11#f8d725f12026-10-14
R22-11rel:R22-11#c9fa58d62026-10-14
R23-11rel:R23-11#cffcb6ab2026-10-14
R24-11rel:R24-11#83813bc32026-10-14
R25-11rel:R25-11#82eea2ec2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

函数 ~Span [SWS_CORE_01951]

~Span () noexcept=default;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Exception-Sicherheit	exception safe

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01951
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01951@rel:R25-11#fbb3b55d
Content hash: fbb3b55d
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01951

Status: valid/unmigrated Version: rel:R25-11#0e6602ff Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01951@rel:R25-11#0e6602ff

Recorded Revisions (8):

R25-11rel:R25-11#7bd10f9f2026-09-30
R19-11rel:R19-11#7399143b2026-10-14
R20-11rel:R20-11#396e011e2026-10-14
R21-11rel:R21-11#396e011e2026-10-14
R22-11rel:R22-11#59ee64f92026-10-14
R23-11rel:R23-11#6b6deb6e2026-10-14
R24-11rel:R24-11#f00f46e42026-10-14
R25-11rel:R25-11#0e6602ff2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名文档

类型别名 const_iterator [SWS_CORE_01918]

using const_iterator = {<const-iterator-type>};

As per corresponding usage in [views.span] Implementation {<const-iterator-type>} shall be an implementation-defined type

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Symbol	const_iterator

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01918
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01918@rel:R25-11#957935cc
Content hash: 957935cc
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01918

Status: valid/unmigrated Version: rel:R25-11#8ffe9b04 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01918@rel:R25-11#8ffe9b04

Recorded Revisions (8):

R25-11rel:R25-11#680271912026-09-30
R19-11rel:R19-11#6ec053442026-10-14
R20-11rel:R20-11#f8f6e5442026-10-14
R21-11rel:R21-11#30fd40c02026-10-14
R22-11rel:R22-11#6c1175a92026-10-14
R23-11rel:R23-11#02c217522026-10-14
R24-11rel:R24-11#02c217522026-10-14
R25-11rel:R25-11#8ffe9b042026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 const_pointer [SWS_CORE_01922]

using const_pointer = const element_type*;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Symbol	const_pointer

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01922
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01922@rel:R25-11#0aacbcc3
Content hash: 0aacbcc3
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01922

Status: valid/unmigrated Version: rel:R25-11#93e52d53 Versionshistorie & Revisions (1 transition, 6 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01922@rel:R25-11#93e52d53

Recorded Revisions (6):

R25-11rel:R25-11#fa7b04242026-09-30
R21-11rel:R21-11#836661ee2026-10-14
R22-11rel:R22-11#9db80d252026-10-14
R23-11rel:R23-11#1769e5f72026-10-14
R24-11rel:R24-11#1769e5f72026-10-14
R25-11rel:R25-11#93e52d532026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 const_reference [SWS_CORE_01923]

using const_reference = const element_type&;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Symbol	const_reference

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01923
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01923@rel:R25-11#764bfde2
Content hash: 764bfde2
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01923

Status: valid/unmigrated Version: rel:R25-11#8bd7f8c2 Versionshistorie & Revisions (1 transition, 6 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01923@rel:R25-11#8bd7f8c2

Recorded Revisions (6):

R25-11rel:R25-11#6d53f5072026-09-30
R21-11rel:R21-11#395db8282026-10-14
R22-11rel:R22-11#1f3c879d2026-10-14
R23-11rel:R23-11#4cb674a72026-10-14
R24-11rel:R24-11#4cb674a72026-10-14
R25-11rel:R25-11#8bd7f8c22026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 const_reverse_iterator [SWS_CORE_01920]

using const_reverse_iterator = std::reverse_iterator<const_iterator>;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Symbol	const_reverse_iterator

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01920
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01920@rel:R25-11#8c62523e
Content hash: 8c62523e
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01920

Status: valid/unmigrated Version: rel:R25-11#237e2b18 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01920@rel:R25-11#237e2b18

Recorded Revisions (8):

R25-11rel:R25-11#aeac178d2026-09-30
R19-11rel:R19-11#43b6c37e2026-10-14
R20-11rel:R20-11#3a3450102026-10-14
R21-11rel:R21-11#3a3450102026-10-14
R22-11rel:R22-11#e190315a2026-10-14
R23-11rel:R23-11#56c99f782026-10-14
R24-11rel:R24-11#56c99f782026-10-14
R25-11rel:R25-11#237e2b182026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 difference_type [SWS_CORE_01914]

using difference_type = std::ptrdiff_t;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Symbol	difference_type

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01914
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01914@rel:R25-11#ae30cc8b
Content hash: ae30cc8b
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01914

Status: valid/unmigrated Version: rel:R25-11#82a995e1 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01914@rel:R25-11#82a995e1

Recorded Revisions (8):

R25-11rel:R25-11#e56dbe6a2026-09-30
R19-11rel:R19-11#b82fd4112026-10-14
R20-11rel:R20-11#c5514b5e2026-10-14
R21-11rel:R21-11#c5514b5e2026-10-14
R22-11rel:R22-11#dfd0709c2026-10-14
R23-11rel:R23-11#1a9b11902026-10-14
R24-11rel:R24-11#1a9b11902026-10-14
R25-11rel:R25-11#82a995e12026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 element_type [SWS_CORE_01911]

using element_type = T;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Symbol	element_type

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01911
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01911@rel:R25-11#5682eb4c
Content hash: 5682eb4c
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01911

Status: valid/unmigrated Version: rel:R25-11#be4b598e Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01911@rel:R25-11#be4b598e

Recorded Revisions (8):

R25-11rel:R25-11#b092d7722026-09-30
R19-11rel:R19-11#485cd3302026-10-14
R20-11rel:R20-11#a7afcde52026-10-14
R21-11rel:R21-11#a7afcde52026-10-14
R22-11rel:R22-11#bdadbc842026-10-14
R23-11rel:R23-11#8ed143832026-10-14
R24-11rel:R24-11#8ed143832026-10-14
R25-11rel:R25-11#be4b598e2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 iterator [SWS_CORE_01917]

using iterator = {<iterator-type>};

As per corresponding usage in [views.span] Implementation {<iterator-type>} shall be an implementation-defined type

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Symbol	iterator

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01917
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01917@rel:R25-11#b2382c07
Content hash: b2382c07
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01917

Status: valid/unmigrated Version: rel:R25-11#3c985a61 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01917@rel:R25-11#3c985a61

Recorded Revisions (8):

R25-11rel:R25-11#dc35ecc12026-09-30
R19-11rel:R19-11#29d26e9e2026-10-14
R20-11rel:R20-11#d59262c82026-10-14
R21-11rel:R21-11#9925cd1e2026-10-14
R22-11rel:R22-11#1ec11c482026-10-14
R23-11rel:R23-11#ddfa05432026-10-14
R24-11rel:R24-11#ddfa05432026-10-14
R25-11rel:R25-11#3c985a612026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 pointer [SWS_CORE_01915]

using pointer = element_type*;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Symbol	pointer

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01915
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01915@rel:R25-11#45bf1e5f
Content hash: 45bf1e5f
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01915

Status: valid/unmigrated Version: rel:R25-11#c42ac2d0 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01915@rel:R25-11#c42ac2d0

Recorded Revisions (8):

R25-11rel:R25-11#8c546ae62026-09-30
R19-11rel:R19-11#43c0e9f32026-10-14
R20-11rel:R20-11#fca8a2822026-10-14
R21-11rel:R21-11#fca8a2822026-10-14
R22-11rel:R22-11#2093d6782026-10-14
R23-11rel:R23-11#1bdd118c2026-10-14
R24-11rel:R24-11#1bdd118c2026-10-14
R25-11rel:R25-11#c42ac2d02026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 reference [SWS_CORE_01916]

using reference = element_type&;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Symbol	reference

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01916
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01916@rel:R25-11#61e1c40e
Content hash: 61e1c40e
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01916

Status: valid/unmigrated Version: rel:R25-11#8e51d10f Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01916@rel:R25-11#8e51d10f

Recorded Revisions (8):

R25-11rel:R25-11#2029008f2026-09-30
R19-11rel:R19-11#4bccd5792026-10-14
R20-11rel:R20-11#f92ddfe82026-10-14
R21-11rel:R21-11#a3a2d5582026-10-14
R22-11rel:R22-11#4ec58f262026-10-14
R23-11rel:R23-11#0c8f38502026-10-14
R24-11rel:R24-11#0c8f38502026-10-14
R25-11rel:R25-11#8e51d10f2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 reverse_iterator [SWS_CORE_01919]

using reverse_iterator = std::reverse_iterator<iterator>;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Symbol	reverse_iterator

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01919
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01919@rel:R25-11#478cab92
Content hash: 478cab92
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01919

Status: valid/unmigrated Version: rel:R25-11#a00ec495 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01919@rel:R25-11#a00ec495

Recorded Revisions (8):

R25-11rel:R25-11#c49f89552026-09-30
R19-11rel:R19-11#3fb61e9f2026-10-14
R20-11rel:R20-11#0bc5cd752026-10-14
R21-11rel:R21-11#4b77cd442026-10-14
R22-11rel:R22-11#0c69839c2026-10-14
R23-11rel:R23-11#4b44feff2026-10-14
R24-11rel:R24-11#4b44feff2026-10-14
R25-11rel:R25-11#a00ec4952026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 size_type [SWS_CORE_01921]

using size_type = std::size_t;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Symbol	size_type

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01921
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01921@rel:R25-11#e1c3f030
Content hash: e1c3f030
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01921

Status: valid/unmigrated Version: rel:R25-11#e03a38c5 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01921@rel:R25-11#e03a38c5

Recorded Revisions (8):

R25-11rel:R25-11#e5981ff52026-09-30
R19-11rel:R19-11#472b92db2026-10-14
R20-11rel:R20-11#8d240a092026-10-14
R21-11rel:R21-11#e2cbf58a2026-10-14
R22-11rel:R22-11#f021463c2026-10-14
R23-11rel:R23-11#a59888582026-10-14
R24-11rel:R24-11#a59888582026-10-14
R25-11rel:R25-11#e03a38c52026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类型别名 value_type [SWS_CORE_01912]

using value_type = typename std::remove_cv<element_type>::type;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Symbol	value_type

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01912
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01912@rel:R25-11#c5a5dedd
Content hash: c5a5dedd
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01912

Status: valid/unmigrated Version: rel:R25-11#cd75ccba Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01912@rel:R25-11#cd75ccba

Recorded Revisions (8):

R25-11rel:R25-11#398991b02026-09-30
R19-11rel:R19-11#701007db2026-10-14
R20-11rel:R20-11#21d696082026-10-14
R21-11rel:R21-11#1765d8772026-10-14
R22-11rel:R22-11#024e43b12026-10-14
R23-11rel:R23-11#82f1e6be2026-10-14
R24-11rel:R24-11#82f1e6be2026-10-14
R25-11rel:R25-11#cd75ccba2026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

常量 / 变量文档

变量 extent [SWS_CORE_01931]

static constexpr size_type extent = Extent;

As per corresponding usage in [views.span]

Header-Datei	#include "ara/core/span.h"
Scope	class ara::core::Span
Symbol	extent
Typ	size_type

Request a governed re-review of this record. The record is not changed immediately.

Record: AUTOSAR/AP/record/SWS_CORE_01931
Status: valid/unmigrated
Version: AUTOSAR/AP/record/SWS_CORE_01931@rel:R25-11#6ca5f349
Content hash: 6ca5f349
Source: https://www.autosar.org/fileadmin/standards/R25-11/AP/AUTOSAR_AP_SWS_Core.pdf#nameddest=SWS_CORE_01931

Status: valid/unmigrated Version: rel:R25-11#b5c8eab4 Versionshistorie & Revisions (1 transition, 8 revision)

Current State: valid/unmigrated
Reason: mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record
Campaign: 2026-08-13-status-backfill
Active Version: AUTOSAR/AP/record/SWS_CORE_01931@rel:R25-11#b5c8eab4

Recorded Revisions (8):

R25-11rel:R25-11#bc6e8bc12026-09-30
R19-11rel:R19-11#c13871f02026-10-14
R20-11rel:R20-11#ff19e4ff2026-10-14
R21-11rel:R21-11#8a9ae5822026-10-14
R22-11rel:R22-11#3fa38d202026-10-14
R23-11rel:R23-11#54845ba52026-10-14
R24-11rel:R24-11#54845ba52026-10-14
R25-11rel:R25-11#b5c8eab42026-10-14 active

Date	Actor	Transition	Reason / Rationale	Campaign
2026-08-13	tool	`none` → `valid/unmigrated`	mechanically backfilled by migriere_status_backfill.py -- no per-field curation history exists yet for this record	2026-08-13-status-backfill

类 ara::core::Span

用户指南人工智能生成

上下文

生命周期

使用路径

错误场景

成员图

构造函数和析构函数

方法

运算符

类型别名

常量

类图

详细视图

构造函数和析构函数

方法

运算符

类型别名

常量

方法文档

函数 Span [SWS_CORE_01941]

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Span [SWS_CORE_01942]

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Span [SWS_CORE_01943]

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Span [SWS_CORE_01944]

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Span [SWS_CORE_01945]

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Span [SWS_CORE_01946]

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Span [SWS_CORE_01947]

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Span [SWS_CORE_01948]

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Span [SWS_CORE_01949]

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 Span [SWS_CORE_01950]

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 back [SWS_CORE_01960]

Recorded Revisions (6):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents:

函数 begin [SWS_CORE_01972]

Recorded Revisions (8):

Requirement Text as-of this release:

Curation Decisions:

Reachable Artifacts & Dependents: