Namespaces
Variants

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

From cppreference.net
C++
Ranges library
Range adaptors
adjacent_view views::adjacent
(C++23) (C++23)
views::pairwise
(C++23)
(C++23) (C++23)
(C++23)
(C++23) (C++23)
(C++23) (C++23)
(C++23) (C++23)
(C++23) (C++23)
(C++23) (C++23)

std::ranges::adjacent_view
Member functions
(C++26)
Iterator
Member functions
Non-member functions
Sentinel
Member functions
Non-member functions
헤더에 정의됨 <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 는 view 를 취하는 범위 어댑터이며, view 를 생성합니다. 이 생성된 뷰의 i th 번째 요소( "윈도우")는 std::tuple 로, 원본 뷰의 요소들 [ i , i + N - 1 ] 에 대한 N 개의 참조를 보유합니다.
원본 뷰의 크기를 S 라고 하면, 생성된 뷰의 크기는 다음과 같습니다:
  • S - N + 1 , S >= N 인 경우,
  • ​ 0 ​ 그렇지 않은 경우, 결과 뷰는 비어 있습니다.
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 를 모델하며, 적응된 view 타입이 해당 개념을 모델할 경우 bidirectional_range , random_access_range , 또는 sized_range 를 모델합니다.

목차

데이터 멤버

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

멤버 함수

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

추론 가이드

(없음)

중첩 클래스

반복자 타입
( 설명 전용 멤버 클래스 템플릿* )
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]

참고 항목

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