std:: span

클래스 템플릿 span 은 위치 0에서 시작하는 연속적인 객체 시퀀스를 참조할 수 있는 객체를 설명합니다. span 은 static extent를 가질 수 있으며, 이 경우 시퀀스의 요소 개수가 컴파일 타임에 알려지고 타입에 인코딩되거나, dynamic extent를 가질 수 있습니다.

span s 에 대해, s 의 요소에 대한 포인터, 반복자, 참조는 [ s. data ( ) , s. data ( ) + s. size ( ) ) 범위 내의 포인터를 무효화하는 연산이 수행될 때 무효화됩니다.

템플릿 매개변수

중첩 타입

1. ↑ iterator 는 T 가 const 한정자가 아닌 경우 변경 가능한 반복자입니다.

Container 에 대한 반복자 타입의 모든 요구사항은 span 의 iterator 타입에도 동일하게 적용됩니다.

데이터 멤버

멤버 함수

비멤버 함수

헬퍼 상수

헬퍼 템플릿

ranges::enable_borrowed_range 의 이 특수화는 span 이 borrowed_range 를 만족하도록 합니다.

이 특수화는 ranges::enable_view 가 span 이 view 를 만족하도록 합니다.

추론 가이드

참고 사항

std::span 의 특수화는 C++23에서 공식 요구사항이 도입되기 전부터 이미 모든 기존 구현에서 사소하게 복사 가능한 타입입니다.

예제

#include <algorithm>
#include <cstddef>
#include <iostream>
#include <span>
template<class T, std::size_t N>
[[nodiscard]]
constexpr auto slide(std::span<T, N> s, std::size_t offset, std::size_t width)
{
    return s.subspan(offset, offset + width <= s.size() ? width : 0U);
}
template<class T, std::size_t N, std::size_t M>
constexpr bool starts_with(std::span<T, N> data, std::span<T, M> prefix)
{
    return data.size() >= prefix.size()
        && std::equal(prefix.begin(), prefix.end(), data.begin());
}
template<class T, std::size_t N, std::size_t M>
constexpr bool ends_with(std::span<T, N> data, std::span<T, M> suffix)
{
    return data.size() >= suffix.size()
        && std::equal(data.end() - suffix.size(), data.end(),
                      suffix.end() - suffix.size());
}
template<class T, std::size_t N, std::size_t M>
constexpr bool contains(std::span<T, N> span, std::span<T, M> sub)
{
    return std::ranges::search(span, sub).begin() != span.end();
}
void println(const auto& seq)
{
    for (const auto& elem : seq)
        std::cout << elem << ' ';
    std::cout << '\n';
}
int main()
{
    constexpr int a[]{0, 1, 2, 3, 4, 5, 6, 7, 8};
    constexpr int b[]{8, 7, 6};
    constexpr static std::size_t width{6};
    for (std::size_t offset{}; ; ++offset)
        if (auto s = slide(std::span{a}, offset, width); !s.empty())
            println(s);
        else
            break;
    static_assert(""
        && starts_with(std::span{a}, std::span{a, 4})
        && starts_with(std::span{a + 1, 4}, std::span{a + 1, 3})
        && !starts_with(std::span{a}, std::span{b})
        && !starts_with(std::span{a, 8}, std::span{a + 1, 3})
        && ends_with(std::span{a}, std::span{a + 6, 3})
        && !ends_with(std::span{a}, std::span{a + 6, 2})
        && contains(std::span{a}, std::span{a + 1, 4})
        && !contains(std::span{a, 8}, std::span{a, 9})
    );
}

0 1 2 3 4 5
1 2 3 4 5 6
2 3 4 5 6 7
3 4 5 6 7 8

결함 보고서

다음 동작 변경 결함 보고서는 이전에 게시된 C++ 표준에 소급 적용되었습니다.

참고 항목