C++ 命名要求： LayoutMapping (自 C++23 起)

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (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，则它满足 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	（可能限定为 const）的秩索引，类型为 typename M​::​extents_type
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::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。 返回如上 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> 的公共成员类模板)