C++ 具名要求：布局映射 (LayoutMapping) (C++23 起)

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

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)

 

布局映射 (LayoutMapping) 控制 std::mdspan 中从多维索引到数据句柄的一维偏移量的映射。

要求

如果类型 M 实现了 copyable 和 equality_comparable，而且以下各项均为 true，则它满足布局映射 (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> 对于尺度类型 E 为 M	布局映射策略 (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 加上 m(i...) 对于所有 i 的最大值。 否则，返回 ​0​。
m.is_unique()	bool	仅当对于满足 (i != j || ...) 为 true 的所有 i 和 j，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 + d_r) 是 m.extents() 中的多维索引的每个 i，m((i + d_r)...) - m(i...) 都等于 s_r 时，返回 true。
m.stride(r)	typename M​::​index_type	前条件是 m.is_strided() 为 true。 返回如上述 m.is_strided() 中秩索引 r 处的步长 s_r。
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。 返回值总是常量表达式。

参阅

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> 的公开成员类模板)