标准库标头 <span> (C++20)

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

标准库头

语言支持 <cfloat> <climits> <compare>(C++20) <contracts>(C++26) <coroutine>(C++20) <csetjmp> <csignal> <cstdarg> <cstddef> <cstdint>(C++11) <cstdlib> <exception> <initializer_list>(C++11)    <limits> <new> <source_location>(C++20) <stdfloat>(C++23) <typeinfo> <version>(C++20) 概念 <concepts>(C++20) 诊断 <cassert> <cerrno> <debugging>(C++26) <stacktrace>(C++23) <stdexcept> <system_error>(C++11) 内存管理 <memory> <memory_resource>(C++17) <scoped_allocator>(C++11) 元编程 <type_traits>(C++11) <ratio>(C++11)

通用工具 <any>(C++17) <bitset> <bit>(C++20) <charconv>(C++17) <expected>(C++23) <format>(C++20) <functional> <optional>(C++17) <stdbit.h>(C++26) <tuple>(C++11) <typeindex>(C++11) <utility> <variant>(C++17) 容器 <array>(C++11) <deque> <flat_map>(C++23) <flat_set>(C++23) <forward_list>(C++11) <hive>(C++26) <inplace_vector>(C++26)    <list> <map> <mdspan>(C++23) <queue> <set> <span>(C++20) <stack> <unordered_map>(C++11) <unordered_set>(C++11) <vector> 迭代器 <iterator> 范围 <generator>(C++23) <ranges>(C++20)

算法 <algorithm> <numeric> 字符串 <cctype> <cstring> <cuchar>(C++11) <cwchar> <cwctype> <string_view>(C++17) <string> 文本处理 <clocale> <codecvt>(C++11/17/26*) <locale> <regex>(C++11) <text_encoding>(C++26)    cpp/header#数值库数值 <cfenv>(C++11) <cmath> <complex> <linalg>(C++26) <numbers>(C++20) <random>(C++11) <simd>(C++26) <stdckdint.h>(C++26) <valarray> 时间 <chrono>(C++11) <ctime> C 兼容性 <ccomplex>(C++11/17/20*) <ciso646>(C++20 前) <cstdalign>(C++11/17/20*) <cstdbool>(C++11/17/20*) <ctgmath>(C++11/17/20*)

输入/输出 <cinttypes>(C++11) <cstdio> <filesystem>(C++17) <fstream> <iomanip> <iosfwd> <iostream> <ios> <istream> <ostream> <print>(C++23) <spanstream>(C++23) <sstream> <streambuf> <strstream>(C++98/26*) <syncstream>(C++20) 并发支持 <atomic>(C++11) <barrier>(C++20) <condition_variable>(C++11) <future>(C++11) <hazard_pointer>(C++26) <latch>(C++20) <mutex>(C++11) <rcu>(C++26) <semaphore>(C++20) <shared_mutex>(C++14) <stdatomic.h>(C++23) <stop_token>(C++20) <thread>(C++11) 执行支持 <execution>(C++17)

 

此头文件是容器库的一部分。

类
span (C++20)	连续的对象序列上的无所有权视图 (类模板)
常量
dynamic_extent (C++20)	std::size_t 类型的常量，指明 span 拥有动态长度 (常量)
函数
as_bytesas_writable_bytes (C++20)	转换 span 为对其底层字节的视图 (函数模板)
范围访问
begincbegin (C++11)(C++14)	返回指向容器或数组起始的迭代器 (函数模板)
endcend (C++11)(C++14)	返回指向容器或数组结尾的迭代器 (函数模板)
rbegincrbegin (C++14)	返回指向一个容器或数组的逆向迭代器 (函数模板)
rendcrend (C++14)	返回容器或数组的逆向尾迭代器 (函数模板)
sizessize (C++17)(C++20)	返回容器或数组的大小 (函数模板)
empty (C++17)	检查容器是否为空 (函数模板)
data (C++17)	获得指向底层数组的指针 (函数模板)

概要

