命名空间
变体
操作

std::ranges::viewable_range

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
定义在头文件 <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> 当且仅当 std::remove_cvref_t<T>std::initializer_list 的特化时为 true

[编辑] 示例

#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 接受了可移动视图的左值 拒绝
P2415R2 C++20 viewable_range 只接受不是 view 的右值,这些右值是 borrowed_range 接受更多类型

[编辑] 另请参见

一个 view,它包含 range 中的所有元素
(别名模板) (范围适配器对象)[编辑]