std::mdspan<T,Extents,LayoutPolicy,AccessorPolicy>::operator[]

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (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) 推导指引

 

template< class... OtherIndexTypes > constexpr reference operator[]( OtherIndexTypes... indices ) const;	(1)	(C++23 起)
template< class OtherIndexType > constexpr reference operator[]     ( std::span<OtherIndexType, rank()> indices ) const;	(2)	(C++23 起)
template< class OtherIndexType > constexpr reference operator[]     ( const std::array<OtherIndexType, rank()>& indices ) const;	(3)	(C++23 起)

返回 mdspan 的 indices^th 元素的引用。

1) 等价于 return acc_.access(ptr_, map_(static_cast<index_type>(std::move(indices))...));。

仅当以下条件成立时，此重载才参与重载决议：

• (std::is_convertible_v<OtherIndexTypes, index_type> && ...) 为 true，
• (std::is_nothrow_constructible_v<index_type, OtherIndexTypes> && ...) 为 true，并且
• sizeof...(OtherIndexTypes) == rank() 为 true。

令 I 为 extents_type::index-cast(std::move(indices))。若 I 不是 extents() 中的多维索引，即 map_(I) < map_.required_span_size() 为 false，则行为未定义。

2,3) 令 P 是一个参数包，使得 std::is_same_v<make_index_sequence<rank()>, index_sequence<P...>> 为 true，则运算符等价于 return operator[](extents_type::index-cast(std::as_const(indices[P]))...);。

仅当以下条件成立时，此重载才参与重载决议：

• std::is_convertible_v<const OtherIndexType&, index_type> 为 true，并且
• std::is_nothrow_constructible_v<index_type, const OtherIndexType&> 为 true。

参数

indices

-

要访问元素的索引

返回值

元素的引用。

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	发布时的行为	正确的行为
LWG 3974	C++23	重载 (2,3) 未应用 extents_type::index-cast	已应用