std::ranges::viewable_range
来自 cppreference.com
定义在头文件 <ranges> 中 |
||
template< class T > concept viewable_range = |
(自 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 |
接受更多类型 |
[编辑] 另请参见
(C++20) |
一个 view ,它包含 range 中的所有元素(别名模板) (范围适配器对象) |