std::ranges:: views:: concat, std::ranges:: concat_view

concat_view 는 임의의 수의 범위를 인수 목록으로 받아들이고, 첫 번째 범위의 첫 번째 요소에서 시작하여 마지막 범위의 마지막 요소에서 끝나며, 모든 범위 요소들이 인수로 주어진 순서대로 각각 사이에 순차적으로 배치된 뷰를 제공하는 view 팩토리를 나타냅니다. 이는 효과적으로 인수 범위들을 연결하거나 연쇄적으로 결합합니다.

template< class... Rs >
concept /*concat-indirectly-readable*/ = // 설명용
    std::common_reference_with</*concat-reference-t*/<Rs...>&&,
                               /*concat-value-t*/<Rs...>&> &&
    std::common_reference_with</*concat-reference-t*/<Rs...>&&,
                               /*concat-rvalue-reference-t*/<Rs...>&&> &&
    std::common_reference_with</*concat-rvalue-reference-t*/<Rs...>&&,
                               /*concat-value-t*/<Rs...> const&> &&
    (/*concat-indirectly-readable-impl*/</*concat-reference-t*/<Rs...>,
                                         /*concat-rvalue-reference-t*/<Rs...>,
                                         ranges::iterator_t<Rs>> && ...);

template< class Ref, class RRef, class It >
concept /*concat-indirectly-readable-impl*/ = // exposition only
    requires(const It it) {
        { *it } -> std::convertible_to<Ref>;
        { ranges::iter_move(it)} -> std::convertible_to<RRef>;
    };

template< class... Rs >
concept /*concatable*/ = requires { // exposition only
        typename /*concat-reference-t*/<Rs...>;
        typename /*concat-value-t*/<Rs...>;
        typename /*concat-rvalue-reference-t*/<Rs...>;
    } && /*concat-indirectly-readable*/<Rs...>;

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

concat_view 는 마지막 기반 범위가 common_range 를 모델링할 경우 common_range 가 될 수 있습니다.

커스터마이제이션 포인트 객체

views::concat 이름은 커스터마이제이션 포인트 객체 를 나타내며, 이는 함수 객체 의 상수 리터럴 semiregular 클래스 타입입니다. 자세한 내용은 CustomizationPointObject 를 참조하십시오.

데이터 멤버

멤버 함수

추론 가이드

중첩 클래스

헬퍼 템플릿

concat_view 에 대한 ranges:: enable_borrowed_range 특수화는 존재하지 않습니다. 이는 반복자 구현이 항상 모든 기반 범위의 모든 반복자와 센티널의 복사본을 포함해야 하기 때문입니다.

참고 사항

인수가 없는 views :: concat ( ) 는 요소 타입 T 를 결정할 합리적인 방법이 없기 때문에 형식 오류입니다. 단일 인수 views :: concat ( r ) 는 views:: all ( r ) 와 동등한 표현식입니다.

예제

#include <cassert>
#include <list>
#include <print>
#include <ranges>
#include <vector>
int main()
{
    std::vector<int> v0{1, 2, 3}, v1{4, 5};
    int a[]{6, 7};
    int i{8};
    auto ie{std::views::single(i)};
    auto con = std::views::concat(v0, v1, a, ie);
    assert(con.size() == v0.size() + v1.size() + std::size(a) + ie.size());
    std::println("con.size(): {}", con.size());
    std::println("con: {}", con);
    con[6] = 42; // con is random_access_range, operator[] returns a reference
    assert(a[1] == 42); // a[1] was modified via con[6]
    std::println("con: {}", con);
    std::list<int> l{7, 8}; // list is bidirectional range
    auto cat = std::views::concat(v0, l);
    std::println("cat: {}", cat);
    // cat[0] = 13; // compile-time error: cat is bidirectional => no operator[]
}

con.size(): 8
con: [1, 2, 3, 4, 5, 6, 7, 8]
con: [1, 2, 3, 4, 5, 6, 42, 8]
cat: [1, 2, 3, 7, 8]

참조문헌

참고 항목