Namespaces
Variants

    std::ranges::views::drop_while, std::ranges::drop_while_view

    cppreference.net에서 가져옴
     
    C++
     
    범위 라이브러리
    범위 어댑터
     
    std::ranges::drop_while_view
     
    헤더 <ranges> 
    template< ranges::view V, class Pred >
    requires ranges::input_range<V> &&
             std::is_object_v<Pred> &&
             std::indirect_unary_predicate<const Pred, ranges::iterator_t<V>>
class drop_while_view
    : public ranges::view_interface<drop_while_view<V, Pred>>
    		에 정의됨 (1) (since C++20) 
    namespace views {
    inline constexpr /* unspecified */ drop_while = /* unspecified */;
}
    		(2) (since C++20)
    호출 시그니처
    		 
    template< ranges::viewable_range R, class Pred >
    requires /* see below */
constexpr ranges::view auto drop_while( R&& r, Pred&& pred );
    		(since C++20) 
    template< class Pred >
constexpr /*range adaptor closure*/ drop_while( Pred&& pred );
    		(since C++20)
    1) 기본 시퀀스의 요소들 중 조건자가 view를 반환하는 첫 번째 요소부터 시작하는 뷰를 나타내는 범위 어댑터입니다.false.
    2) RangeAdaptorObject. 표현식 views::drop_while(e, f)은 임의의 적절한 부분 표현식 과 에 대해 drop_while_view(e, f)와 eexpression-equivalentf입니다.

    drop_while_view 기본 뷰 contiguous_range, random_access_range, bidirectional_range, forward_range, input_range, common_range 개념을 각각 모델링할 때 V도 해당 개념들을 모델링합니다. sized_range는 ranges::forward_range<V>와 std::sized_sentinel_for<ranges::sentinel_t<V>, ranges::iterator_t<V>>가 모델링되는 경우에만 모델링합니다.

    데이터 멤버

    멤버 설명
    V base_ (비공개) 기반 뷰
    (설명 전용 멤버 객체*)

    copyable-box<Pred>

    		(C++23까지)

    movable-box<Pred>

    		(C++23부터)
     pred_ (비공개)     		기반 함수 객체
    (설명 전용 멤버 객체*)
    비전파 캐시<ranges::iterator_t<V>> cache_ (비공개)
    (다음 조건을 만족하는 경우에만 있음: V가 forward_range를 만족)     		다음의 결과를 캐시하는 객체 begin()
    (설명 전용 멤버 객체*)

    멤버 함수

    		drop_while_view 를 생성합니다
    (public member function)
    		기본 (적응된) 뷰의 복사본을 반환합니다
    (public member function)
    		저장된 predicate에 대한 참조를 반환합니다
    (public member function)
    		시작 부분을 가리키는 반복자를 반환합니다
    (public member function)
    		끝 부분을 가리키는 반복자 또는 sentinel을 반환합니다
    (public member function)
    다음에서 상속됨 ranges::view_interface
    		파생 뷰가 비어 있는지 여부를 반환합니다. 단, sized_range 또는 forward_range
    를 만족하는 경우에만 제공됩니다. (std::ranges::view_interface<D>의 공개 멤버 함수)
    cbegin
    		 (C++23)
    범위의 시작을 가리키는 상수 반복자를 반환합니다. std::ranges::view_interface<D>(
    		cend
    (C++23)std::ranges::view_interface<D>범위의 상수 반복자에 대한 종착점을 반환합니다.
    		의 공개 멤버 함수) operator bool
    파생 뷰가 비어 있지 않은지 여부를 반환합니다. 단, std::ranges::view_interface<D>ranges::empty
    		(의 공개 멤버 함수)
    std::ranges::view_interface<D>data
    		contiguous_iterator를 충족하는 경우에만 제공됩니다. (의 공개 멤버 함수) size
    파생 뷰의 요소 개수를 반환합니다. std::ranges::view_interface<D>forward_range
    		sized_sentinel_for를 충족하는 경우 제공됩니다.
    (std::ranges::view_interface<D>의 공개 멤버 함수)
    		front파생 뷰의 첫 번째 요소를 반환합니다. 단, forward_range를 만족하는 경우 제공됩니다. (
    의 공개 멤버 함수)std::ranges::view_interface<D>
    		파생 뷰의 마지막 요소를 반환합니다. 단, nbidirectional_range와 common_range
    를 만족하는 경우에만 제공됩니다. (std::ranges::view_interface<D>의 공개 멤버 함수)

    추론 가이드

    헬퍼 템플릿

    template < class T, class Pred >

    constexpr bool enable_borrowed_range < std :: ranges :: drop_while_view < T, Pred >> =

    ranges:: enable_borrowed_range < T > ;
    		(C++20 이후)

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

    참고 사항

    range 개념이 요구하는 분할 상환 상수 시간 복잡도를 제공하기 위해, begin 의 결과는 drop_while_view 객체 내부에 캐시됩니다. 기본 범위가 begin() 의 첫 호출 후 수정되는 경우, drop_while_view 객체의 후속 사용은 직관적이지 않은 동작을 보일 수 있습니다.

    예제

    이 코드 실행 
    #include <iostream>
#include <ranges>
#include <string>
#include <string_view>
using std::operator""sv;
[[nodiscard]]
constexpr bool is_space(char p) noexcept
{
    auto ne = [p](auto q) { return p != q; };
    return !!(" \t\n\v\r\f" | std::views::drop_while(ne));
};
[[nodiscard("trims the output")]]
constexpr std::string_view trim_left(std::string_view const in) noexcept
{
    auto view = in | std::views::drop_while(is_space);
    return {view.begin(), view.end()};
}
[[nodiscard("trims the output")]]
constexpr std::string trim(std::string_view const in)
{
    auto view = in
              | std::views::drop_while(is_space)
              | std::views::reverse
              | std::views::drop_while(is_space)
              | std::views::reverse
              ;
    return {view.begin(), view.end()};
}
int main()
{
    static_assert(trim_left(" \n C++23") == "C++23"sv);
    constexpr auto src{" \f\n\t\r\vHello, C++20!\f\n\t\r\v "sv};
    static_assert(trim(src) == "Hello, C++20!");
    static constexpr auto v = {0, 1, 2, 3, 4, 5};
    for (int n : v | std::views::drop_while([](int i) { return i < 3; }))
        std::cout << n << ' ';
    std::cout << '\n';
}

    출력: 

    3 4 5

    결함 보고서

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

    DR 적용 대상 게시된 동작 올바른 동작
    LWG 3494 C++20 drop_while_view 는 절대 borrowed_range 가 아니었음 기본 뷰가 borrowed_range 인 경우 이 또한 borrowed_range 임

    참고 항목

    (C++20)
    		다른 view 의 요소들로 구성되며, 처음 N개 요소를 건너뛴 view
    (클래스 템플릿) (레인지 어댑터 객체)