std::ranges:: find_last, std::ranges:: find_last_if, std::ranges:: find_last_if_not

From cppreference.net

헤더 파일에 정의됨 `<algorithm>`
호출 시그니처
	(1)
template < std:: forward_iterator I, std:: sentinel_for < I > S, class T, class Proj = std:: identity > requires std:: indirect_binary_predicate < ranges:: equal_to , std :: projected < I, Proj > , const T * > constexpr ranges:: subrange < I > find_last ( I first, S last, const T & value, Proj proj = { } ) ;			(C++23부터) (C++26까지)
template < std:: forward_iterator I, std:: sentinel_for < I > S, class Proj = std:: identity , class T = std :: projected_value_t < I, Proj > > requires std:: indirect_binary_predicate < ranges:: equal_to , std :: projected < I, Proj > , const T * > constexpr ranges:: subrange < I > find_last ( I first, S last, const T & value, Proj proj = { } ) ;			(C++26부터)
		(2)
template < ranges:: forward_range R, class T, class Proj = std:: identity > requires std:: indirect_binary_predicate < ranges:: equal_to , std :: projected < ranges:: iterator_t < R > , Proj > , const T * > constexpr ranges:: borrowed_subrange_t < R > find_last ( R && r, const T & value, Proj proj = { } ) ;				(C++23부터) (C++26 이전까지)
template < ranges:: forward_range R, class Proj = std:: identity , class T = std :: projected_value_t < iterator_t < R > , Proj > > requires std:: indirect_binary_predicate < ranges:: equal_to , std :: projected < ranges:: iterator_t < R > , Proj > , const T * > constexpr ranges:: borrowed_subrange_t < R > find_last ( R && r, const T & value, Proj proj = { } ) ;				(C++26부터)
template < std:: forward_iterator I, std:: sentinel_for < I > S, class Proj = std:: identity , std:: indirect_unary_predicate < std :: projected < I, Proj >> Pred > constexpr ranges:: subrange < I > find_last_if ( I first, S last, Pred pred, Proj proj = { } ) ;			(3)	(C++23부터)
template < ranges:: forward_range R, class Proj = std:: identity , std:: indirect_unary_predicate < std :: projected < ranges:: iterator_t < R > , Proj >> Pred > constexpr ranges:: borrowed_subrange_t < R > find_last_if ( R && r, Pred pred, Proj proj = { } ) ;			(4)	(C++23 이후)
template < std:: forward_iterator I, std:: sentinel_for < I > S, class Proj = std:: identity , std:: indirect_unary_predicate < std :: projected < I, Proj >> Pred > constexpr ranges:: subrange < I > find_last_if_not ( I first, S last, Pred pred, Proj proj = { } ) ;			(5)	(C++23 이후)
template < ranges:: forward_range R, class Proj = std:: identity , std:: indirect_unary_predicate < std :: projected < ranges:: iterator_t < R > , Proj >> Pred > constexpr ranges:: borrowed_subrange_t < R > find_last_if_not ( R && r, Pred pred, Proj proj = { } ) ;			(6)	(C++23 이후)

범위 [ first , last ) 내에서 특정 조건을 만족하는 마지막 요소를 반환합니다:


        find_last

는 value 와 동일한 요소를 검색합니다.


        find_last_if

는 범위

first

last

에서 술어 pred 가 true 를 반환하는 마지막 요소를 검색합니다.


        find_last_if_not

는 범위

first

last

에서 술어 pred 가 false 를 반환하는 마지막 요소를 검색합니다.

2,4,6) (1,3,5) 와 동일하지만, r 를 소스 범위로 사용하며, 마치 ranges:: begin ( r ) 를 first 로, ranges:: end ( r ) 를 last 로 사용하는 것과 같습니다.

이 페이지에서 설명하는 함수형 개체들은 algorithm function objects (일반적으로 niebloids 로 알려진)입니다. 즉:

명시적 템플릿 인수 목록은 이들 중 어느 것을 호출할 때도 지정할 수 없습니다.
이들 중 어느 것도 인수 의존 이름 검색 에 보이지 않습니다.
이들 중 어느 것이 함수 호출 연산자의 왼쪽 이름으로 일반 비한정 이름 검색 에 의해 발견될 때, 인수 의존 이름 검색 이 억제됩니다.

