binary_search.h 1.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445
  1. //===----------------------------------------------------------------------===//
  2. //
  3. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
  4. // See https://llvm.org/LICENSE.txt for license information.
  5. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  6. //
  7. //===----------------------------------------------------------------------===//
  8. #ifndef _LIBCPP___ALGORITHM_BINARY_SEARCH_H
  9. #define _LIBCPP___ALGORITHM_BINARY_SEARCH_H
  10. #include <__algorithm/comp.h>
  11. #include <__algorithm/comp_ref_type.h>
  12. #include <__algorithm/lower_bound.h>
  13. #include <__config>
  14. #include <__iterator/iterator_traits.h>
  15. #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  16. # pragma GCC system_header
  17. #endif
  18. _LIBCPP_BEGIN_NAMESPACE_STD
  19. template <class _ForwardIterator, class _Tp, class _Compare>
  20. _LIBCPP_NODISCARD_EXT inline
  21. _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX20
  22. bool
  23. binary_search(_ForwardIterator __first, _ForwardIterator __last, const _Tp& __value, _Compare __comp)
  24. {
  25. __first = std::lower_bound<_ForwardIterator, _Tp, __comp_ref_type<_Compare> >(__first, __last, __value, __comp);
  26. return __first != __last && !__comp(__value, *__first);
  27. }
  28. template <class _ForwardIterator, class _Tp>
  29. _LIBCPP_NODISCARD_EXT inline
  30. _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX20
  31. bool
  32. binary_search(_ForwardIterator __first, _ForwardIterator __last, const _Tp& __value)
  33. {
  34. return std::binary_search(__first, __last, __value, __less<>());
  35. }
  36. _LIBCPP_END_NAMESPACE_STD
  37. #endif // _LIBCPP___ALGORITHM_BINARY_SEARCH_H