std::mdspan<T,Extents,LayoutPolicy,AccessorPolicy>::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) 推导指引

 

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

检查 (1-3) 底层布局映射 map_ 或 (4-6) 其类型 mapping_type 是否符合 LayoutMapping 的谓词映射特性的语义。

1-3) 令 func 为 (1) is_unique, (2) is_exhaustive, 或 (3) is_strided, 则它等价于 return map_.func();.

4-6) 令 func 为 (4) is_always_unique, (5) is_always_exhaustive, 或 (6) is_always_strided, 则它等价于 return mapping_type::func();.

参数

（无）

返回值

见上文。