1e78f53d1SNikolas Klauser // -*- C++ -*- 2e78f53d1SNikolas Klauser //===----------------------------------------------------------------------===// 3e78f53d1SNikolas Klauser // 4e78f53d1SNikolas Klauser // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 5e78f53d1SNikolas Klauser // See https://llvm.org/LICENSE.txt for license information. 6e78f53d1SNikolas Klauser // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 7e78f53d1SNikolas Klauser // 8e78f53d1SNikolas Klauser //===----------------------------------------------------------------------===// 9e78f53d1SNikolas Klauser 10*ce777190SNikolas Klauser #ifndef _LIBCPP___CXX03___MEMORY_CONCEPTS_H 11*ce777190SNikolas Klauser #define _LIBCPP___CXX03___MEMORY_CONCEPTS_H 12e78f53d1SNikolas Klauser 1373fbae83SNikolas Klauser #include <__cxx03/__concepts/same_as.h> 1473fbae83SNikolas Klauser #include <__cxx03/__config> 1573fbae83SNikolas Klauser #include <__cxx03/__iterator/concepts.h> 1673fbae83SNikolas Klauser #include <__cxx03/__iterator/iterator_traits.h> 1773fbae83SNikolas Klauser #include <__cxx03/__iterator/readable_traits.h> 1873fbae83SNikolas Klauser #include <__cxx03/__ranges/access.h> 1973fbae83SNikolas Klauser #include <__cxx03/__ranges/concepts.h> 2073fbae83SNikolas Klauser #include <__cxx03/__type_traits/is_reference.h> 2173fbae83SNikolas Klauser #include <__cxx03/__type_traits/remove_cvref.h> 2273fbae83SNikolas Klauser #include <__cxx03/__type_traits/remove_reference.h> // TODO(modules): This should not be required 23e78f53d1SNikolas Klauser 24e78f53d1SNikolas Klauser #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 25e78f53d1SNikolas Klauser # pragma GCC system_header 26e78f53d1SNikolas Klauser #endif 27e78f53d1SNikolas Klauser 28e78f53d1SNikolas Klauser _LIBCPP_BEGIN_NAMESPACE_STD 29e78f53d1SNikolas Klauser 30e78f53d1SNikolas Klauser #if _LIBCPP_STD_VER >= 20 31e78f53d1SNikolas Klauser 32e78f53d1SNikolas Klauser namespace ranges { 33e78f53d1SNikolas Klauser 34e78f53d1SNikolas Klauser // [special.mem.concepts] 35e78f53d1SNikolas Klauser 36e78f53d1SNikolas Klauser // This concept ensures that uninitialized algorithms can construct an object 37e78f53d1SNikolas Klauser // at the address pointed-to by the iterator, which requires an lvalue. 38e78f53d1SNikolas Klauser template <class _Ip> 39e78f53d1SNikolas Klauser concept __nothrow_input_iterator = 40e78f53d1SNikolas Klauser input_iterator<_Ip> && is_lvalue_reference_v<iter_reference_t<_Ip>> && 41e78f53d1SNikolas Klauser same_as<remove_cvref_t<iter_reference_t<_Ip>>, iter_value_t<_Ip>>; 42e78f53d1SNikolas Klauser 43e78f53d1SNikolas Klauser template <class _Sp, class _Ip> 44e78f53d1SNikolas Klauser concept __nothrow_sentinel_for = sentinel_for<_Sp, _Ip>; 45e78f53d1SNikolas Klauser 46e78f53d1SNikolas Klauser template <class _Rp> 47e78f53d1SNikolas Klauser concept __nothrow_input_range = 48e78f53d1SNikolas Klauser range<_Rp> && __nothrow_input_iterator<iterator_t<_Rp>> && __nothrow_sentinel_for<sentinel_t<_Rp>, iterator_t<_Rp>>; 49e78f53d1SNikolas Klauser 50e78f53d1SNikolas Klauser template <class _Ip> 51e78f53d1SNikolas Klauser concept __nothrow_forward_iterator = 52e78f53d1SNikolas Klauser __nothrow_input_iterator<_Ip> && forward_iterator<_Ip> && __nothrow_sentinel_for<_Ip, _Ip>; 53e78f53d1SNikolas Klauser 54e78f53d1SNikolas Klauser template <class _Rp> 55e78f53d1SNikolas Klauser concept __nothrow_forward_range = __nothrow_input_range<_Rp> && __nothrow_forward_iterator<iterator_t<_Rp>>; 56e78f53d1SNikolas Klauser 57e78f53d1SNikolas Klauser } // namespace ranges 58e78f53d1SNikolas Klauser 59e78f53d1SNikolas Klauser #endif // _LIBCPP_STD_VER >= 20 60e78f53d1SNikolas Klauser 61e78f53d1SNikolas Klauser _LIBCPP_END_NAMESPACE_STD 62e78f53d1SNikolas Klauser 63*ce777190SNikolas Klauser #endif // _LIBCPP___CXX03___MEMORY_CONCEPTS_H 64