Namespaces
Variants

    std::ranges::viewable_range

    ko.cppreference.net 제공
     
    C++
     
    범위 라이브러리
    범위 어댑터
     
    헤더 <ranges> 
    template< class T >
concept viewable_range =
    ranges::range<T> &&
    ((ranges::view<std::remove_cvref_t<T>> &&
      std::constructible_from<std::remove_cvref_t<T>, T>) ||
     (!ranges::view<std::remove_cvref_t<T>> &&
      (std::is_lvalue_reference_v<T> ||
       (std::movable<std::remove_reference_t<T>> && !/*is-initializer-list*/<T>))));
    		에 정의됨 (C++20부터)

    컨셉 viewable_range 은 range를 개선한 것으로, views::all을 통해 view로 변환될 수 있는 범위를 설명합니다.

    상수 /*is-initializer-list*/<T> 은(는) true 가 std::remove_cvref_t<T>std::initializer_list의 특수화인 경우에만 입니다.

    예제

    이 코드 실행 
    #include <ranges>
#include <string>
#include <vector>
struct valid_result {};
struct invalid_result {};
template <typename T>
concept valid_viewable_range = std::same_as<T, valid_result>;
template <typename T>
concept invalid_viewable_range = std::same_as<T, invalid_result>;
auto test_viewable_range(std::ranges::viewable_range auto &&) -> valid_result;
auto test_viewable_range(auto&&) -> invalid_result;
int main()
{
    auto il = {1, 2, 3};
    int arr []{1, 2, 3};
    std::vector vec{1, 2, 3};
    std::ranges::ref_view r{arr};
    std::ranges::owning_view o{std::string("Hello")};
    static_assert(requires {
        { test_viewable_range(il) } -> valid_viewable_range;
        { test_viewable_range(std::move(il)) } -> invalid_viewable_range;
        { test_viewable_range(arr) } -> valid_viewable_range;
        { test_viewable_range(std::move(arr)) } -> invalid_viewable_range;
        { test_viewable_range(vec) } -> valid_viewable_range;
        { test_viewable_range(std::move(vec)) } -> valid_viewable_range;
        { test_viewable_range(r) } -> valid_viewable_range;
        { test_viewable_range(std::move(r)) } -> valid_viewable_range;
        { test_viewable_range(o) } -> invalid_viewable_range;
        { test_viewable_range(std::move(o)) } -> valid_viewable_range;
        { test_viewable_range(std::ranges::ref_view(o)) } -> valid_viewable_range;
    });
}

    결함 보고서

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

    DR 적용 대상 게시된 동작 올바른 동작
    LWG 3481 C++20 viewable_range 가 이동 전용 뷰의 lvalue를 수락함 거부함
    P2415R2 C++20 viewable_range 가 view 가 아닌 rvalue 중 borrowed_range 인 경우만 수락함 더 많은 타입을 수락함

    참고 항목

    (C++20)
    		range 의 모든 요소를 포함하는 view
    (alias template) (range adaptor object)