std::mdspan<T,Extents,LayoutPolicy,AccessorPolicy>::mdspan

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

技术规范

符号索引

外部库

 

容器库

序列

array (C++11)

vector

vector<bool>

inplace_vector (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::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

布局映射策略

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 mdspan();	(1)	(C++23 起)
template< class... OtherIndexTypes >     constexpr explicit mdspan( data_handle_type p, OtherIndexTypes... exts );	(2)	(C++23 起)
template< class OtherIndexType, std::size_t N >     constexpr explicit(N != rank_dynamic())         mdspan( data_handle_type p, std::span<OtherIndexType, N> exts );	(3)	(C++23 起)
template< class OtherIndexType, std::size_t N >     constexpr explicit(N != rank_dynamic())         mdspan( data_handle_type p, const std::array<OtherIndexType, N>& exts );	(4)	(C++23 起)
constexpr mdspan( data_handle_type p, const extents_type& ext );	(5)	(C++23 起)
constexpr mdspan( data_handle_type p, const mapping_type& m );	(6)	(C++23 起)
constexpr mdspan( data_handle_type p, const mapping_type& m,                   const accessor_type& a );	(7)	(C++23 起)
template< class OtherElementType, class OtherExtents,           class OtherLayoutPolicy, class OtherAccessor >     constexpr explicit(/* 见下文 */)         mdspan( const mdspan<OtherElementType, OtherExtents,                              OtherLayoutPolicy, OtherAccessor>& other );	(8)	(C++23 起)
constexpr mdspan( const mdspan& rhs ) = default;	(9)	(C++23 起)
constexpr mdspan( mdspan&& rhs ) = default;	(10)	(C++23 起)

构造一个 mdspan，可选地使用用户提供的数据句柄 p、布局映射 m 和访问器 a。若提供了尺度 exts 或 ext，则将它们转换为 extents_type 并以之初始化布局映射。

1) 构造空 mdspan。值初始化 ptr_、map_ 和 acc_。

• 如果对于调用此构造函数后的 map_ 和 acc_ 值，[​0​, map_.required_span_size()) 不是 ptr_ 和 acc_ 上的可访问范围，则其行为未定义。
• 此重载只有在

• rank_dynamic() > 0 为 true，
• std::is_default_constructible_v<data_handle_type> 为 true，
• std::is_default_constructible_v<mapping_type> 为 true，并且
• std::is_default_constructible_v<accessor_type> 为 true 时才会参与重载决议。

2) 在由 p 所代表的底层数据上，以 exts... 所表示的尺度创建 mdspan。值初始化 acc_，以 std::move(p) 对 ptr_，并以 extents_type(static_cast<index_type>(std::move(exts))...) 对 map_ 进行直接非列表初始化。

• 如果对于调用此构造函数后的 map_ 和 acc_ 值，[​0​, map_.required_span_size()) 不是 ptr_ 和 acc_ 上的可访问范围，则其行为未定义。
• 令 N 为 sizeof...(OtherIndexTypes)。此重载只有在

• (std::is_convertible_v<OtherIndexTypes, index_type> && ...) 为 true，
• (std::is_nothrow_constructible<index_type, OtherIndexTypes> && ...) 为 true，
• N == rank() || N == rank_dynamic() 为 true，
• std::is_constructible_v<mapping_type, extents_type> 为 true，并且
• std::is_default_constructible_v<accessor_type> 为 true 时才会参与重载决议。

3,4) 在由 p 所代表的底层数据上，以包 exts 所表示的尺度创建 mdspan。值初始化 acc_，以 std::move(p) 对 ptr_，并以 extents_type(exts) 对 map_ 进行直接非列表初始化。

• 如果对于调用此构造函数后的 map_ 和 acc_ 值，[​0​, map_.required_span_size()) 不是 ptr_ 和 acc_ 上的可访问范围，则其行为未定义。
• 此重载只有在

• std::is_convertible_v<const OtherIndexTypes&, index_type> 为 true，
• std::is_nothrow_constructible<index_type, const OtherIndexTypes&> 为 true，
• N == rank() || N == rank_dynamic() 为 true，
• std::is_constructible_v<mapping_type, extents_type> 为 true，并且
• std::is_default_constructible_v<accessor_type> 为 true 时才会参与重载决议。

5) 在由 p 所代表的底层数据上，以 ext 所表示的尺度创建 mdspan。值初始化 acc_，以 std::move(p) 对 ptr_，并以 exts 对 map_ 进行直接非列表初始化。

• 如果对于调用此构造函数后的 map_ 和 acc_ 值，[​0​, map_.required_span_size()) 不是 p 和 acc_ 上的可访问范围，则其行为未定义。
• 此重载只有在

• std::is_constructible_v<mapping_type, const mapping_type&> 为 true，并且
• std::is_default_constructible_v<accessor_type> 为 true 时才会参与重载决议。

6) 在由 p 所代表的底层数据上，以布局映射 m 创建 mdspan。值初始化 acc_，以 std::move(p) 对 ptr_，并以 m 对 map_ 进行直接非列表初始化。

• 如果对于调用此构造函数后的 acc_ 值，[​0​, m.required_span_size()) 不是 p 和 acc_ 上的可访问范围，则其行为未定义。
• 此重载只有在 std::is_default_constructible_v<accessor_type> 为 true 时才会参与重载决议。

7) 在由 p 所代表的底层数据上，以布局映射 m 和访问器 a 创建 mdspan。以 std::move(p) 对 ptr_，以 m 对 map_，并以 a 对 acc_ 进行直接非列表初始化。

• 如果调用此构造函数后，[​0​, m.required_span_size()) 不是 p 和 a 上的可访问范围，则其行为未定义。

8) 从另一 mdspan 的转换构造函数。以 other.ptr_ 对 ptr_，以 other.map_ 对 map_，并以 other.acc_ 对 acc_ 进行直接非列表初始化。

• 以下情况下其行为未定义：

• 对于调用此构造函数后的 map_ 和 acc_ 值，[​0​, map_.required_span_size()) 不是 ptr_ 和 acc_ 上的可访问范围，或者
• 对于 extents_type 的每个秩索引 r，   extents_type::static_extent(r) == std::dynamic_extent
  || extents_type::static_extent(r) == other.extent(r) 为 false。

• 此重载只有在

• std::is_constructible_v<mapping_type, const OtherLayoutPolicy​::
      ​template mapping<OtherExtents>&> 为 true，并且
• std::is_constructible_v<accessor_type, const OtherAccessor&> 为 true 时才会参与重载决议。

• 以下情况下程序非良构：

• std::is_constructible_v<data_handle_type,
      const OtherAccessor​::​data_handle_type&> 为 false，或者
• std::is_constructible_v<extents_type, OtherExtents> 为 false。

• explicit 中的表达式等价于：   !std::is_convertible_v<const OtherLayoutPolicy::
         template mapping<OtherExtents>&, mapping_type>
  || !std::is_convertible_v<const OtherAccessor&, accessor_type>

9) 预置的复制构造函数。

10) 预置的移动构造函数。

参数

p	-	底层数据的句柄
m	-	布局映射
a	-	访问器
ext	-	std::extents 对象
exts	-	表示一种多维尺度
other	-	要从之转换的另一 mdspan
rhs	-	要从之复制或移动的另一 mdspan

引用

• C++23 标准（ISO/IEC 14882:2024）：

• 24.7.3.6.2 Constructors [mdspan.mdspan.cons]