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

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

容器库

序列

数组 (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 的每个特化的每个实例都是唯一的（unique）和跨幅化的（strided）。

若下列条件之一为 true，则该映射是穷尽的（exhaustive）：

• rank_ 为 ​0​，或
• 存在一个在范围 [​0​, rank_) 内的整数的排列 p，使得

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

对于所有 i 在 [1, rank_) 内，其中 p[i] 是 p 的第 i^th 个元素。

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

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

参数

(无)

返回值

1,3-4,6) true

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

5) false