1*4d6fc14bSjoerg // -*- C++ -*- 2*4d6fc14bSjoerg //===----------------------------------------------------------------------===// 3*4d6fc14bSjoerg // 4*4d6fc14bSjoerg // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 5*4d6fc14bSjoerg // See https://llvm.org/LICENSE.txt for license information. 6*4d6fc14bSjoerg // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 7*4d6fc14bSjoerg // 8*4d6fc14bSjoerg //===----------------------------------------------------------------------===// 9*4d6fc14bSjoerg #ifndef _LIBCPP___RANGES_EMPTY_H 10*4d6fc14bSjoerg #define _LIBCPP___RANGES_EMPTY_H 11*4d6fc14bSjoerg 12*4d6fc14bSjoerg #include <__config> 13*4d6fc14bSjoerg #include <__iterator/concepts.h> 14*4d6fc14bSjoerg #include <__ranges/size.h> 15*4d6fc14bSjoerg #include <type_traits> 16*4d6fc14bSjoerg 17*4d6fc14bSjoerg #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 18*4d6fc14bSjoerg #pragma GCC system_header 19*4d6fc14bSjoerg #endif 20*4d6fc14bSjoerg 21*4d6fc14bSjoerg _LIBCPP_PUSH_MACROS 22*4d6fc14bSjoerg #include <__undef_macros> 23*4d6fc14bSjoerg 24*4d6fc14bSjoerg _LIBCPP_BEGIN_NAMESPACE_STD 25*4d6fc14bSjoerg 26*4d6fc14bSjoerg #if !defined(_LIBCPP_HAS_NO_RANGES) 27*4d6fc14bSjoerg 28*4d6fc14bSjoerg // clang-format off 29*4d6fc14bSjoerg namespace ranges { 30*4d6fc14bSjoerg // [range.prim.empty] 31*4d6fc14bSjoerg namespace __empty { 32*4d6fc14bSjoerg template <class _Tp> requires(_Tp && __t)33*4d6fc14bSjoerg concept __member_empty = requires(_Tp&& __t) { 34*4d6fc14bSjoerg bool(_VSTD::forward<_Tp>(__t).empty()); 35*4d6fc14bSjoerg }; 36*4d6fc14bSjoerg 37*4d6fc14bSjoerg template<class _Tp> 38*4d6fc14bSjoerg concept __can_invoke_size = 39*4d6fc14bSjoerg !__member_empty<_Tp> && 40*4d6fc14bSjoerg requires(_Tp&& __t) { ranges::size(_VSTD::forward<_Tp>(__t)); }; 41*4d6fc14bSjoerg 42*4d6fc14bSjoerg template <class _Tp> 43*4d6fc14bSjoerg concept __can_compare_begin_end = 44*4d6fc14bSjoerg !__member_empty<_Tp> && 45*4d6fc14bSjoerg !__can_invoke_size<_Tp> && 46*4d6fc14bSjoerg requires(_Tp&& __t) { 47*4d6fc14bSjoerg bool(ranges::begin(__t) == ranges::end(__t)); 48*4d6fc14bSjoerg { ranges::begin(__t) } -> forward_iterator; 49*4d6fc14bSjoerg }; 50*4d6fc14bSjoerg 51*4d6fc14bSjoerg struct __fn { 52*4d6fc14bSjoerg template <__member_empty _Tp> operator__fn53*4d6fc14bSjoerg [[nodiscard]] constexpr bool operator()(_Tp&& __t) const 54*4d6fc14bSjoerg noexcept(noexcept(bool(__t.empty()))) { 55*4d6fc14bSjoerg return __t.empty(); 56*4d6fc14bSjoerg } 57*4d6fc14bSjoerg 58*4d6fc14bSjoerg template <__can_invoke_size _Tp> operator__fn59*4d6fc14bSjoerg [[nodiscard]] constexpr bool operator()(_Tp&& __t) const 60*4d6fc14bSjoerg noexcept(noexcept(ranges::size(_VSTD::forward<_Tp>(__t)))) { 61*4d6fc14bSjoerg return ranges::size(_VSTD::forward<_Tp>(__t)) == 0; 62*4d6fc14bSjoerg } 63*4d6fc14bSjoerg 64*4d6fc14bSjoerg template<__can_compare_begin_end _Tp> operator__fn65*4d6fc14bSjoerg [[nodiscard]] constexpr bool operator()(_Tp&& __t) const 66*4d6fc14bSjoerg noexcept(noexcept(bool(ranges::begin(__t) == ranges::end(__t)))) { 67*4d6fc14bSjoerg return ranges::begin(__t) == ranges::end(__t); 68*4d6fc14bSjoerg } 69*4d6fc14bSjoerg }; 70*4d6fc14bSjoerg } 71*4d6fc14bSjoerg 72*4d6fc14bSjoerg inline namespace __cpo { 73*4d6fc14bSjoerg inline constexpr auto empty = __empty::__fn{}; 74*4d6fc14bSjoerg } // namespace __cpo 75*4d6fc14bSjoerg } // namespace ranges 76*4d6fc14bSjoerg // clang-format off 77*4d6fc14bSjoerg 78*4d6fc14bSjoerg #endif // !defined(_LIBCPP_HAS_NO_RANGES) 79*4d6fc14bSjoerg 80*4d6fc14bSjoerg _LIBCPP_END_NAMESPACE_STD 81*4d6fc14bSjoerg 82*4d6fc14bSjoerg _LIBCPP_POP_MACROS 83*4d6fc14bSjoerg 84*4d6fc14bSjoerg #endif // _LIBCPP___RANGES_EMPTY_H 85