std::span<T,Extent>::span

1) 构造空 span 使其 data() == nullptr 而 size() == 0 。此重载仅若extent == 0 || extent == std::dynamic_extent才参与重载决议。

2) 构造作为范围 [first, first + count) 上的视图的 span ；产生的 span 有 data() == std::to_address(first) 与 size() == count 。若 [first, first + count) 不是合法范围，若 It 不实际实现 contiguous_iterator 或若 extent != std::dynamic_extent && count != extent 则行为未定义。这些重载仅若

• It 满足 contiguous_iterator
• 从 std::iter_reference_t<It> 到 element_type 的转换至多为限定转换才参与重载决议。

3) 构造作为范围 [first, last) 上的视图的 span ；产生的 span 有 data() == std::to_address(first) 与 size() == last-first 。若 [first, last) 不是合法范围，若 It 不实际实现 contiguous_iterator ，若 End 不实际实现 It 的 sized_sentinel_for ，或若 extent != std::dynamic_extent && last-first != extent 则行为未定义。这些重载仅若

• It 满足 contiguous_iterator ，
• End 满足 It 的 sized_sentinel_for ，
• 从 std::iter_reference_t<It> 到 element_type 的转换至多为限定转换，且
• End 不可转换成 std::size_t才参与重载决议。

4-6) 构造作为数组 arr 上的视图的 span ；产生的 span 有 size() == N 与 data() == std::data(arr) 。这些重载仅若extent == std::dynamic_extent || N == extent 为 true 且 std::remove_pointer_t<decltype(std::data(arr))>(*)[] 可转换到 element_type (*)[] 才参与重载决议。这些构造函数模板决不用于类模板实参推导。

7) 构造作为范围 r 上的视图的 span ；产生的 span 有 size() == std::ranges::size(r) 与 data() == std::ranges::data(r) 。

若 R 不实际实现 contiguous_range 与 sized_range 或当 element_type 为非 const 时 R 不实际实现 borrowed_range 则行为未定义。 这些重载仅若

• extent == dynamic_extent ；
• R 满足 contiguous_range 与 sized_range ，
• R 满足 borrowed_range 或 std::is_const_v<element_type> 为 true
• std::remove_cvref_t<R> 不是 std::span 的特化，
• std::remove_cvref_t<R> 不是 std::array 的特化，
• std::is_array_v<std::remove_cvref_t<R>> 为 false ，且
• 从 std::ranges::range_reference_t<R> 到 element_type 的转换至多为限定转换

才参与重载决议

8) 从另一 span s 的转换构造函数；产生的 span 有 size() == s.size() 与 data() == s.data() 。此重载仅若extent == std::dynamic_extent || N == extent 为 true 且 U (*)[] 可转换为 element_type (*)[] 才参与重载决议。

9) 默认化的赋值构造函数复制大小与数据指针；产生的 span 有 size() == other.size() 与 data() == other.data() 。

2) 不抛出。

3) 在抛出时 last - first 抛出其所抛出的异常。

7) 在 std::ranges::size(r) 与 std::ranges::data(r) 抛出时抛出其所抛出的异常。