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

来自cppreference.com
 
C++
 
容器库
 
std::span
 
<tbody> </tbody>
template< std::size_t Count > constexpr std::span<element_type, Count> first() const;
 (1) (C++20 起)
constexpr std::span<element_type, std::dynamic_extent> first( size_type count ) const;
 (2) (C++20 起)
See More

获得此 span 的前 Count 或 count 个元素上的子视图。

1) 元素个数由模板实参提供，并且子视图拥有静态长度。
如果 Count > Extent 是 true，那么程序非良构。
2) 元素个数由函数实参提供，并且子视图拥有动态长度。

如果 Count > size() 或 count > size() 是 true，那么行为未定义。

(C++26 前)

如果 Count > size() 或 count > size() 是 true，那么：

  • 如果实现是硬化实现，那么就会发生契约违背。并且契约违背处理函数在“观察”求值语义下返回时行为未定义。
  • 如果实现不是硬化实现，那么行为未定义。
 (C++26 起)

阐述

count - 子视图的元素个数

返回值

1) std::span<element_type, Count>{data(), Count}
2) std::span<element_type, std::dynamic_extent>{data(), count}

示例

运行此代码
#include <iostream>
#include <ranges>
#include <span>
#include <string_view>

void print(const std::string_view title,
           const std::ranges::forward_range auto& container)
{
    auto size{std::size(container)};
    std::cout << title << '[' << size << "]{";
    for (const auto& elem : container)
        std::cout << elem << (--size ? ", " : "");
    std::cout << "};\n";
}

void run_game(std::span<const int> span)
{
    print("span：", span);
    
    std::span<const int, 5> span_first = span.first<5>();
    print("span.first<5>()：", span_first);
    
    std::span<const int, std::dynamic_extent> span_first_dynamic = span.first(4);
    print("span.first(4)：", span_first_dynamic);
}

int main()
{
    int a[8]{1, 2, 3, 4, 5, 6, 7, 8};
    print("int a", a);
    run_game(a);
}

输出： 

int a[8]{1, 2, 3, 4, 5, 6, 7, 8};
span：[8]{1, 2, 3, 4, 5, 6, 7, 8};
span.first<5>()：[5]{1, 2, 3, 4, 5};
span.first(4)：[4]{1, 2, 3, 4};

参阅

 获得由序列末 N 个元素组成的子段
(公开成员函数) [编辑]
获得子段
(公开成员函数) [编辑]