#include <initializer_list>   // 大多数为独立namespace std {// 常量inlineconstexpr size_t dynamic_extent = numeric_limits<size_t>::max();   template<class T> concept /*integral-constant-like*/=// 仅用于阐释 is_integral_v<decltype(T::value)>&&!is_same_v<bool, remove_const_t<decltype(T::value)>>&& convertible_to<T, decltype(T::value)>&& equality_comparable_with<T, decltype(T::value)>&& bool_constant<T()== T::value>::value&& bool_constant<static_cast<decltype(T::value)>(T())== T::value>::value;   template<class T>constexpr size_t /*maybe-static-ext*/= dynamic_extent;// 仅用于阐释template</*integral-constant-like*/ T>constexpr size_t /*maybe-static-ext*/<T>={ T::value};   // 类模板 spantemplate<class ElementType, size_t Extent = dynamic_extent>class span;// 部分独立   template<class ElementType, size_t Extent>constexprboolranges::enable_view<span<ElementType, Extent>>=true;template<class ElementType, size_t Extent>constexprboolranges::enable_borrowed_range<span<ElementType, Extent>>=true;   // 对象表示的视图template<class ElementType, size_t Extent> span<const byte, Extent == dynamic_extent ? dynamic_extent : sizeof(ElementType)* Extent> as_bytes(span<ElementType, Extent> s)noexcept;   template<class ElementType, size_t Extent> span<byte, Extent == dynamic_extent ? dynamic_extent : sizeof(ElementType)* Extent> as_writable_bytes(span<ElementType, Extent> s)noexcept;}

类模板 std::span

namespace std {template<class ElementType, size_t Extent = dynamic_extent>class span {public:// 常量与类型using element_type = ElementType;using value_type = remove_cv_t<ElementType>;using size_type = size_t;using difference_type = ptrdiff_t;using pointer = element_type*;using const_pointer =const element_type*;using reference = element_type&;using const_reference =const element_type&;using iterator =/* 由实现定义 */;using const_iterator =std::const_iterator<iterator>;using reverse_iterator =std::reverse_iterator<iterator>;using const_reverse_iterator =std::const_iterator<reverse_iterator>;staticconstexpr size_type extent = Extent;   // 构造函数、复制与赋值constexpr span()noexcept;template<class It>constexprexplicit(extent != dynamic_extent) span(It first, size_type count);template<class It, class End>constexprexplicit(extent != dynamic_extent) span(It first, End last);template<size_t N>constexpr span(type_identity_t<element_type>(&arr)[N])noexcept;template<class T, size_t N>constexpr span(array<T, N>& arr)noexcept;template<class T, size_t N>constexpr span(const array<T, N>& arr)noexcept;template<class R>constexprexplicit(extent != dynamic_extent) span(R&& r);constexprexplicit(extent != dynamic_extent) span(std::initializer_list<value_type> il);constexpr span(const span& other)noexcept=default;template<class OtherElementType, size_t OtherExtent>constexprexplicit(/* see description */) span(const span<OtherElementType, OtherExtent>& s)noexcept;   constexpr span& operator=(const span& other)noexcept=default;   // 子视图template<size_t Count>constexpr span<element_type, Count> first()const;template<size_t Count>constexpr span<element_type, Count> last()const;template<size_t Offset, size_t Count = dynamic_extent>constexpr span<element_type, /* see description */> subspan()const;   constexpr span<element_type, dynamic_extent> first(size_type count)const;constexpr span<element_type, dynamic_extent> last(size_type count)const;constexpr span<element_type, dynamic_extent> subspan( size_type offset, size_type count = dynamic_extent)const;   // 观察器constexpr size_type size()constnoexcept;constexpr size_type size_bytes()constnoexcept;constexprbool empty()constnoexcept;   // 元素访问constexpr reference operator[](size_type idx)const;constexpr reference at(size_type idx)const;// 独立环境中删除constexpr reference front()const;constexpr reference back()const;constexpr pointer data()constnoexcept;   // 迭代器支持constexpr iterator begin()constnoexcept;constexpr iterator end()constnoexcept;constexpr const_iterator cbegin()constnoexcept{return begin();}constexpr const_iterator cend()constnoexcept{return end();}constexpr reverse_iterator rbegin()constnoexcept;constexpr reverse_iterator rend()constnoexcept;constexpr const_reverse_iterator crbegin()constnoexcept{return rbegin();}constexpr const_reverse_iterator crend()constnoexcept{return rend();}   private: pointer /*data_*/;// 仅用于阐述 size_type /*size_*/;// 仅用于阐述};   template<class It, class EndOrSize> span(It, EndOrSize)-> span<remove_reference_t<iter_reference_t<It>>, /*maybe-static-ext*/<EndOrSize>>;template<class T, size_t N> span(T (&)[N])-> span<T, N>;template<class T, size_t N> span(array<T, N>&)-> span<T, N>;template<class T, size_t N> span(const array<T, N>&)-> span<const T, N>;template<class R> span(R&&)-> span<remove_reference_t<ranges::range_reference_t<R>>>;}