Range-v3
Range algorithms, views, and actions for the Standard Library
ranges::v3::any_view< Ref, Cat, enable > Struct Template Reference

Description

template<typename Ref, category Cat = category::input, typename enable = void>
struct ranges::v3::any_view< Ref, Cat, enable >

A type-erased view.

+ Inheritance diagram for ranges::v3::any_view< Ref, Cat, enable >:

Public Member Functions

template<typename Rng , requires = (meta::and_< meta::not_<Same<detail::decay_t<Rng>, any_view>>, InputRange<Rng>, meta::defer<detail::AnyCompatibleRange, Rng, Ref>>::value)>
 any_view (Rng &&rng)
 
 any_view (any_view &&)=default
 
 any_view (any_view const &that)
 
any_viewoperator= (any_view &&)=default
 
any_viewoperator= (any_view const &that)
 
std::size_t size () const
 
- Public Member Functions inherited from ranges::v3::view_facade< any_view< Ref, Cat >,(Cat &category::sized)==category::sized ? finite :unknown >
detail::facade_iterator_t< D > begin ()
 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...
 
detail::facade_iterator_t< D const > begin () const
 
detail::facade_sentinel_t< D > end ()
 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...
 
detail::facade_sentinel_t< D const > end () const
 
- Public Member Functions inherited from ranges::v3::view_interface< any_view< Ref, Cat >, Cardinality >
auto at (range_difference_type_t< D > n) -> decltype(std::declval< D & >().begin()[n])
 Returns a reference to the element at specified location pos, with bounds checking.
 
auto at (range_difference_type_t< D > n) const -> decltype(std::declval< D const & >().begin()[n])
 
range_reference_t< D > back ()
 Access the last element in a range:
 
constexpr range_reference_t< D const > back () const
 
constexpr bool empty () const noexcept
 
bool empty () noexcept(noexcept(bool(ranges::begin(std::declval< D & >())==ranges::end(std::declval< D & >()))))
 
constexpr bool empty () const noexcept(noexcept(bool(ranges::begin(std::declval< D const & >())==ranges::end(std::declval< D const & >()))))
 
range_reference_t< D > front ()
 Access the first element in a range:
 
constexpr range_reference_t< D const > front () const
 
constexpr operator bool () const noexcept(noexcept(ranges::empty(std::declval< D const & >())))
 
 operator Container ()
 Implicit conversion to something that looks like a container.
 
constexpr operator Container () const
 
constexpr auto operator! () const noexcept(noexcept(decltype(ranges::empty(std::declval< D const & >()))(ranges::empty(std::declval< D const & >())))) -> decltype(ranges::empty(std::declval< D const & >()))
 
view_interfaceoperator= (view_interface &&)=default
 
view_interfaceoperator= (view_interface const &)=default
 
auto operator[] (range_difference_type_t< D > n) -> decltype(std::declval< D & >().begin()[n])
 Simple indexing:
 
constexpr auto operator[] (range_difference_type_t< D > n) const -> decltype(std::declval< D const & >().begin()[n])
 
auto operator[] (detail::slice_bounds< range_difference_type_t< D >> offs) &-> decltype(std::declval< Slice >()(std::declval< D & >(), offs.from, offs.to))
 Python-ic slicing:
 
constexpr auto operator[] (detail::slice_bounds< range_difference_type_t< D >> offs) const &-> decltype(std::declval< Slice >()(std::declval< D const & >(), offs.from, offs.to))
 
auto operator[] (detail::slice_bounds< range_difference_type_t< D >> offs) &&-> decltype(std::declval< Slice >()(std::declval< D >(), offs.from, offs.to))
 
auto operator[] (detail::slice_bounds< range_difference_type_t< D >, detail::from_end_< range_difference_type_t< D >>> offs) &-> decltype(std::declval< Slice >()(std::declval< D & >(), offs.from, offs.to))
 
constexpr auto operator[] (detail::slice_bounds< range_difference_type_t< D >, detail::from_end_< range_difference_type_t< D >>> offs) const &-> decltype(std::declval< Slice >()(std::declval< D const & >(), offs.from, offs.to))
 
auto operator[] (detail::slice_bounds< range_difference_type_t< D >, detail::from_end_< range_difference_type_t< D >>> offs) &&-> decltype(std::declval< Slice >()(std::declval< D >(), offs.from, offs.to))
 
auto operator[] (detail::slice_bounds< detail::from_end_< range_difference_type_t< D >>, detail::from_end_< range_difference_type_t< D >>> offs) &-> decltype(std::declval< Slice >()(std::declval< D & >(), offs.from, offs.to))
 
constexpr auto operator[] (detail::slice_bounds< detail::from_end_< range_difference_type_t< D >>, detail::from_end_< range_difference_type_t< D >>> offs) const &-> decltype(std::declval< Slice >()(std::declval< D const & >(), offs.from, offs.to))
 
auto operator[] (detail::slice_bounds< detail::from_end_< range_difference_type_t< D >>, detail::from_end_< range_difference_type_t< D >>> offs) &&-> decltype(std::declval< Slice >()(std::declval< D >(), offs.from, offs.to))
 
auto operator[] (detail::slice_bounds< range_difference_type_t< D >, end_fn > offs) &-> decltype(std::declval< Slice >()(std::declval< D & >(), offs.from, offs.to))
 
constexpr auto operator[] (detail::slice_bounds< range_difference_type_t< D >, end_fn > offs) const &-> decltype(std::declval< Slice >()(std::declval< D const & >(), offs.from, offs.to))
 
auto operator[] (detail::slice_bounds< range_difference_type_t< D >, end_fn > offs) &&-> decltype(std::declval< Slice >()(std::declval< D >(), offs.from, offs.to))
 
auto operator[] (detail::slice_bounds< detail::from_end_< range_difference_type_t< D >>, end_fn > offs) &-> decltype(std::declval< Slice >()(std::declval< D & >(), offs.from, offs.to))
 
constexpr auto operator[] (detail::slice_bounds< detail::from_end_< range_difference_type_t< D >>, end_fn > offs) const &-> decltype(std::declval< Slice >()(std::declval< D const & >(), offs.from, offs.to))
 
auto operator[] (detail::slice_bounds< detail::from_end_< range_difference_type_t< D >>, end_fn > offs) &&-> decltype(std::declval< Slice >()(std::declval< D >(), offs.from, offs.to))
 
constexpr range_size_type_t< D > size () const noexcept
 Access the size of the range, if it can be determined:
 
constexpr range_size_type_t< D > size () const
 
range_size_type_t< D > size ()
 
 view_interface (view_interface &&)=default
 
 view_interface (view_interface const &)=default
 

Public Attributes

friend range_access
 

Additional Inherited Members

- Protected Member Functions inherited from ranges::v3::view_facade< any_view< Ref, Cat >,(Cat &category::sized)==category::sized ? finite :unknown >
any_view< Ref, Cat > begin_cursor () const
 
constexpr default_sentinel end_cursor () const
 
- Protected Member Functions inherited from ranges::v3::view_interface< any_view< Ref, Cat >, Cardinality >
any_view< Ref, Cat > & derived () noexcept
 
constexpr any_view< Ref, Cat > const & derived () const noexcept
 
- Protected Attributes inherited from ranges::v3::view_facade< any_view< Ref, Cat >,(Cat &category::sized)==category::sized ? finite :unknown >
friend range_access
 

Member Function Documentation

◆ size()

template<typename Ref , category Cat = category::input, typename enable = void>
std::size_t ranges::v3::any_view< Ref, Cat, enable >::size ( ) const
Precondition
(Cat & category::sized) == category::sized