Namespaces
Variants

deduction guides for std::span

From cppreference.net
C++
Containers library
std::span
定义于头文件 <span>
(1)
template < class It, class EndOrSize >
span ( It, EndOrSize ) - > span < std:: remove_reference_t < std:: iter_reference_t < It >>> ;
(C++20 起)
(C++26 前)
template < class It, class EndOrSize >

span ( It, EndOrSize ) - > span < std:: remove_reference_t < std:: iter_reference_t < It >> ,

/*maybe-static-ext*/ < EndOrSize >> ;
(C++26 起)
template < class T, std:: size_t N >
span ( T ( & ) [ N ] ) - > span < T, N > ;
(2) (C++20 起)
template < class T, std:: size_t N >
span ( std:: array < T, N > & ) - > span < T, N > ;
(3) (C++20 起)
template < class T, std:: size_t N >
span ( const std:: array < T, N > & ) - > span < const T, N > ;
(4) (C++20 起)
template < class R >
span ( R && ) - > span < std:: remove_reference_t < std :: ranges:: range_reference_t < R >>> ;
(5) (C++20 起)

以下是为 span 提供的 推导指引 。

1) 允许从迭代器-哨位对推导元素类型。 如果 EndOrSize 满足 integral-constant-like ，还允许推导静态范围。 (C++26 起) 。此重载仅在 It 满足 contiguous_iterator 时参与重载决议。
2-4) 允许从内置数组和 std::array 推导静态范围。
5) 允许从范围推导元素类型。此重载仅在满足以下条件时参与重载决议： R 满足 contiguous_range 要求。

示例

运行此代码 
#include <array>
#include <cstddef>
#include <iomanip>
#include <iostream>
#include <span>
#include <string_view>
#include <vector>
void print(std::string_view rem = "", std::size_t size_of = 0, std::size_t extent = 0)
{
    if (rem.empty())
    {
        std::cout << "name │ sizeof │ extent\n"
                     "─────┼────────┼────────\n";
        return;
    }
    std::cout << std::setw(4) << rem << " │ " << std::setw(6) << size_of << " │ ";
    if (extent == std::dynamic_extent)
        std::cout << "dynamic";
    else
        std::cout << extent;
    std::cout << '\n';
}
int main()
{
    int a[]{1, 2, 3, 4, 5};
    print();
    std::span s1{std::begin(a), std::end(a)}; // 推导指南 (1)
    print("s1", sizeof s1, s1.extent);
    std::span s2{std::begin(a), 3}; // 推导指南 (1)
    print("s2", sizeof s2, s2.extent);
#if __cplusplus > 202302L
    std::span s3{std::begin(a), std::integral_constant<std::size_t, 2>{}}; // 推导指南 (1)
    print("s3", sizeof s3, s3.extent);
#endif // C++26
    std::span s4{a}; // 推导指南 (2)
    print("s4", sizeof s4, s4.extent);
    std::span<int> s5{a}; // 不使用推导指南，创建动态范围
    print("s5", sizeof s5, s5.extent);
    std::array arr{6, 7, 8};
    std::span s6{arr}; // 推导指南 (3)
    print("s6", sizeof s6, s6.extent);
    s6[0] = 42; // 正确：元素类型为 'int'
    const std::array arr2{9, 10, 11};
    std::span s7{arr2}; // 推导指南 (4)
    print("s7", sizeof s7, s7.extent);
    // s7[0] = 42; // 错误：元素类型为 'const int'
    std::vector v{66, 69, 99};
    std::span s8{v}; // 推导指南 (5)
    print("s8", sizeof s8, s8.extent);
}

可能的输出： 

name │ sizeof │ extent
─────┼────────┼────────
  s1 │     16 │ dynamic
  s2 │     16 │ dynamic
  s3 │      8 │ 2
  s4 │      8 │ 5
  s5 │     16 │ dynamic
  s6 │      8 │ 3
  s7 │      8 │ 3
  s8 │     16 │ dynamic