A utility for constructing a view from a (derived) type that implements begin and end cursors.
More...
|
| template (typename D=Derived)() const expr auto begin() -> detail::facade_iterator_t< D > |
| Let d be static_cast<Derived &>(*this) .
|
|
| template (typename D=Derived)() const expr auto begin() const -> detail::facade_iterator_t< D const > |
| 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)() const expr auto end() -> detail::facade_sentinel_t< D > |
| Let d be static_cast<Derived &>(*this) .
|
|
| template (typename D=Derived)() const expr auto end() const -> detail::facade_sentinel_t< D const > |
| This is an overloaded member function, provided for convenience. It differs from the above function only in what argument(s) it accepts.
|
|
| view_interface (view_interface &&)=default |
|
| view_interface (view_interface const &)=default |
|
view_interface & | operator= (view_interface &&)=default |
|
view_interface & | operator= (view_interface const &)=default |
|
CPP_member constexpr auto | empty () const noexcept -> CPP_ret(bool)() |
| Test whether a range can be empty:
|
|
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 . |