Namespaces
Variants

std::ranges:: view_interface

From cppreference.net
Ranges library
Views
view_interface

Range adaptors
헤더에 정의됨 <ranges>
template < class D >

requires std:: is_class_v < D > && std:: same_as < D, std:: remove_cv_t < D >>

class view_interface ;
(C++20부터)

std::ranges::view_interface 는 뷰 인터페이스를 정의하기 위한 헬퍼 클래스 템플릿입니다.

view_interface 는 일반적으로 CRTP 와 함께 사용됩니다:

class my_view : public std::ranges::view_interface<my_view>
{
public:
    auto begin() const { /*...*/ }
    auto end() const { /*...*/ }
    // empty()은 begin()이 forward iterator를 반환하고
    // end()가 해당 sentinel을 반환할 때 제공됩니다.
};

목차

멤버 함수

파생된 뷰가 비어 있는지 여부를 반환합니다. sized_range 또는 forward_range 를 만족하는 경우에만 제공됨
(public member function)
(C++23)
범위의 시작을 가리키는 상수 반복자를 반환합니다
(public member function)
(C++23)
범위의 상수 반복자에 대한 sentinel을 반환합니다
(public member function)
파생된 뷰가 비어 있지 않은지 여부를 반환합니다. ranges::empty 가 적용 가능한 경우에만 제공됨
(public member function)
파생된 뷰의 데이터 주소를 가져옵니다. 반복자 타입이 contiguous_iterator 를 만족하는 경우에만 제공됨
(public member function)
파생된 뷰의 요소 개수를 반환합니다. forward_range 를 만족하고, sentinel과 반복자 타입이 sized_sentinel_for 를 만족하는 경우 제공됨
(public member function)
파생된 뷰의 첫 번째 요소를 반환합니다. forward_range 를 만족하는 경우 제공됨
(public member function)
파생된 뷰의 마지막 요소를 반환합니다. bidirectional_range common_range 를 만족하는 경우에만 제공됨
(public member function)
파생된 뷰의 n 번째 요소를 반환합니다. random_access_range 를 만족하는 경우에만 제공됨
(public member function)

예제

#include <iostream>
#include <ranges>
#include <vector>
template<class T, class A>
class VectorView : public std::ranges::view_interface<VectorView<T, A>>
{
public:
    VectorView() = default;
    VectorView(const std::vector<T, A>& vec) :
        m_begin(vec.cbegin()), m_end(vec.cend())
    {}
    auto begin() const { return m_begin; }
    auto end() const { return m_end; }
private:
    typename std::vector<T, A>::const_iterator m_begin{}, m_end{};
};
int main()
{
    std::vector<int> v = {1, 4, 9, 16};
    VectorView view_over_v{v};
    // begin()과 end()로 반복할 수 있습니다.
    for (int n : view_over_v)
        std::cout << n << ' ';
    std::cout << '\n';
    // random_access_range 개념을 만족하므로 view_interface에서 상속받을 때 operator[]를 무료로 얻습니다.
    for (std::ptrdiff_t i = 0; i != view_over_v.size(); ++i)
        std::cout << "v[" << i << "] = " << view_over_v[i] << '\n';
}

출력:

1 4 9 16
v[0] = 1
v[1] = 4
v[2] = 9
v[3] = 16

결함 보고서

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

DR 적용 대상 게시된 동작 올바른 동작
LWG 3549 C++20 view_interface view_base 로부터 파생되어야 했으며,
이로 인해 뷰에서 여러 view_base 하위 객체가 필요할 때가 있었음
상속 제거됨

참고 항목

반복자-센티넬 쌍을 하나의 view 로 결합합니다
(클래스 템플릿)