C++ 具名要求：访问器策略(AccessorPolicy) (C++23 起)

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

C++ 具名要求

基础 DefaultConstructible MoveConstructible (C++11) CopyConstructible CopyAssignable MoveAssignable (C++11) Destructible 类型属性 ScalarType PODType TriviallyCopyable (C++11) TrivialType (C++11) StandardLayoutType (C++11)   ImplicitLifetimeType 全库范围 BooleanTestable EqualityComparable LessThanComparable Swappable ValueSwappable (C++11) NullablePointer (C++11) Hash (C++11) Allocator FunctionObject Callable Predicate BinaryPredicate Compare

容器 Container ReversibleContainer AllocatorAwareContainer SequenceContainer ContiguousContainer (C++17) AssociativeContainer UnorderedAssociativeContainer (C++11)   容器元素 DefaultInsertable (C++11) CopyInsertable (C++11) MoveInsertable (C++11) EmplaceConstructible (C++11) Erasable (C++11) 迭代器 LegacyIterator LegacyInputIterator LegacyOutputIterator LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator LegacyContiguousIterator (C++17) ConstexprIterator (C++20) 流 I/O FormattedInputFunction UnformattedInputFunction FormattedOutputFunction UnformattedOutputFunction 格式化器 BasicFormatter (C++20) Formatter (C++20)

随机数 SeedSequence (C++11) RandomNumberEngine (C++11) RandomNumberDistribution (C++11) UniformRandomBitGenerator (C++11) RandomNumberEngineAdaptor (C++11) 并发 BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11) SharedLockable (C++14) SharedTimedLockable (C++14) Mutex (C++11) TimedMutex (C++11) SharedMutex (C++17) SharedTimedMutex (C++14) 范围 RangeAdaptorObject (C++20) RangeAdaptorClosureObject (C++20) 多维视图 LayoutMapping (C++23) LayoutMappingPolicy (C++23) AccessorPolicy (C++23) 其他 CharTraits RegexTraits (C++11)   BitmaskType LiteralType (C++11) NumericType UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11) Clock (C++11) TrivialClock (C++11)

 

访问器策略(AccessorPolicy) 定义了从给定的指向元素的数据把柄和一个索引，如何访问元素。它被用作 std::mdspan 的一项策略，以指定如何使用底层一维索引访问元素的引用。

要求

如果类型 A 实现了 copyable，并且以下各项均为 true，那么它满足访问器策略(AccessorPolicy) ：

• std::is_nothrow_move_constructible_v<A>
• std::is_nothrow_move_assignable_v<A>
• std::is_nothrow_swappable_v<A>

而且，给定下列类型和值，下表中展示的各表达式均有效并具有指定的语义：

凡例

类型	定义
A	访问器策略类型
OP	偏移策略类型
值	定义
a	（可有 const 限定的）A 类型的值
p	（可有 const 限定的）A::data_handle_type 类型的值
i, j, n	std::size_t 类型的值

成员类型

类型	定义	要求
A::element_type	未指定	并非抽象类类型的完整对象类型
A::data_handle_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	未指定	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)，并且对于满足 [​0​, n) 是 p 和 a 的可访问范围（见下文）的任意整数 n： [​0​, n - i) 是 q 和 b 的可访问范围；并且 对于范围 [​0​, n - i) 中的每个 j，b.access(q, j) 提供到与 a.access(p, i + j) 相同元素的访问。 该表达式保持相等性。

可访问范围

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

标准库

下列标准库类型满足访问器策略(AccessorPolicy) ：

default_accessor (C++23)	指示索引访问 mdspan 元素的方式的类型 (类模板)
aligned_accessor (C++26)	提供按对齐访问 mdspan 成员的类型 (类模板)
在命名空间 std::linalg 定义
scaled_accessor (C++26)	std::mdspan 访问器策略，其引用表示一个固定缩放因数和其嵌套 std::mdspan 访问器的引用的乘积 (类模板)
conjugated_accessor (C++26)	std::mdspan 访问器策略，其引用代表的是其嵌套 std::mdspan 访问器的引用的复共轭 (类模板)