C++ 命名要求： LayoutMapping (自 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 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) Iterator 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)

 

LayoutMapping 控制多维索引到 std::mdspan 中数据句柄的一维偏移的映射。

要求

如果类型 M 建模 copyable 和 equality_comparable，并且以下条件为 true，则类型 M 满足 LayoutMapping

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

并且，给定以下类型和值，下表所示的表达式有效并具有指示的语义

图例

类型	定义
M	布局映射类
值	定义
m	类型为（可能带有 const 限定符）M 的值
i, j	（可能带有 const 限定符）整数包，它们是 m.extents() 中的多维索引
r	typename M​::​extents_type 的（可能带有 const 限定符）秩索引
d_r	（可能带有 const 限定符）整数包，对于它 sizeof...(d_r) == M​::​extents_type​::​rank() 为 true，秩索引 r 处的元素等于 1，所有其他元素都等于 ​0​

成员类型

名称	类型	要求
M::extents_type	类模板 std::extents 的特化
M::index_type	typename M::extents_type::index_type
M::rank_type	typename M::extents_type::rank_type
M::layout_type	布局映射策略 MP，其中 typename MP::template mapping<E> 是 M 对于某些范围类型 E	LayoutMappingPolicy，对于它 M 是 MP 的映射类型

成员函数和运算符

表达式	返回类型	语义
m.extents()	const typename M​::​extents_type&	返回对关联的多维索引空间的常量引用
m(i...)	typename M​::​index_type	返回一个非负整数 o，使得 o < std::numeric_limits<typename M​::​index_type>​::​max() 和 o <= std::numeric_limits<std::size_t>​::​max() 都为 true。 此表达式等效于 m(static_cast<typename M::index_type>(i)...)。
m.required_span_size()	typename M​::​index_type	如果多维索引空间 m.extents() 的大小不为 0，则返回 1 加上所有 i 的 m(i...) 的最大值。 否则，返回 ​0​。
m.is_unique()	bool	仅当对于每个 i 和 j，其中 (i != j || ...) 为 true 时，m(i...) != m(j...) 为 true 时，返回 true。
m.is_exhaustive()	bool	仅当对于范围 [​0​, m.required_span_size()) 中的所有 k，都存在 i 使得 m(i...) 等于 k 时，返回 true。
m.is_strided()	bool	仅当对于 m.extents() 的每个秩索引 r，都存在一个整数 s_r，使得对于所有 i，其中 (i + d_r) 是 m.extents() 中的多维索引，m((i + d_r)...) - m(i...) 等于 s_r 时，返回 true。
m.stride(r)	typename M​::​index_type	前提条件是 m.is_strided() 为 true。 返回秩索引 r 处的步幅 s_r，如上面的 m.is_strided() 中定义的那样。
M::is_always_unique()	bool	仅当对于类型 M 的所有可能对象 m，m.is_unique() 为 true 时，返回 true。 返回值始终是常量表达式。
M::is_always_exhaustive()	bool	仅当对于类型 M 的所有可能对象 m，m.is_exhaustive() 为 true 时，返回 true。 返回值始终是常量表达式。
M::is_always_strided()	bool	仅当对于类型 M 的所有可能对象 m，m.is_strided() 为 true 时，返回 true。 返回值始终是常量表达式。

概念

对于 std::layout_stride::mapping 下使用的约束，定义了以下仅用于演示的概念。

template< class M > concept /*layout-mapping-alike*/ = requires {     requires /*is-extents*/<typename M::extents_type>;     { M::is_always_strided() }    -> std::same_as<bool>;     { M::is_always_exhaustive() } -> std::same_as<bool>;     { M::is_always_unique() }     -> std::same_as<bool>;     std::bool_constant<M::is_always_strided()>::value;     std::bool_constant<M::is_always_exhaustive()>::value;     std::bool_constant<M::is_always_unique()>::value; };		（仅用于演示*）

定义 LayoutMapping 要求的最小可用性约束。此概念检查上述谓词映射特征函数是否存在、是否为常量表达式以及是否具有 bool 的返回类型。

/*is-extents*/<E> 当且仅当 E 是 std::extents 的特化时，为 true。

标准库

以下标准库类型满足 LayoutMapping 要求

mapping	layout_left 的布局映射 (std::layout_left 的公共成员类模板)
mapping	layout_right 的布局映射 (std::layout_right 的公共成员类模板)
mapping	layout_stride 的布局映射 (std::layout_stride 的公共成员类模板)
mapping	layout_left_padded 的布局映射 (std::layout_left_padded<PaddingValue> 的公共成员类模板)
mapping	layout_right_padded 的布局映射 (std::layout_right_padded<PaddingValue> 的公共成员类模板)

参见

• LayoutMappingPolicy