template<typename Derived, cardinality Cardinality>
struct ranges::view_facade< Derived, Cardinality >
A utility for constructing a view from a (derived) type that implements begin and end cursors.
- Template Parameters
-
Derived | A type that derives from view_facade and implements begin and end cursors. This type is permitted to be incomplete. |
Cardinality | The cardinality of this view: finite , infinite , or unknown . See ranges::cardinality . |
|
template<typename D = Derived> |
constexpr auto | begin () -> detail::facade_iterator_t< D > requires same_as< D, Derived > |
| Let d be static_cast<Derived &>(*this) . Let b be std::as_const(d).begin_cursor() if that expression is well-formed; otherwise, let b be d.begin_cursor() . Let B be the type of b . More...
|
|
template<typename D = Derived> |
constexpr auto | begin () const -> detail::facade_iterator_t< D const > requires same_as< D, Derived > |
| This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
|
|
template<typename D = Derived> |
constexpr auto | end () -> detail::facade_sentinel_t< D > requires same_as< D, Derived > |
| Let d be static_cast<Derived &>(*this) . Let e be std::as_const(d).end_cursor() if that expression is well-formed; otherwise, let e be d.end_cursor() . Let E be the type of e . More...
|
|
template<typename D = Derived> |
constexpr auto | end () const -> detail::facade_sentinel_t< D const > requires same_as< D, Derived > |
| This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
|
|