C++ 命名需求： AccessorPolicy (自 C++23 起)

AccessorPolicy 定义了如何从给定的数据句柄访问元素以及如何访问这些元素和索引。它在 std::mdspan 中用作策略，以指定使用底层 1D 索引访问元素的引用。

内容

如果类型 A 满足 AccessorPolicy，则它模拟 copyable，并且以下内容为 true

此外，给定以下类型和值，下表中显示的表达式有效且具有指示的语义。

类型	定义
`A`	访问器策略类型
`OP`	偏移策略类型
值	定义
a	类型（可能经过常量限定）`A` 的值
p	类型（可能经过常量限定）`A::data_handle_type` 的值
i, j, n	类型 std::size_t 的值

名称	类型	需求
`A::element_type`	(未指定)	一个完整的对象类型，不是抽象类类型
`A::data_handle_type`	(未指定) 但该类型不必是 element_type*	模拟 `copyable` 以下条件均为 true std::is_nothrow_move_constructible_v<typename A::data_handle_type> std::is_nothrow_move_assignable_v<typename A::data_handle_type> std::is_nothrow_swappable_v<typename A::data_handle_type>
`A::reference`	(未指定) 但该类型不必是 element_type&	std::common_reference_with<typename A::reference&&, typename A::element_type&> 为 true
`A::offset_policy`	`OP`	满足 AccessorPolicy 的要求 std::constructible_from<OP, const A&> 为 true typename OP::element_type 和 typename A::element_type 是相同类型

表达式	返回值类型	语义
a.access(p, i)	typename A::reference	该表达式是等式保持。
a.offset(p, i)	typename A::offset_policy::data_handle_type	一个值 q，这样对于 b 作为 A::offset_policy(a)，以及任何整数 n，对于其 `[`0`,` n`)` 是 p 和 a 的可访问范围^{[note 1]}。 `[`0`,` n - i`)` 是 q 和 b 的可访问范围；并且 b.access(q, j) 提供对与 a.access(p, i + j) 相同元素的访问，对于范围 `[`0`,` n - i`)` 中的每个 j。该表达式是等式保持。

↑ 对于给定的数据句柄和访问器，索引范围 [0, N) 是一个可访问范围，如果对于范围中的每个索引，access 成员函数都会生成对元素的有效引用。

(C++23)

用于对 mdspan 元素进行索引访问的类型
(类模板) [编辑]