find_last (1,2)
struct find_last_fn { template<std::forward_iterator I, std::sentinel_for<I> S, class Proj = std::identity, class T = std::projected_value_t<iterator_t<R>, Proj>> requires std::indirect_binary_predicate <ranges::equal_to, std::projected<I, Proj>, const T> constexpr ranges::subrange<I> operator()(I first, S last, const T &value, Proj proj = {}) const { // 참고: I가 단순 forward_iterator인 경우, begin부터 end까지만 순회할 수 있습니다. std::optional<I> found; for (; first != last; ++first) if (std::invoke(proj, first) == value) found = first; if (!found) return {first, first}; return {found, std::ranges::next(found, last)}; } template<ranges::forward_range R, class Proj = std::identity, class T = std::projected_value_t<iterator_t<R>, Proj>> requires std::indirect_binary_predicate <ranges::equal_to, std::projected<ranges::iterator_t<R>, Proj>, const T*> constexpr ranges::borrowed_subrange_t<R> operator()(R&& r, const T &value, Proj proj = {}) const { return this->operator()(ranges::begin(r), ranges::end(r), value, std::ref(proj)); } }; inline constexpr find_last_fn find_last;
find_last_if (3,4)
struct find_last_if_fn { template<std::forward_iterator I, std::sentinel_for<I> S, class Proj = std::identity, std::indirect_unary_predicate<std::projected<I, Proj>> Pred> constexpr ranges::subrange<I> operator()(I first, S last, Pred pred, Proj proj = {}) const { // 참고: I가 단순 forward_iterator인 경우, begin부터 end까지만 순회할 수 있습니다. std::optional<I> found; for (; first != last; ++first) if (std::invoke(pred, std::invoke(proj, first))) found = first; if (!found) return {first, first}; return {found, std::ranges::next(*found, last)}; } template<ranges::forward_range R, class Proj = std::identity, std::indirect_unary_predicate <std::projected<ranges::iterator_t<R>, Proj>> Pred> constexpr ranges::borrowed_subrange_t<R> operator()(R&& r, Pred pred, Proj proj = {}) const { return this->operator()(ranges::begin(r), ranges::end(r), std::ref(pred), std::ref(proj)); } }; inline constexpr find_last_if_fn find_last_if;
find_last_if_not (5,6)
struct find_last_if_not_fn { template<std::forward_iterator I, std::sentinel_for<I> S, class Proj = std::identity, std::indirect_unary_predicate<std::projected<I, Proj>> Pred> constexpr ranges::subrange<I> operator()(I first, S last, Pred pred, Proj proj = {}) const { // 참고: I가 단순 forward_iterator인 경우, begin부터 end까지만 순회할 수 있습니다. std::optional<I> found; for (; first != last; ++first) if (!std::invoke(pred, std::invoke(proj, first))) found = first; if (!found) return {first, first}; return {found, std::ranges::next(*found, last)}; } template<ranges::forward_range R, class Proj = std::identity, std::indirect_unary_predicate <std::projected<ranges::iterator_t<R>, Proj>> Pred> constexpr ranges::borrowed_subrange_t<R> operator()(R&& r, Pred pred, Proj proj = {}) const { return this->operator()(ranges::begin(r), ranges::end(r), std::ref(pred), std::ref(proj)); } }; inline constexpr find_last_if_not_fn find_last_if_not;

예제

이 코드 실행

#include <algorithm>
#include <cassert>
#include <forward_list>
#include <iomanip>
#include <iostream>
#include <string_view>
int main()
{
    namespace ranges = std::ranges;
    constexpr static auto v = {1, 2, 3, 1, 2, 3, 1, 2};
    {
        constexpr auto i1 = ranges::find_last(v.begin(), v.end(), 3);
        constexpr auto i2 = ranges::find_last(v, 3);
        static_assert(ranges::distance(v.begin(), i1.begin()) == 5);
        static_assert(ranges::distance(v.begin(), i2.begin()) == 5);
    }
    {
        constexpr auto i1 = ranges::find_last(v.begin(), v.end(), -3);
        constexpr auto i2 = ranges::find_last(v, -3);
        static_assert(i1.begin() == v.end());
        static_assert(i2.begin() == v.end());
    }
    auto abs = [](int x) { return x < 0 ? -x : x; };
    {
        auto pred = [](int x) { return x == 3; };
        constexpr auto i1 = ranges::find_last_if(v.begin(), v.end(), pred, abs);
        constexpr auto i2 = ranges::find_last_if(v, pred, abs);
        static_assert(ranges::distance(v.begin(), i1.begin()) == 5);
        static_assert(ranges::distance(v.begin(), i2.begin()) == 5);
    }
    {
        auto pred = [](int x) { return x == -3; };
        constexpr auto i1 = ranges::find_last_if(v.begin(), v.end(), pred, abs);
        constexpr auto i2 = ranges::find_last_if(v, pred, abs);
        static_assert(i1.begin() == v.end());
        static_assert(i2.begin() == v.end());
    }
    {
        auto pred = [](int x) { return x == 1 or x == 2; };
        constexpr auto i1 = ranges::find_last_if_not(v.begin(), v.end(), pred, abs);
        constexpr auto i2 = ranges::find_last_if_not(v, pred, abs);
        static_assert(ranges::distance(v.begin(), i1.begin()) == 5);
        static_assert(ranges::distance(v.begin(), i2.begin()) == 5);
    }
    {
        auto pred = [](int x) { return x == 1 or x == 2 or x == 3; };
        constexpr auto i1 = ranges::find_last_if_not(v.begin(), v.end(), pred, abs);
        constexpr auto i2 = ranges::find_last_if_not(v, pred, abs);
        static_assert(i1.begin() == v.end());
        static_assert(i2.begin() == v.end());
    }
    using P = std::pair<std::string_view, int>;
    std::forward_list<P> list
    {
        {"하나", 1}, {"two", 2}, {"three", 3},
        {"하나", 4}, {"two", 5}, {"three", 6},
    };
    auto cmp_one = [](const std::string_view &s) { return s == "하나"; };
    // comparator를 만족하는 가장 최신 요소를 찾고, pair::first를 투영합니다
    const auto subrange = ranges::find_last_if(list, cmp_one, &P::first);
    std::cout << "발견된 요소와 그 뒤의 꼬리 부분은:\n";
    for (P const& e : subrange)
        std::cout << '{' << std::quoted(e.first) << ", " << e.second << "} ";
    std::cout << '\n';
#if __cpp_lib_algorithm_default_value_type
    const auto i3 = ranges::find_last(list, {"three", 3}); // (2) C++26
#else
    const auto i3 = ranges::find_last(list, P{"three", 3}); // (2) C++23
#endif
    assert(i3.begin()->first == "three" && i3.begin()->second == 3);
}

출력:

발견된 요소와 그 뒤의 나머지 부분은:
{"one", 4} {"two", 5} {"three", 6}

참고 항목

ranges::find_end (C++20)	특정 범위에서 마지막 원소 시퀀스를 찾음 (알고리즘 함수 객체)
ranges::find ranges::find_if ranges::find_if_not (C++20) (C++20) (C++20)	특정 기준을 만족하는 첫 번째 원소를 찾음 (알고리즘 함수 객체)
ranges::search (C++20)	원소 범위의 첫 번째 발생을 검색함 (알고리즘 함수 객체)
ranges::includes (C++20)	한 시퀀스가 다른 시퀀스의 부분 시퀀스이면 true 를 반환함 (알고리즘 함수 객체)
ranges::binary_search (C++20)	부분적으로 정렬된 범위에 원소가 존재하는지 확인함 (알고리즘 함수 객체)
ranges::contains ranges::contains_subrange (C++23) (C++23)	범위가 주어진 원소나 부분 범위를 포함하는지 확인함 (알고리즘 함수 객체)

Compiler support
Freestanding and hosted
Language
Standard library
Standard library headers
Named requirements
Feature test macros (C++20)
Language support library
Concepts library (C++20)
Diagnostics library
Memory management library
Metaprogramming library (C++11)
General utilities library
Containers library
Iterators library
Ranges library (C++20)
Algorithms library
Strings library
Text processing library
Numerics library
Date and time library
Input/output library
Filesystem library (C++17)
Concurrency support library (C++11)
Execution control library (C++26)
Technical specifications
Symbols index
External libraries

first, last	-	검사할 요소들의 범위 를 정의하는 반복자-감시자 쌍
r	-	검사할 요소들의 범위
value	-	요소들과 비교할 값
pred	-	투영된 요소들에 적용할 조건자
proj	-	요소들에 적용할 투영

기능 테스트 매크로	값	표준	기능
`__cpp_lib_ranges_find_last`	`202207L`	(C++23)	`ranges::find_last` , `ranges::find_last_if` , `ranges::find_last_if_not`
`__cpp_lib_algorithm_default_value_type`	`202403L`	(C++26)	목록 초기화 for algorithms ( 1,2 )

cppreference.net

Namespaces

Variants

std::ranges:: find_last, std::ranges:: find_last_if, std::ranges:: find_last_if_not

목차

매개변수

반환값

복잡도

참고 사항

가능한 구현

예제

참고 항목