Namespaces
Variants

std::ranges::views::adjacent, std::ranges::adjacent_view, std::ranges::views::pairwise

cppreference.net에서
 
 
범위 라이브러리
범위 어댑터
 
 
헤더에 정의됨 <ranges>
template< ranges::forward_range V, std::size_t N >
    requires ranges::view<V> && (N > 0)
class adjacent_view
    : public ranges::view_interface<adjacent_view<V, N>>
(1) (C++23부터)
namespace views {
    template< std::size_t N >
    constexpr /* unspecified */ adjacent = /* unspecified */ ;
}
(2) (C++23부터)
namespace views {
    inline constexpr auto pairwise = adjacent<2>;
}
(3) (C++23부터)
호출 시그니처
template< ranges::viewable_range R >
    requires /* see below */
constexpr ranges::view auto adjacent<N>( R&& r );
(C++23부터)
1) adjacent_view는 range adaptor로, view를 취하고, view를 생성하며, 그 i번째 요소(하나의 "창")는 std::tuple를 가지며, N개의 참조를 [i, i + N - 1] 원본 view의 요소에 보유합니다.
S를 원본 view의 크기라고 하면, 생성된 view의 크기는 다음과 같습니다:
  • S - N + 1, 만약 S >= N이면,
  • 0 그렇지 않으면 결과 view는 비어 있습니다.
2) views::adjacent<N>라는 이름은 RangeAdaptorObject를 나타냅니다. 부분 표현식 e과 상수 표현식 N이 주어지면, 표현식 views::adjacent<N>(e)는 표현식-동등입니다.
  • ((void)e, auto(views::empty<tuple<>>)) 만약 N이 0과 같고 decltype((e))이 forward_range를 모델링하면,
  • adjacent_view<views::all_t<decltype((e))>, N>(e) 그렇지 않습니다.
3) views::pairwise라는 이름은 RangeAdaptorObject를 나타내며, views::adjacent<2>와 정확히 동일하게 동작합니다.

adjacent_view는 항상 forward_range를 모델링하며, bidirectional_range, random_access_range 또는 sized_range를 적응된 view 타입이 해당 개념을 모델링하는 경우 모델링합니다.

데이터 멤버

멤버 설명
V base_ 기반 view
( 설명 전용 멤버 객체* )

멤버 함수

adjacent_view 를 생성합니다
(public 멤버 함수)
시작 부분에 대한 반복자를 반환합니다
(public 멤버 함수)
끝 부분에 대한 반복자나 센티널을 반환합니다
(public 멤버 함수)
기본(적응된) 범위가 sized_range 를 만족할 때만 제공되는 요소의 개수를 반환합니다
(public 멤버 함수)
결과 approximately_sized_range 의 대략적인 크기를 반환합니다
(public 멤버 함수)
에서 상속됨 ranges::view_interface
파생 뷰가 비어 있는지 여부를 반환합니다. sized_range 또는 forward_range
를 만족하는 경우에만 제공됩니다 (std::ranges::view_interface<D>의 공개 멤버 함수)
(C++23)
범위의 시작을 가리키는 상수 반복자를 반환합니다
(std::ranges::view_interface<D>의 공개 멤버 함수)
(C++23)
범위의 상수 반복자에 대한 센티널을 반환합니다
(std::ranges::view_interface<D>의 공개 멤버 함수)
파생 뷰가 비어 있지 않은지 여부를 반환합니다. ranges::empty가 적용 가능한 경우에만 제공됩니다
(std::ranges::view_interface<D>의 공개 멤버 함수)
파생 뷰의 첫 번째 요소를 반환합니다. forward_range
를 만족하는 경우 제공됩니다 (std::ranges::view_interface<D>의 공개 멤버 함수)
파생 뷰의 마지막 요소를 반환합니다. bidirectional_range 및 common_range
를 만족하는 경우에만 제공됩니다 (std::ranges::view_interface<D>의 공개 멤버 함수)
파생 뷰의 n번째 요소를 반환합니다. random_access_range
를 만족하는 경우에만 제공됩니다 (std::ranges::view_interface<D>의 공개 멤버 함수)

추론 가이드

(없음)

중첩 클래스

반복자 타입
( 설명 전용 멤버 클래스 템플릿* )
adjacent_view 가 common_range 가 아닐 때 사용되는 센티넬 타입
( 설명 전용 멤버 클래스 템플릿* )

헬퍼 템플릿

template < class V, size_t N >

constexpr bool ranges:: enable_borrowed_range < adjacent_view < V, N >> =

ranges:: enable_borrowed_range < V > ;
(C++23부터)

ranges::enable_borrowed_range 의 이 특수화는 기본 뷰가 이를 만족할 때 adjacent_view 가 borrowed_range 를 만족하도록 합니다.

참고 사항

views :: adjacent 는 N 이 0 인 경우에도 순방향 범위만을 허용합니다.

ranges::adjacent_view 와 ranges::slide_view 사이에는 유사점이 있습니다:

  • 둘 다 크기가 N 인 "슬라이딩 윈도우"를 생성합니다.
  • 둘 다 동일한 크기 S - N + 1 을 가지며, 여기서 S 는 S >= N > 0 을 만족하는 적응된 view 의 크기입니다.

다음 표는 이러한 어댑터 간의 차이점을 보여줍니다:

뷰 어댑터 value_type 윈도우 크기 N
ranges :: adjacent_view std::tuple 템플릿 매개변수
ranges:: slide_view ranges:: range 런타임 인수
기능 테스트 매크로 값 표준 기능
__cpp_lib_ranges_zip 202110L (C++23) ranges:: zip_view ,
ranges:: zip_transform_view ,
ranges::adjacent_view ,
ranges:: adjacent_transform_view

예제

#include <array>
#include <format>
#include <iostream>
#include <ranges>
#include <tuple>
int main()
{
    constexpr std::array v{1, 2, 3, 4, 5, 6};
    std::cout << "v = [1 2 3 4 5 6]\n";
    for (int i{}; std::tuple t : v | std::views::adjacent<3>)
    {
        auto [t0, t1, t2] = t;
        std::cout << std::format("e = {:<{}}[{} {} {}]\n", "", 2 * i++, t0, t1, t2);
    }
}

출력:

v = [1 2 3 4 5 6]
e = [1 2 3]
e =   [2 3 4]
e =     [3 4 5]
e =       [4 5 6]

결함 보고서

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

DR 적용 대상 게시된 동작 올바른 동작
LWG 4098 C++23 views :: adjacent < 0 > 가 입력 전용 범위를 허용했음 거부되도록 변경됨

참조문헌

  • C++23 표준 (ISO/IEC 14882:2024):
  • 26.7.25 인접 뷰 [range.adjacent]

참고 항목

적응된 뷰의 인접한 요소들에 변환 함수를 적용한 결과로 구성된 view
(클래스 템플릿) (레인지 어댑터 객체)
M th 요소가 다른 view 의 M th 부터 (M + N - 1) th 요소까지의 view 인 view
(클래스 템플릿) (레인지 어댑터 객체)
다른 view 의 요소들을 N 크기의 겹치지 않는 연속적인 청크로 나타낸 view s 의 레인지
(클래스 템플릿) (레인지 어댑터 객체)
다른 view 의 요소들로 구성되며, 한 번에 N개 요소씩 건너뛰는 view
(클래스 템플릿) (레인지 어댑터 객체)