std::layout_stride::mapping<Extents>::mapping-traits

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

容器库

序列

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (C++26)

deque

forward_list (C++11)

list

关联容器

set

multiset

map

multimap

无序关联容器

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

容器适配器

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

视图

span (C++20)

mdspan (C++23)

表格

迭代器失效

成员函数表格

非成员函数表格

 

std::mdspan

成员函数 mdspan::mdspan mdspan::operator= 元素访问 mdspan::operator[] 观察器 mdspan::rank mdspan::rank_dynamic mdspan::static_extent mdspan::extent mdspan::size mdspan::empty mdspan::stride mdspan::extents mdspan::data_handle mdspan::mapping mdspan::accessor mdspan::is_uniquemdspan::is_exhaustivemdspan::is_stridedmdspan::is_always_uniquemdspan::is_always_exhaustivemdspan::is_always_strided

非成员函数 swap(std::mdspan) 子视图 submdspan (C++26) submdspan_extents (C++26) 辅助类型和模板 extentsdextents dims (C++26) default_accessor aligned_accessor (C++26) 布局映射策略 layout_left layout_right layout_stride layout_left_padded (C++26) layout_right_padded (C++26) 子视图辅助项 full_extent (C++26) strided_slice (C++26) submdspan_mapping_result (C++26) 推导指引

 

std::layout_stride::mapping

成员函数

mapping::mapping

观察器

mapping::extents

mapping::strides

mapping::required_span_size

mapping::operator()

mapping::is_uniquemapping::is_exhaustivemapping::is_stridedmapping::is_always_uniquemapping::is_always_exhaustivemapping::is_always_strided

mapping::stride

非成员函数

operator==

submdspan_mapping(std::layout_stride::mapping) (C++26)

 

static constexpr bool is_unique() noexcept;	(1)	(C++23 起)
constexpr bool is_exhaustive() const noexcept;	(2)	(C++23 起)
static constexpr bool is_strided() noexcept;	(3)	(C++23 起)
static constexpr bool is_always_unique() noexcept;	(4)	(C++23 起)
static constexpr bool is_always_exhaustive() noexcept;	(5)	(C++23 起)
static constexpr bool is_always_strided() noexcept;	(6)	(C++23 起)

mapping 每个特化的每个实例都是唯一且跨步的。

如果以下条件之一为 true，那么映射就是穷尽的：

• rank_ 为 0，或者
• 存在范围 [0, rank_) 中的整数的某个排列 p，使得对于 [1, rank_) 中的每个 i：

• stride(p[0]) 等于 1 且
• stride(p[i]) 等于 stride(p[i - 1]) * extents().extent(p[i - 1])

其中 p[i] 是 p 的第 i 个元素。

（rank_ 是 std::layout_stride::mapping 中定义的仅用于阐释的静态成员常量。）

有关这些谓词映射特征的语义，参见布局映射 (LayoutMapping) 。

参数

（无）

返回值

1,3-4,6) true

2) true 若映射是穷尽的（见上文）

5) false