ad2fbea797
This has the benefit of consistent placement for these macros (outside the namespace, not inside it). This, in turn, makes it more obvious that the condition applies to the entire namespace scope. Compile times are also reduced a bit, since the compiler doesn't have to open a namespace just to close it again. This is enforced with a clang-tidy check. As a drive-by this also fixes a few macro comments.
89 lines
2.7 KiB
C++
89 lines
2.7 KiB
C++
// -*- C++ -*-
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef _LIBCPP___RANGES_REF_VIEW_H
|
|
#define _LIBCPP___RANGES_REF_VIEW_H
|
|
|
|
#include <__concepts/convertible_to.h>
|
|
#include <__concepts/different_from.h>
|
|
#include <__config>
|
|
#include <__iterator/concepts.h>
|
|
#include <__iterator/incrementable_traits.h>
|
|
#include <__iterator/iterator_traits.h>
|
|
#include <__memory/addressof.h>
|
|
#include <__ranges/access.h>
|
|
#include <__ranges/concepts.h>
|
|
#include <__ranges/data.h>
|
|
#include <__ranges/empty.h>
|
|
#include <__ranges/enable_borrowed_range.h>
|
|
#include <__ranges/size.h>
|
|
#include <__ranges/view_interface.h>
|
|
#include <__type_traits/is_object.h>
|
|
#include <__utility/declval.h>
|
|
#include <__utility/forward.h>
|
|
|
|
#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
|
|
# pragma GCC system_header
|
|
#endif
|
|
|
|
#if _LIBCPP_STD_VER >= 20
|
|
|
|
_LIBCPP_BEGIN_NAMESPACE_STD
|
|
|
|
namespace ranges {
|
|
template <range _Range>
|
|
requires is_object_v<_Range>
|
|
class ref_view : public view_interface<ref_view<_Range>> {
|
|
_Range* __range_;
|
|
|
|
static void __fun(_Range&);
|
|
static void __fun(_Range&&) = delete; // NOLINT(modernize-use-equals-delete) ; This is llvm.org/PR54276
|
|
|
|
public:
|
|
template <class _Tp>
|
|
requires __different_from<_Tp, ref_view> && convertible_to<_Tp, _Range&> && requires { __fun(std::declval<_Tp>()); }
|
|
_LIBCPP_HIDE_FROM_ABI constexpr ref_view(_Tp&& __t)
|
|
: __range_(std::addressof(static_cast<_Range&>(std::forward<_Tp>(__t)))) {}
|
|
|
|
[[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr _Range& base() const { return *__range_; }
|
|
|
|
[[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr iterator_t<_Range> begin() const { return ranges::begin(*__range_); }
|
|
[[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr sentinel_t<_Range> end() const { return ranges::end(*__range_); }
|
|
|
|
[[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr bool empty() const
|
|
requires requires { ranges::empty(*__range_); }
|
|
{
|
|
return ranges::empty(*__range_);
|
|
}
|
|
|
|
[[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr auto size() const
|
|
requires sized_range<_Range>
|
|
{
|
|
return ranges::size(*__range_);
|
|
}
|
|
|
|
[[nodiscard]] _LIBCPP_HIDE_FROM_ABI constexpr auto data() const
|
|
requires contiguous_range<_Range>
|
|
{
|
|
return ranges::data(*__range_);
|
|
}
|
|
};
|
|
|
|
template <class _Range>
|
|
ref_view(_Range&) -> ref_view<_Range>;
|
|
|
|
template <class _Tp>
|
|
inline constexpr bool enable_borrowed_range<ref_view<_Tp>> = true;
|
|
} // namespace ranges
|
|
|
|
_LIBCPP_END_NAMESPACE_STD
|
|
|
|
#endif // _LIBCPP_STD_VER >= 20
|
|
|
|
#endif // _LIBCPP___RANGES_REF_VIEW_H
|