std::ranges::views::adjacent, std::ranges::adjacent_view, std::ranges::views::pairwise
| 헤더에 정의됨 <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부터) | |
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는 비어 있습니다.
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)그렇지 않습니다.
adjacent_view는 항상 forward_range를 모델링하며, bidirectional_range, random_access_range 또는 sized_range를 적응된 view 타입이 해당 개념을 모델링하는 경우 모델링합니다.
데이터 멤버
| 멤버 | 설명 |
V
base_
|
기반
view
( 설명 전용 멤버 객체* ) |
멤버 함수
adjacent_view
를 생성합니다
(public 멤버 함수) |
|
|
시작 부분에 대한 반복자를 반환합니다
(public 멤버 함수) |
|
|
끝 부분에 대한 반복자나 센티널을 반환합니다
(public 멤버 함수) |
|
기본(적응된) 범위가
sized_range
를 만족할 때만 제공되는 요소의 개수를 반환합니다
(public 멤버 함수) |
|
|
(C++26)
|
결과
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
>>
=
|
(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
(클래스 템플릿) (레인지 어댑터 객체) |
|
|
(C++23)
|
M
th
요소가 다른
view
의 M
th
부터 (M + N - 1)
th
요소까지의
view
인
view
(클래스 템플릿) (레인지 어댑터 객체) |
|
(C++23)
|
다른
view
의 요소들을
N
크기의 겹치지 않는 연속적인 청크로 나타낸
view
s
의 레인지
(클래스 템플릿) (레인지 어댑터 객체) |
다른
view
의 요소들로 구성되며, 한 번에 N개 요소씩 건너뛰는
view
(클래스 템플릿) (레인지 어댑터 객체) |