diff options
Diffstat (limited to 'libcxx/include/__ranges/owning_view.h')
-rw-r--r-- | libcxx/include/__ranges/owning_view.h | 106 |
1 files changed, 67 insertions, 39 deletions
diff --git a/libcxx/include/__ranges/owning_view.h b/libcxx/include/__ranges/owning_view.h index c846de8..254bdb4 100644 --- a/libcxx/include/__ranges/owning_view.h +++ b/libcxx/include/__ranges/owning_view.h @@ -35,47 +35,75 @@ _LIBCPP_BEGIN_NAMESPACE_STD #if _LIBCPP_STD_VER >= 20 namespace ranges { - template<range _Rp> - requires movable<_Rp> && (!__is_std_initializer_list<remove_cvref_t<_Rp>>) - class owning_view : public view_interface<owning_view<_Rp>> { - _Rp __r_ = _Rp(); +template <range _Rp> + requires movable<_Rp> && (!__is_std_initializer_list<remove_cvref_t<_Rp>>) +class owning_view : public view_interface<owning_view<_Rp>> { + _Rp __r_ = _Rp(); public: - _LIBCPP_HIDE_FROM_ABI owning_view() requires default_initializable<_Rp> = default; - _LIBCPP_HIDE_FROM_ABI constexpr owning_view(_Rp&& __r) : __r_(std::move(__r)) {} - - _LIBCPP_HIDE_FROM_ABI owning_view(owning_view&&) = default; - _LIBCPP_HIDE_FROM_ABI owning_view& operator=(owning_view&&) = default; - - _LIBCPP_HIDE_FROM_ABI constexpr _Rp& base() & noexcept { return __r_; } - _LIBCPP_HIDE_FROM_ABI constexpr const _Rp& base() const& noexcept { return __r_; } - _LIBCPP_HIDE_FROM_ABI constexpr _Rp&& base() && noexcept { return std::move(__r_); } - _LIBCPP_HIDE_FROM_ABI constexpr const _Rp&& base() const&& noexcept { return std::move(__r_); } - - _LIBCPP_HIDE_FROM_ABI constexpr iterator_t<_Rp> begin() { return ranges::begin(__r_); } - _LIBCPP_HIDE_FROM_ABI constexpr sentinel_t<_Rp> end() { return ranges::end(__r_); } - _LIBCPP_HIDE_FROM_ABI constexpr auto begin() const requires range<const _Rp> { return ranges::begin(__r_); } - _LIBCPP_HIDE_FROM_ABI constexpr auto end() const requires range<const _Rp> { return ranges::end(__r_); } - - _LIBCPP_HIDE_FROM_ABI constexpr bool empty() requires requires { ranges::empty(__r_); } - { return ranges::empty(__r_); } - _LIBCPP_HIDE_FROM_ABI constexpr bool empty() const requires requires { ranges::empty(__r_); } - { return ranges::empty(__r_); } - - _LIBCPP_HIDE_FROM_ABI constexpr auto size() requires sized_range<_Rp> - { return ranges::size(__r_); } - _LIBCPP_HIDE_FROM_ABI constexpr auto size() const requires sized_range<const _Rp> - { return ranges::size(__r_); } - - _LIBCPP_HIDE_FROM_ABI constexpr auto data() requires contiguous_range<_Rp> - { return ranges::data(__r_); } - _LIBCPP_HIDE_FROM_ABI constexpr auto data() const requires contiguous_range<const _Rp> - { return ranges::data(__r_); } - }; - _LIBCPP_CTAD_SUPPORTED_FOR_TYPE(owning_view); - - template<class _Tp> - inline constexpr bool enable_borrowed_range<owning_view<_Tp>> = enable_borrowed_range<_Tp>; + _LIBCPP_HIDE_FROM_ABI owning_view() + requires default_initializable<_Rp> + = default; + _LIBCPP_HIDE_FROM_ABI constexpr owning_view(_Rp&& __r) : __r_(std::move(__r)) {} + + _LIBCPP_HIDE_FROM_ABI owning_view(owning_view&&) = default; + _LIBCPP_HIDE_FROM_ABI owning_view& operator=(owning_view&&) = default; + + _LIBCPP_HIDE_FROM_ABI constexpr _Rp& base() & noexcept { return __r_; } + _LIBCPP_HIDE_FROM_ABI constexpr const _Rp& base() const& noexcept { return __r_; } + _LIBCPP_HIDE_FROM_ABI constexpr _Rp&& base() && noexcept { return std::move(__r_); } + _LIBCPP_HIDE_FROM_ABI constexpr const _Rp&& base() const&& noexcept { return std::move(__r_); } + + _LIBCPP_HIDE_FROM_ABI constexpr iterator_t<_Rp> begin() { return ranges::begin(__r_); } + _LIBCPP_HIDE_FROM_ABI constexpr sentinel_t<_Rp> end() { return ranges::end(__r_); } + _LIBCPP_HIDE_FROM_ABI constexpr auto begin() const + requires range<const _Rp> + { + return ranges::begin(__r_); + } + _LIBCPP_HIDE_FROM_ABI constexpr auto end() const + requires range<const _Rp> + { + return ranges::end(__r_); + } + + _LIBCPP_HIDE_FROM_ABI constexpr bool empty() + requires requires { ranges::empty(__r_); } + { + return ranges::empty(__r_); + } + _LIBCPP_HIDE_FROM_ABI constexpr bool empty() const + requires requires { ranges::empty(__r_); } + { + return ranges::empty(__r_); + } + + _LIBCPP_HIDE_FROM_ABI constexpr auto size() + requires sized_range<_Rp> + { + return ranges::size(__r_); + } + _LIBCPP_HIDE_FROM_ABI constexpr auto size() const + requires sized_range<const _Rp> + { + return ranges::size(__r_); + } + + _LIBCPP_HIDE_FROM_ABI constexpr auto data() + requires contiguous_range<_Rp> + { + return ranges::data(__r_); + } + _LIBCPP_HIDE_FROM_ABI constexpr auto data() const + requires contiguous_range<const _Rp> + { + return ranges::data(__r_); + } +}; +_LIBCPP_CTAD_SUPPORTED_FOR_TYPE(owning_view); + +template <class _Tp> +inline constexpr bool enable_borrowed_range<owning_view<_Tp>> = enable_borrowed_range<_Tp>; } // namespace ranges |