2020-01-18 11:38:21 +03:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org>
|
|
|
|
*
|
2021-04-22 11:24:48 +03:00
|
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
2020-01-18 11:38:21 +03:00
|
|
|
*/
|
|
|
|
|
2019-12-02 07:19:57 +03:00
|
|
|
#pragma once
|
|
|
|
|
2020-01-19 15:18:27 +03:00
|
|
|
#include <AK/StdLibExtras.h>
|
2019-12-03 09:36:46 +03:00
|
|
|
#include <AK/Types.h>
|
|
|
|
|
2019-12-02 07:19:57 +03:00
|
|
|
namespace AK {
|
|
|
|
|
2021-01-01 23:32:59 +03:00
|
|
|
struct DefaultComparator {
|
|
|
|
template<typename T, typename S>
|
2022-06-26 19:20:38 +03:00
|
|
|
[[nodiscard]] constexpr int operator()(T& lhs, S& rhs)
|
2021-01-01 23:32:59 +03:00
|
|
|
{
|
|
|
|
if (lhs > rhs)
|
|
|
|
return 1;
|
|
|
|
|
|
|
|
if (lhs < rhs)
|
|
|
|
return -1;
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
2020-12-29 18:13:16 +03:00
|
|
|
};
|
2019-12-02 07:19:57 +03:00
|
|
|
|
2021-01-01 23:32:59 +03:00
|
|
|
template<typename Container, typename Needle, typename Comparator = DefaultComparator>
|
2020-12-29 18:13:16 +03:00
|
|
|
constexpr auto binary_search(
|
|
|
|
Container&& haystack,
|
|
|
|
Needle&& needle,
|
|
|
|
size_t* nearby_index = nullptr,
|
|
|
|
Comparator comparator = Comparator {}) -> decltype(&haystack[0])
|
2019-12-02 07:19:57 +03:00
|
|
|
{
|
2020-08-02 22:10:35 +03:00
|
|
|
if (haystack.size() == 0) {
|
|
|
|
if (nearby_index)
|
|
|
|
*nearby_index = 0;
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
size_t low = 0;
|
|
|
|
size_t high = haystack.size() - 1;
|
2019-12-02 07:19:57 +03:00
|
|
|
while (low <= high) {
|
2021-01-01 23:32:59 +03:00
|
|
|
size_t middle = low + (high - low) / 2;
|
|
|
|
|
|
|
|
int comparison = comparator(needle, haystack[middle]);
|
|
|
|
|
2019-12-02 07:19:57 +03:00
|
|
|
if (comparison < 0)
|
2020-08-02 22:10:35 +03:00
|
|
|
if (middle != 0)
|
|
|
|
high = middle - 1;
|
|
|
|
else
|
|
|
|
break;
|
2019-12-02 07:19:57 +03:00
|
|
|
else if (comparison > 0)
|
|
|
|
low = middle + 1;
|
2020-01-19 15:18:27 +03:00
|
|
|
else {
|
|
|
|
if (nearby_index)
|
|
|
|
*nearby_index = middle;
|
2019-12-02 07:19:57 +03:00
|
|
|
return &haystack[middle];
|
2020-01-19 15:18:27 +03:00
|
|
|
}
|
2019-12-02 07:19:57 +03:00
|
|
|
}
|
|
|
|
|
2020-01-19 15:18:27 +03:00
|
|
|
if (nearby_index)
|
2020-08-02 22:10:35 +03:00
|
|
|
*nearby_index = min(low, high);
|
2020-01-19 15:18:27 +03:00
|
|
|
|
2019-12-02 07:19:57 +03:00
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2022-11-26 14:18:30 +03:00
|
|
|
#if USING_AK_GLOBALLY
|
2019-12-02 07:19:57 +03:00
|
|
|
using AK::binary_search;
|
2022-11-26 14:18:30 +03:00
|
|
|
#endif
|