std::ranges::view_interface
来自 cppreference.com
定义在头文件 <ranges> 中 |
||
template< class D > requires std::is_class_v<D> && std::same_as<D, std::remove_cv_t<D>> |
(自 C++20 起) | |
std::ranges::view_interface
是一个用于定义视图接口的辅助类模板。
view_interface
通常与 CRTP 一起使用
class my_view : public std::ranges::view_interface<my_view> { public: auto begin() const { /*...*/ } auto end() const { /*...*/ } // empty() is provided if begin() returns a forward iterator // and end() returns a sentinel for it. };
内容 |
[编辑] 成员函数
返回派生视图是否为空。如果它满足 sized_range 或 forward_range 则提供。(公有成员函数) | |
(C++23) |
返回指向范围开头的常量迭代器。 (公有成员函数) |
(C++23) |
返回范围的常量迭代器的哨兵。 (公有成员函数) |
返回派生视图是否不为空。如果 ranges::empty 对其适用则提供。 (公有成员函数) | |
获取派生视图数据的地址。如果其迭代器类型满足 contiguous_iterator 则提供。(公有成员函数) | |
返回派生视图中的元素数量。如果它满足 forward_range 并且其哨兵和迭代器类型满足 sized_sentinel_for 则提供。(公有成员函数) | |
返回派生视图中的第一个元素。如果它满足 forward_range 则提供。(公有成员函数) | |
返回派生视图中的最后一个元素。如果它满足 bidirectional_range 和 common_range 则提供。(公有成员函数) | |
返回派生视图中的第 n 个元素。如果它满足 random_access_range 则提供。(公有成员函数) |
[编辑] 示例
运行此代码
#include <iostream> #include <ranges> #include <vector> template<class T, class A> class VectorView : public std::ranges::view_interface<VectorView<T, A>> { public: VectorView() = default; VectorView(const std::vector<T, A>& vec) : m_begin(vec.cbegin()), m_end(vec.cend()) {} auto begin() const { return m_begin; } auto end() const { return m_end; } private: typename std::vector<T, A>::const_iterator m_begin{}, m_end{}; }; int main() { std::vector<int> v = {1, 4, 9, 16}; VectorView view_over_v{v}; // We can iterate with begin() and end(). for (int n : view_over_v) std::cout << n << ' '; std::cout << '\n'; // We get operator[] for free when inheriting from view_interface // since we satisfy the random_access_range concept. for (std::ptrdiff_t i = 0; i != view_over_v.size(); ++i) std::cout << "v[" << i << "] = " << view_over_v[i] << '\n'; }
输出
1 4 9 16 v[0] = 1 v[1] = 4 v[2] = 9 v[3] = 16
[编辑] 缺陷报告
以下行为更改缺陷报告已追溯应用于之前发布的 C++ 标准。
DR | 应用于 | 已发布的行为 | 正确的行为 |
---|---|---|---|
LWG 3549 | C++20 | view_interface 要求从 view_base 派生,这有时需要在视图中使用多个 view_base 子对象 |
删除了继承 |
[编辑] 参见
(C++20) |
将迭代器-哨兵对组合成一个 view (类模板) |