2017-04-06 18:14:52 +00:00
|
|
|
/* Algorithms for libostd.
|
2015-04-18 01:35:36 +00:00
|
|
|
*
|
2017-04-06 18:14:52 +00:00
|
|
|
* This file is part of libostd. See COPYING.md for futher information.
|
2015-04-18 01:35:36 +00:00
|
|
|
*/
|
|
|
|
|
2015-07-13 19:08:55 +00:00
|
|
|
#ifndef OSTD_ALGORITHM_HH
|
|
|
|
#define OSTD_ALGORITHM_HH
|
2015-04-18 01:35:36 +00:00
|
|
|
|
2015-04-20 18:06:47 +00:00
|
|
|
#include <math.h>
|
2015-04-18 22:12:45 +00:00
|
|
|
|
2017-01-28 17:52:34 +00:00
|
|
|
#include <utility>
|
2017-02-08 00:06:50 +00:00
|
|
|
#include <functional>
|
2017-02-16 19:39:05 +00:00
|
|
|
#include <type_traits>
|
2017-02-18 16:54:51 +00:00
|
|
|
#include <algorithm>
|
2017-01-28 17:52:34 +00:00
|
|
|
|
2015-07-13 19:08:55 +00:00
|
|
|
#include "ostd/range.hh"
|
2015-04-18 01:35:36 +00:00
|
|
|
|
2015-07-13 19:07:14 +00:00
|
|
|
namespace ostd {
|
2015-04-27 18:53:48 +00:00
|
|
|
|
2015-06-03 21:54:18 +00:00
|
|
|
/* partitioning */
|
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename U>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline R partition(R range, U pred) {
|
2015-06-04 21:57:06 +00:00
|
|
|
R ret = range;
|
2015-06-03 21:54:18 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
|
|
|
if (pred(range.front())) {
|
2017-01-29 14:56:02 +00:00
|
|
|
using std::swap;
|
|
|
|
swap(range.front(), ret.front());
|
2015-06-03 21:54:18 +00:00
|
|
|
ret.pop_front();
|
2015-04-18 20:46:31 +00:00
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return ret;
|
|
|
|
}
|
2015-04-18 20:46:31 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename F>
|
|
|
|
inline auto partition(F &&func) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [func = std::forward<F>(func)](auto &&obj) mutable {
|
|
|
|
return partition(
|
|
|
|
std::forward<decltype(obj)>(obj), std::forward<F>(func)
|
|
|
|
);
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 21:25:46 +00:00
|
|
|
}
|
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename P>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline bool is_partitioned(R range, P pred) {
|
2015-06-03 21:54:18 +00:00
|
|
|
for (; !range.empty() && pred(range.front()); range.pop_front());
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
|
|
|
if (pred(range.front())) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return true;
|
|
|
|
}
|
2015-04-20 01:06:42 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename F>
|
|
|
|
inline auto is_partitioned(F &&func) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [func = std::forward<F>(func)](auto &&obj) mutable {
|
|
|
|
return is_partitioned(
|
|
|
|
std::forward<decltype(obj)>(obj), std::forward<F>(func)
|
|
|
|
);
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 21:25:46 +00:00
|
|
|
}
|
|
|
|
|
2015-06-03 21:54:18 +00:00
|
|
|
/* sorting */
|
2015-04-24 17:16:35 +00:00
|
|
|
|
2015-06-03 21:54:18 +00:00
|
|
|
namespace detail {
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename C>
|
2016-05-29 01:41:58 +00:00
|
|
|
static void insort(R range, C &compare) {
|
2017-02-16 19:02:55 +00:00
|
|
|
range_size_t<R> rlen = range.size();
|
|
|
|
for (range_size_t<R> i = 1; i < rlen; ++i) {
|
|
|
|
range_size_t<R> j = i;
|
2017-04-01 14:49:38 +00:00
|
|
|
range_value_t<R> v{std::move(range[i])};
|
2015-06-03 21:54:18 +00:00
|
|
|
while (j > 0 && !compare(range[j - 1], v)) {
|
2017-04-01 14:49:38 +00:00
|
|
|
range[j] = std::move(range[j - 1]);
|
2015-06-03 21:54:18 +00:00
|
|
|
--j;
|
2015-06-03 21:43:07 +00:00
|
|
|
}
|
2017-01-25 00:44:22 +00:00
|
|
|
range[j] = std::move(v);
|
2015-04-18 22:12:45 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
}
|
2015-04-18 22:12:45 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename C>
|
2016-07-31 19:40:25 +00:00
|
|
|
static void hs_sift_down(
|
2017-02-16 19:02:55 +00:00
|
|
|
R range, range_size_t<R> s, range_size_t<R> e, C &compare
|
2016-07-31 19:40:25 +00:00
|
|
|
) {
|
2017-02-16 19:02:55 +00:00
|
|
|
range_size_t<R> r = s;
|
2015-06-03 21:54:18 +00:00
|
|
|
while ((r * 2 + 1) <= e) {
|
2017-02-16 19:02:55 +00:00
|
|
|
range_size_t<R> ch = r * 2 + 1;
|
|
|
|
range_size_t<R> sw = r;
|
2016-07-31 19:40:25 +00:00
|
|
|
if (compare(range[sw], range[ch])) {
|
2015-06-03 21:54:18 +00:00
|
|
|
sw = ch;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
|
|
|
if (((ch + 1) <= e) && compare(range[sw], range[ch + 1])) {
|
2015-06-03 21:54:18 +00:00
|
|
|
sw = ch + 1;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
if (sw != r) {
|
2017-01-29 14:56:02 +00:00
|
|
|
using std::swap;
|
|
|
|
swap(range[r], range[sw]);
|
2015-06-03 21:54:18 +00:00
|
|
|
r = sw;
|
2016-07-31 19:40:25 +00:00
|
|
|
} else {
|
|
|
|
return;
|
|
|
|
}
|
2015-04-18 21:33:19 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
}
|
2015-04-24 17:16:35 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename C>
|
2016-05-29 01:41:58 +00:00
|
|
|
static void heapsort(R range, C &compare) {
|
2017-02-16 19:02:55 +00:00
|
|
|
range_size_t<R> len = range.size();
|
|
|
|
range_size_t<R> st = (len - 2) / 2;
|
2015-06-03 21:54:18 +00:00
|
|
|
for (;;) {
|
2015-07-05 22:59:36 +00:00
|
|
|
detail::hs_sift_down(range, st, len - 1, compare);
|
2016-07-31 19:40:25 +00:00
|
|
|
if (st-- == 0) {
|
|
|
|
break;
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
}
|
2017-02-16 19:02:55 +00:00
|
|
|
range_size_t<R> e = len - 1;
|
2015-06-03 21:54:18 +00:00
|
|
|
while (e > 0) {
|
2017-01-29 14:56:02 +00:00
|
|
|
using std::swap;
|
|
|
|
swap(range[e], range[0]);
|
2015-06-03 21:54:18 +00:00
|
|
|
--e;
|
2015-07-05 22:59:36 +00:00
|
|
|
detail::hs_sift_down(range, 0, e, compare);
|
2015-06-03 21:43:07 +00:00
|
|
|
}
|
2015-04-18 21:33:19 +00:00
|
|
|
}
|
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename C>
|
2017-02-16 19:02:55 +00:00
|
|
|
static void introloop(R range, C &compare, range_size_t<R> depth) {
|
2017-01-29 14:56:02 +00:00
|
|
|
using std::swap;
|
2015-06-03 21:54:18 +00:00
|
|
|
if (range.size() <= 10) {
|
2015-07-05 22:59:36 +00:00
|
|
|
detail::insort(range, compare);
|
2015-06-03 21:54:18 +00:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (depth == 0) {
|
2015-07-05 22:59:36 +00:00
|
|
|
detail::heapsort(range, compare);
|
2015-06-03 21:54:18 +00:00
|
|
|
return;
|
|
|
|
}
|
2017-01-29 14:56:02 +00:00
|
|
|
swap(range[range.size() / 2], range.back());
|
2017-02-16 19:02:55 +00:00
|
|
|
range_size_t<R> pi = 0;
|
2015-06-09 21:56:40 +00:00
|
|
|
R pr = range;
|
|
|
|
pr.pop_back();
|
|
|
|
for (; !pr.empty(); pr.pop_front()) {
|
2016-07-31 19:40:25 +00:00
|
|
|
if (compare(pr.front(), range.back())) {
|
2017-01-29 14:56:02 +00:00
|
|
|
swap(pr.front(), range[pi++]);
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
2015-06-09 21:56:40 +00:00
|
|
|
}
|
2017-01-29 14:56:02 +00:00
|
|
|
swap(range[pi], range.back());
|
2015-07-05 22:59:36 +00:00
|
|
|
detail::introloop(range.slice(0, pi), compare, depth - 1);
|
2017-04-01 14:49:38 +00:00
|
|
|
detail::introloop(range.slice(pi + 1), compare, depth - 1);
|
2015-04-18 19:20:40 +00:00
|
|
|
}
|
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename C>
|
2016-05-29 01:41:58 +00:00
|
|
|
inline void introsort(R range, C &compare) {
|
2016-07-31 19:40:25 +00:00
|
|
|
detail::introloop(
|
|
|
|
range, compare,
|
2017-02-16 19:02:55 +00:00
|
|
|
static_cast<range_size_t<R>>(2 * (log(range.size()) / log(2)))
|
2016-07-31 19:40:25 +00:00
|
|
|
);
|
2015-04-18 19:20:40 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
} /* namespace detail */
|
2015-04-18 23:02:38 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename C>
|
2016-04-29 16:34:46 +00:00
|
|
|
inline R sort_cmp(R range, C compare) {
|
2015-07-05 22:59:36 +00:00
|
|
|
detail::introsort(range, compare);
|
2016-04-29 16:34:46 +00:00
|
|
|
return range;
|
|
|
|
}
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename C>
|
|
|
|
inline auto sort_cmp(C &&compare) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [compare = std::forward<C>(compare)](auto &&obj) mutable {
|
|
|
|
return sort_cmp(
|
|
|
|
std::forward<decltype(obj)>(obj), std::forward<C>(compare)
|
|
|
|
);
|
2016-04-30 17:24:17 +00:00
|
|
|
};
|
2015-06-03 21:54:18 +00:00
|
|
|
}
|
2015-04-24 17:16:35 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R>
|
2016-04-29 16:34:46 +00:00
|
|
|
inline R sort(R range) {
|
2017-02-16 19:02:55 +00:00
|
|
|
return sort_cmp(range, std::less<range_value_t<R>>());
|
2016-04-29 16:34:46 +00:00
|
|
|
}
|
|
|
|
inline auto sort() {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [](auto &&obj) { return sort(std::forward<decltype(obj)>(obj)); };
|
2015-06-03 21:54:18 +00:00
|
|
|
}
|
2015-04-18 23:02:38 +00:00
|
|
|
|
2015-06-03 21:54:18 +00:00
|
|
|
/* min/max(_element) */
|
2015-04-18 23:02:38 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R>
|
|
|
|
inline R min_element(R range) {
|
|
|
|
R r = range;
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
2017-02-18 16:54:51 +00:00
|
|
|
if (std::min(r.front(), range.front()) == range.front()) {
|
2015-06-03 21:54:18 +00:00
|
|
|
r = range;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return r;
|
|
|
|
}
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename C>
|
2016-04-29 16:30:32 +00:00
|
|
|
inline R min_element_cmp(R range, C compare) {
|
2015-06-04 21:57:06 +00:00
|
|
|
R r = range;
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
2017-02-18 16:54:51 +00:00
|
|
|
if (std::min(r.front(), range.front(), compare) == range.front()) {
|
2015-06-03 21:54:18 +00:00
|
|
|
r = range;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return r;
|
|
|
|
}
|
2016-04-29 16:30:32 +00:00
|
|
|
inline auto min_element() {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [](auto &&obj) {
|
|
|
|
return min_element(std::forward<decltype(obj)>(obj));
|
|
|
|
};
|
2016-04-29 16:30:32 +00:00
|
|
|
}
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename C>
|
|
|
|
inline auto min_element_cmp(C &&compare) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [compare = std::forward<C>(compare)](auto &&obj) mutable {
|
|
|
|
return min_element_cmp(
|
|
|
|
std::forward<decltype(obj)>(obj), std::forward<C>(compare)
|
|
|
|
);
|
2016-04-30 17:24:17 +00:00
|
|
|
};
|
2016-04-29 16:30:32 +00:00
|
|
|
}
|
2015-04-18 23:02:38 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R>
|
|
|
|
inline R max_element(R range) {
|
|
|
|
R r = range;
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
2017-02-18 16:54:51 +00:00
|
|
|
if (std::max(r.front(), range.front()) == range.front()) {
|
2015-06-03 21:54:18 +00:00
|
|
|
r = range;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return r;
|
|
|
|
}
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename C>
|
2016-04-29 16:30:32 +00:00
|
|
|
inline R max_element_cmp(R range, C compare) {
|
2015-06-04 21:57:06 +00:00
|
|
|
R r = range;
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
2017-02-18 16:54:51 +00:00
|
|
|
if (std::max(r.front(), range.front(), compare) == range.front()) {
|
2015-06-03 21:54:18 +00:00
|
|
|
r = range;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return r;
|
|
|
|
}
|
2016-04-29 16:30:32 +00:00
|
|
|
inline auto max_element() {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [](auto &&obj) {
|
|
|
|
return max_element(std::forward<decltype(obj)>(obj));
|
|
|
|
};
|
2016-04-29 16:30:32 +00:00
|
|
|
}
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename C>
|
|
|
|
inline auto max_element_cmp(C &&compare) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [compare = std::forward<C>(compare)](auto &&obj) mutable {
|
|
|
|
return max_element_cmp(
|
|
|
|
std::forward<decltype(obj)>(obj), std::forward<C>(compare)
|
|
|
|
);
|
2016-04-30 17:24:17 +00:00
|
|
|
};
|
2016-04-29 16:30:32 +00:00
|
|
|
}
|
2015-04-20 01:21:27 +00:00
|
|
|
|
2015-07-11 15:07:52 +00:00
|
|
|
/* lexicographical compare */
|
|
|
|
|
|
|
|
template<typename R1, typename R2>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline bool lexicographical_compare(R1 range1, R2 range2) {
|
2015-07-11 15:07:52 +00:00
|
|
|
while (!range1.empty() && !range2.empty()) {
|
2016-07-31 19:40:25 +00:00
|
|
|
if (range1.front() < range2.front()) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
if (range2.front() < range1.front()) {
|
|
|
|
return false;
|
|
|
|
}
|
2015-07-11 15:07:52 +00:00
|
|
|
range1.pop_front();
|
|
|
|
range2.pop_front();
|
|
|
|
}
|
|
|
|
return (range1.empty() && !range2.empty());
|
|
|
|
}
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename R>
|
|
|
|
inline auto lexicographical_compare(R &&range) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [range = std::forward<R>(range)](auto &&obj) mutable {
|
2016-07-31 19:40:25 +00:00
|
|
|
return lexicographical_compare(
|
2017-01-25 00:44:22 +00:00
|
|
|
std::forward<decltype(obj)>(obj), std::forward<R>(range)
|
2016-07-31 19:40:25 +00:00
|
|
|
);
|
2016-04-30 17:24:17 +00:00
|
|
|
};
|
2016-04-29 16:30:32 +00:00
|
|
|
}
|
2015-07-11 15:07:52 +00:00
|
|
|
|
|
|
|
template<typename R1, typename R2, typename C>
|
2016-04-29 16:30:32 +00:00
|
|
|
inline bool lexicographical_compare_cmp(R1 range1, R2 range2, C compare) {
|
2015-07-11 15:07:52 +00:00
|
|
|
while (!range1.empty() && !range2.empty()) {
|
2016-07-31 19:40:25 +00:00
|
|
|
if (compare(range1.front(), range2.front())) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
if (compare(range2.front(), range1.front())) {
|
|
|
|
return false;
|
|
|
|
}
|
2015-07-11 15:07:52 +00:00
|
|
|
range1.pop_front();
|
|
|
|
range2.pop_front();
|
|
|
|
}
|
|
|
|
return (range1.empty() && !range2.empty());
|
|
|
|
}
|
2016-04-29 16:30:32 +00:00
|
|
|
template<typename R, typename C>
|
2016-04-30 18:21:50 +00:00
|
|
|
inline auto lexicographical_compare_cmp(R &&range, C &&compare) {
|
2016-07-31 19:40:25 +00:00
|
|
|
return [
|
2017-01-25 00:44:22 +00:00
|
|
|
range = std::forward<R>(range), compare = std::forward<C>(compare)
|
2016-07-31 19:40:25 +00:00
|
|
|
](auto &&obj) mutable {
|
|
|
|
return lexicographical_compare_cmp(
|
2017-01-25 00:44:22 +00:00
|
|
|
std::forward<decltype(obj)>(obj), std::forward<R>(range),
|
|
|
|
std::forward<C>(compare)
|
2016-07-31 19:40:25 +00:00
|
|
|
);
|
2016-04-29 16:30:32 +00:00
|
|
|
};
|
|
|
|
}
|
2015-07-11 15:07:52 +00:00
|
|
|
|
2015-06-03 21:54:18 +00:00
|
|
|
/* algos that don't change the range */
|
2015-04-20 01:21:27 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename F>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline F for_each(R range, F func) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
2015-06-03 21:54:18 +00:00
|
|
|
func(range.front());
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
2017-01-25 00:44:22 +00:00
|
|
|
return std::move(func);
|
2015-06-03 21:54:18 +00:00
|
|
|
}
|
2015-04-20 01:21:27 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename F>
|
|
|
|
inline auto for_each(F &&func) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [func = std::forward<F>(func)](auto &&obj) mutable {
|
|
|
|
return for_each(std::forward<decltype(obj)>(obj), std::forward<F>(func));
|
2016-04-26 21:25:46 +00:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename P>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline bool all_of(R range, P pred) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
|
|
|
if (!pred(range.front())) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return true;
|
|
|
|
}
|
2015-04-21 01:33:58 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename F>
|
|
|
|
inline auto all_of(F &&func) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [func = std::forward<F>(func)](auto &&obj) mutable {
|
|
|
|
return all_of(std::forward<decltype(obj)>(obj), std::forward<F>(func));
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 21:25:46 +00:00
|
|
|
}
|
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename P>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline bool any_of(R range, P pred) {
|
2015-06-03 21:54:18 +00:00
|
|
|
for (; !range.empty(); range.pop_front())
|
|
|
|
if (pred(range.front())) return true;
|
|
|
|
return false;
|
|
|
|
}
|
2015-04-21 01:33:58 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename F>
|
|
|
|
inline auto any_of(F &&func) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [func = std::forward<F>(func)](auto &&obj) mutable {
|
|
|
|
return any_of(std::forward<decltype(obj)>(obj), std::forward<F>(func));
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 21:25:46 +00:00
|
|
|
}
|
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename P>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline bool none_of(R range, P pred) {
|
2015-06-03 21:54:18 +00:00
|
|
|
for (; !range.empty(); range.pop_front())
|
|
|
|
if (pred(range.front())) return false;
|
|
|
|
return true;
|
|
|
|
}
|
2015-04-21 01:33:58 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename F>
|
|
|
|
inline auto none_of(F &&func) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [func = std::forward<F>(func)](auto &&obj) mutable {
|
|
|
|
return none_of(std::forward<decltype(obj)>(obj), std::forward<F>(func));
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 21:25:46 +00:00
|
|
|
}
|
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename T>
|
2016-06-23 18:18:35 +00:00
|
|
|
inline R find(R range, T const &v) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
|
|
|
if (range.front() == v) {
|
2015-06-03 21:54:18 +00:00
|
|
|
break;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return range;
|
|
|
|
}
|
2015-04-21 01:33:58 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename T>
|
|
|
|
inline auto find(T &&v) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [v = std::forward<T>(v)](auto &&obj) mutable {
|
|
|
|
return find(std::forward<decltype(obj)>(obj), std::forward<T>(v));
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 21:25:46 +00:00
|
|
|
}
|
|
|
|
|
2015-08-16 18:35:06 +00:00
|
|
|
template<typename R, typename T>
|
2016-06-23 18:18:35 +00:00
|
|
|
inline R find_last(R range, T const &v) {
|
2015-08-16 18:35:06 +00:00
|
|
|
range = find(range, v);
|
2016-07-31 19:40:25 +00:00
|
|
|
if (!range.empty()) {
|
|
|
|
for (;;) {
|
|
|
|
R prev = range;
|
|
|
|
prev.pop_front();
|
|
|
|
R r = find(prev, v);
|
|
|
|
if (r.empty()) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
range = r;
|
|
|
|
}
|
2015-08-16 18:35:06 +00:00
|
|
|
}
|
|
|
|
return range;
|
|
|
|
}
|
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename T>
|
|
|
|
inline auto find_last(T &&v) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [v = std::forward<T>(v)](auto &&obj) mutable {
|
|
|
|
return find_last(std::forward<decltype(obj)>(obj), std::forward<T>(v));
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 21:25:46 +00:00
|
|
|
}
|
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename P>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline R find_if(R range, P pred) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
|
|
|
if (pred(range.front())) {
|
2015-06-03 21:54:18 +00:00
|
|
|
break;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return range;
|
|
|
|
}
|
2015-04-21 01:33:58 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename F>
|
|
|
|
inline auto find_if(F &&func) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [func = std::forward<F>(func)](auto &&obj) mutable {
|
|
|
|
return find_if(std::forward<decltype(obj)>(obj), std::forward<F>(func));
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 21:25:46 +00:00
|
|
|
}
|
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename P>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline R find_if_not(R range, P pred) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
|
|
|
if (!pred(range.front())) {
|
2015-06-03 21:54:18 +00:00
|
|
|
break;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return range;
|
|
|
|
}
|
2015-04-21 01:33:58 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename F>
|
|
|
|
inline auto find_if_not(F &&func) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [func = std::forward<F>(func)](auto &&obj) mutable {
|
|
|
|
return find_if_not(
|
|
|
|
std::forward<decltype(obj)>(obj), std::forward<F>(func)
|
|
|
|
);
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 21:25:46 +00:00
|
|
|
}
|
|
|
|
|
2015-08-11 00:32:24 +00:00
|
|
|
template<typename R1, typename R2, typename C>
|
2016-04-29 16:30:32 +00:00
|
|
|
inline R1 find_one_of_cmp(R1 range, R2 values, C compare) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
|
|
|
for (R2 rv = values; !rv.empty(); rv.pop_front()) {
|
|
|
|
if (compare(range.front(), rv.front())) {
|
2015-08-11 00:32:24 +00:00
|
|
|
return range;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2015-08-11 00:32:24 +00:00
|
|
|
return range;
|
|
|
|
}
|
2016-04-29 16:30:32 +00:00
|
|
|
template<typename R, typename C>
|
2016-04-30 18:21:50 +00:00
|
|
|
inline auto find_one_of_cmp(R &&values, C &&compare) {
|
2016-07-31 19:40:25 +00:00
|
|
|
return [
|
2017-01-25 00:44:22 +00:00
|
|
|
values = std::forward<R>(values), compare = std::forward<C>(compare)
|
2016-07-31 19:40:25 +00:00
|
|
|
](auto &&obj) mutable {
|
|
|
|
return find_one_of_cmp(
|
2017-01-25 00:44:22 +00:00
|
|
|
std::forward<decltype(obj)>(obj), std::forward<R>(values),
|
|
|
|
std::forward<C>(compare)
|
2016-07-31 19:40:25 +00:00
|
|
|
);
|
2016-04-29 16:30:32 +00:00
|
|
|
};
|
|
|
|
}
|
2015-08-11 00:32:24 +00:00
|
|
|
|
|
|
|
template<typename R1, typename R2>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline R1 find_one_of(R1 range, R2 values) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
|
|
|
for (R2 rv = values; !rv.empty(); rv.pop_front()) {
|
|
|
|
if (range.front() == rv.front()) {
|
2015-08-11 00:32:24 +00:00
|
|
|
return range;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2015-08-11 00:32:24 +00:00
|
|
|
return range;
|
|
|
|
}
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename R>
|
|
|
|
inline auto find_one_of(R &&values) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [values = std::forward<R>(values)](auto &&obj) mutable {
|
|
|
|
return find_one_of(
|
|
|
|
std::forward<decltype(obj)>(obj), std::forward<R>(values)
|
|
|
|
);
|
2016-04-29 16:30:32 +00:00
|
|
|
};
|
|
|
|
}
|
2015-08-11 00:32:24 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename T>
|
2017-02-16 19:02:55 +00:00
|
|
|
inline range_size_t<R> count(R range, T const &v) {
|
|
|
|
range_size_t<R> ret = 0;
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
|
|
|
if (range.front() == v) {
|
2015-06-03 21:54:18 +00:00
|
|
|
++ret;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return ret;
|
|
|
|
}
|
2015-04-21 01:33:58 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename T>
|
|
|
|
inline auto count(T &&v) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [v = std::forward<T>(v)](auto &&obj) mutable {
|
|
|
|
return count(std::forward<decltype(obj)>(obj), std::forward<T>(v));
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 21:25:46 +00:00
|
|
|
}
|
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename P>
|
2017-02-16 19:02:55 +00:00
|
|
|
inline range_size_t<R> count_if(R range, P pred) {
|
|
|
|
range_size_t<R> ret = 0;
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
|
|
|
if (pred(range.front())) {
|
2015-06-03 21:54:18 +00:00
|
|
|
++ret;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return ret;
|
|
|
|
}
|
2015-04-21 01:33:58 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename F>
|
|
|
|
inline auto count_if(F &&func) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [func = std::forward<F>(func)](auto &&obj) mutable {
|
|
|
|
return count_if(std::forward<decltype(obj)>(obj), std::forward<F>(func));
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 21:25:46 +00:00
|
|
|
}
|
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename P>
|
2017-02-16 19:02:55 +00:00
|
|
|
inline range_size_t<R> count_if_not(R range, P pred) {
|
|
|
|
range_size_t<R> ret = 0;
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
|
|
|
if (!pred(range.front())) {
|
2015-06-03 21:54:18 +00:00
|
|
|
++ret;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return ret;
|
|
|
|
}
|
2015-04-24 17:16:35 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename F>
|
|
|
|
inline auto count_if_not(F &&func) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [func = std::forward<F>(func)](auto &&obj) mutable {
|
|
|
|
return count_if_not(
|
|
|
|
std::forward<decltype(obj)>(obj), std::forward<F>(func)
|
|
|
|
);
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 21:25:46 +00:00
|
|
|
}
|
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline bool equal(R range1, R range2) {
|
2015-06-03 21:54:18 +00:00
|
|
|
for (; !range1.empty(); range1.pop_front()) {
|
2016-07-31 19:40:25 +00:00
|
|
|
if (range2.empty() || (range1.front() != range2.front())) {
|
2015-06-03 21:54:18 +00:00
|
|
|
return false;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
range2.pop_front();
|
2015-04-21 16:56:36 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return range2.empty();
|
|
|
|
}
|
2015-04-21 16:56:36 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename R>
|
|
|
|
inline auto equal(R &&range) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [range = std::forward<R>(range)](auto &&obj) mutable {
|
|
|
|
return equal(std::forward<decltype(obj)>(obj), std::forward<R>(range));
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 21:25:46 +00:00
|
|
|
}
|
|
|
|
|
2015-06-03 21:54:18 +00:00
|
|
|
/* algos that modify ranges or work with output ranges */
|
2015-04-21 16:56:36 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R1, typename R2>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline R2 copy(R1 irange, R2 orange) {
|
2017-02-19 17:14:09 +00:00
|
|
|
range_put_all(orange, irange);
|
2015-06-03 21:54:18 +00:00
|
|
|
return orange;
|
|
|
|
}
|
2015-04-21 16:56:36 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R1, typename R2, typename P>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline R2 copy_if(R1 irange, R2 orange, P pred) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !irange.empty(); irange.pop_front()) {
|
|
|
|
if (pred(irange.front())) {
|
2015-06-03 21:54:18 +00:00
|
|
|
orange.put(irange.front());
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return orange;
|
|
|
|
}
|
2015-04-21 16:56:36 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R1, typename R2, typename P>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline R2 copy_if_not(R1 irange, R2 orange, P pred) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !irange.empty(); irange.pop_front()) {
|
|
|
|
if (!pred(irange.front())) {
|
2015-06-03 21:54:18 +00:00
|
|
|
orange.put(irange.front());
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return orange;
|
|
|
|
}
|
2015-04-21 16:56:36 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R1, typename R2>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline R2 move(R1 irange, R2 orange) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !irange.empty(); irange.pop_front()) {
|
2017-01-25 00:44:22 +00:00
|
|
|
orange.put(std::move(irange.front()));
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return orange;
|
|
|
|
}
|
2015-04-21 16:56:36 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline void reverse(R range) {
|
2015-06-03 21:54:18 +00:00
|
|
|
while (!range.empty()) {
|
2017-01-29 14:56:02 +00:00
|
|
|
using std::swap;
|
|
|
|
swap(range.front(), range.back());
|
2015-06-03 21:54:18 +00:00
|
|
|
range.pop_front();
|
|
|
|
range.pop_back();
|
2015-04-21 16:56:36 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
}
|
2015-04-21 16:56:36 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R1, typename R2>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline R2 reverse_copy(R1 irange, R2 orange) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !irange.empty(); irange.pop_back()) {
|
2015-06-03 21:54:18 +00:00
|
|
|
orange.put(irange.back());
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return orange;
|
|
|
|
}
|
2015-04-21 16:56:36 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename T>
|
2016-06-23 18:18:35 +00:00
|
|
|
inline void fill(R range, T const &v) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
2015-06-03 21:54:18 +00:00
|
|
|
range.front() = v;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
}
|
2015-04-21 22:54:09 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename F>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline void generate(R range, F gen) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
2015-06-03 21:54:18 +00:00
|
|
|
range.front() = gen();
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
}
|
2015-05-23 17:44:06 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R1, typename R2>
|
2017-01-28 17:52:34 +00:00
|
|
|
inline std::pair<R1, R2> swap_ranges(R1 range1, R2 range2) {
|
2015-06-03 21:54:18 +00:00
|
|
|
while (!range1.empty() && !range2.empty()) {
|
2017-01-29 14:56:02 +00:00
|
|
|
using std::swap;
|
|
|
|
swap(range1.front(), range2.front());
|
2015-06-03 21:54:18 +00:00
|
|
|
range1.pop_front();
|
|
|
|
range2.pop_front();
|
2015-05-25 19:46:49 +00:00
|
|
|
}
|
2017-01-28 17:52:34 +00:00
|
|
|
return std::make_pair(range1, range2);
|
2015-06-03 21:54:18 +00:00
|
|
|
}
|
2015-05-25 19:46:49 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename T>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline void iota(R range, T value) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
2015-06-03 21:54:18 +00:00
|
|
|
range.front() = value++;
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
}
|
2015-05-25 19:46:49 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename T>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline T foldl(R range, T init) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
2015-06-03 21:54:18 +00:00
|
|
|
init = init + range.front();
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return init;
|
|
|
|
}
|
2015-05-25 19:46:49 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename T, typename F>
|
2016-04-29 16:47:04 +00:00
|
|
|
inline T foldl_f(R range, T init, F func) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_front()) {
|
2015-06-03 21:54:18 +00:00
|
|
|
init = func(init, range.front());
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return init;
|
|
|
|
}
|
2015-05-25 19:46:49 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename T>
|
|
|
|
inline auto foldl(T &&init) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [init = std::forward<T>(init)](auto &&obj) mutable {
|
|
|
|
return foldl(std::forward<decltype(obj)>(obj), std::forward<T>(init));
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 21:25:46 +00:00
|
|
|
}
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename T, typename F>
|
|
|
|
inline auto foldl_f(T &&init, F &&func) {
|
2016-07-31 19:40:25 +00:00
|
|
|
return [
|
2017-01-25 00:44:22 +00:00
|
|
|
init = std::forward<T>(init), func = std::forward<F>(func)
|
2016-07-31 19:40:25 +00:00
|
|
|
](auto &&obj) mutable {
|
|
|
|
return foldl_f(
|
2017-01-25 00:44:22 +00:00
|
|
|
std::forward<decltype(obj)>(obj), std::forward<T>(init),
|
|
|
|
std::forward<F>(func)
|
2016-07-31 19:40:25 +00:00
|
|
|
);
|
2016-04-29 16:47:04 +00:00
|
|
|
};
|
|
|
|
}
|
2016-04-26 21:25:46 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename T>
|
2016-04-26 21:25:46 +00:00
|
|
|
inline T foldr(R range, T init) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_back()) {
|
2015-06-03 21:54:18 +00:00
|
|
|
init = init + range.back();
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return init;
|
|
|
|
}
|
2015-05-23 17:44:06 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename T, typename F>
|
2016-04-29 16:47:04 +00:00
|
|
|
inline T foldr_f(R range, T init, F func) {
|
2016-07-31 19:40:25 +00:00
|
|
|
for (; !range.empty(); range.pop_back()) {
|
2015-06-03 21:54:18 +00:00
|
|
|
init = func(init, range.back());
|
2016-07-31 19:40:25 +00:00
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
return init;
|
|
|
|
}
|
2015-05-23 17:55:22 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename T>
|
|
|
|
inline auto foldr(T &&init) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [init = std::forward<T>(init)](auto &&obj) mutable {
|
|
|
|
return foldr(std::forward<decltype(obj)>(obj), std::forward<T>(init));
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 21:25:46 +00:00
|
|
|
}
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename T, typename F>
|
|
|
|
inline auto foldr_f(T &&init, F &&func) {
|
2016-07-31 19:40:25 +00:00
|
|
|
return [
|
2017-01-25 00:44:22 +00:00
|
|
|
init = std::forward<T>(init), func = std::forward<F>(func)
|
2016-07-31 19:40:25 +00:00
|
|
|
](auto &&obj) mutable {
|
|
|
|
return foldr_f(
|
2017-01-25 00:44:22 +00:00
|
|
|
std::forward<decltype(obj)>(obj), std::forward<T>(init),
|
|
|
|
std::forward<F>(func)
|
2016-07-31 19:40:25 +00:00
|
|
|
);
|
2016-04-29 16:47:04 +00:00
|
|
|
};
|
|
|
|
}
|
2016-04-26 21:25:46 +00:00
|
|
|
|
2015-06-07 03:10:08 +00:00
|
|
|
template<typename T, typename F, typename R>
|
2017-02-16 19:02:55 +00:00
|
|
|
struct map_range: input_range<map_range<T, F, R>> {
|
2017-02-18 15:21:03 +00:00
|
|
|
using range_category = std::common_type_t<
|
|
|
|
range_category_t<T>, finite_random_access_range_tag
|
|
|
|
>;
|
2017-02-16 19:02:55 +00:00
|
|
|
using value_type = R;
|
|
|
|
using reference = R;
|
|
|
|
using size_type = range_size_t<T>;
|
|
|
|
using difference_type = range_difference_t<T>;
|
2017-02-13 22:04:02 +00:00
|
|
|
|
2015-06-03 21:54:18 +00:00
|
|
|
private:
|
2015-06-04 21:57:06 +00:00
|
|
|
T p_range;
|
2017-02-09 19:56:15 +00:00
|
|
|
std::decay_t<F> p_func;
|
2015-05-29 22:32:25 +00:00
|
|
|
|
2015-06-03 21:54:18 +00:00
|
|
|
public:
|
2017-02-16 19:02:55 +00:00
|
|
|
map_range() = delete;
|
2016-04-30 16:58:37 +00:00
|
|
|
template<typename FF>
|
2017-02-16 19:02:55 +00:00
|
|
|
map_range(T const &range, FF &&func):
|
2017-01-25 00:44:22 +00:00
|
|
|
p_range(range), p_func(std::forward<FF>(func)) {}
|
2017-02-16 19:02:55 +00:00
|
|
|
map_range(map_range const &it):
|
2015-06-03 21:54:18 +00:00
|
|
|
p_range(it.p_range), p_func(it.p_func) {}
|
2017-02-16 19:02:55 +00:00
|
|
|
map_range(map_range &&it):
|
2017-01-25 00:44:22 +00:00
|
|
|
p_range(std::move(it.p_range)), p_func(std::move(it.p_func)) {}
|
2015-05-29 22:32:25 +00:00
|
|
|
|
2017-02-16 19:02:55 +00:00
|
|
|
map_range &operator=(map_range const &v) {
|
2015-06-03 21:54:18 +00:00
|
|
|
p_range = v.p_range;
|
|
|
|
p_func = v.p_func;
|
|
|
|
return *this;
|
|
|
|
}
|
2017-02-16 19:02:55 +00:00
|
|
|
map_range &operator=(map_range &&v) {
|
2017-01-25 00:44:22 +00:00
|
|
|
p_range = std::move(v.p_range);
|
|
|
|
p_func = std::move(v.p_func);
|
2015-06-03 21:54:18 +00:00
|
|
|
return *this;
|
|
|
|
}
|
2015-05-23 17:55:22 +00:00
|
|
|
|
2015-06-03 21:54:18 +00:00
|
|
|
bool empty() const { return p_range.empty(); }
|
2017-04-01 14:49:38 +00:00
|
|
|
size_type size() const { return p_range.size(); }
|
2015-05-29 18:52:20 +00:00
|
|
|
|
2017-02-19 15:45:06 +00:00
|
|
|
void pop_front() { p_range.pop_front(); }
|
|
|
|
void pop_back() { p_range.pop_back(); }
|
2015-05-23 17:59:14 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
R front() const { return p_func(p_range.front()); }
|
|
|
|
R back() const { return p_func(p_range.back()); }
|
2015-05-24 13:34:37 +00:00
|
|
|
|
2017-04-01 14:49:38 +00:00
|
|
|
R operator[](size_type idx) const {
|
2015-06-03 21:54:18 +00:00
|
|
|
return p_func(p_range[idx]);
|
2015-05-23 17:44:06 +00:00
|
|
|
}
|
2015-05-24 01:31:54 +00:00
|
|
|
|
2017-04-01 14:49:38 +00:00
|
|
|
map_range slice(size_type start, size_type end) const {
|
2017-02-16 19:02:55 +00:00
|
|
|
return map_range(p_range.slice(start, end), p_func);
|
2015-06-03 21:54:18 +00:00
|
|
|
}
|
2017-04-01 14:49:38 +00:00
|
|
|
map_range slice(size_type start) const {
|
|
|
|
return slice(start, size());
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
};
|
2015-05-24 01:31:54 +00:00
|
|
|
|
2015-06-03 21:54:18 +00:00
|
|
|
namespace detail {
|
2016-07-31 19:40:25 +00:00
|
|
|
template<typename R, typename F>
|
2017-01-29 14:29:11 +00:00
|
|
|
using MapReturnType = decltype(
|
2017-02-16 19:02:55 +00:00
|
|
|
std::declval<F>()(std::declval<range_reference_t<R>>())
|
2017-01-29 14:29:11 +00:00
|
|
|
);
|
2015-06-03 21:54:18 +00:00
|
|
|
}
|
2015-05-24 01:31:54 +00:00
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename F>
|
2017-02-16 19:02:55 +00:00
|
|
|
inline map_range<R, F, detail::MapReturnType<R, F>> map(R range, F func) {
|
|
|
|
return map_range<R, F, detail::MapReturnType<R, F>>(range, std::move(func));
|
2015-06-03 21:54:18 +00:00
|
|
|
}
|
2015-05-24 01:31:54 +00:00
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename F>
|
|
|
|
inline auto map(F &&func) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [func = std::forward<F>(func)](auto &&obj) mutable {
|
|
|
|
return map(std::forward<decltype(obj)>(obj), std::forward<F>(func));
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 19:13:32 +00:00
|
|
|
}
|
|
|
|
|
2015-06-07 15:11:01 +00:00
|
|
|
template<typename T, typename F>
|
2017-02-16 19:02:55 +00:00
|
|
|
struct filter_range: input_range<filter_range<T, F>> {
|
|
|
|
using range_category = std::common_type_t<
|
|
|
|
range_category_t<T>, forward_range_tag
|
|
|
|
>;
|
|
|
|
using value_type = range_value_t<T>;
|
|
|
|
using reference = range_reference_t<T>;
|
|
|
|
using size_type = range_size_t<T>;
|
|
|
|
using difference_type = range_difference_t<T>;
|
2017-02-13 22:04:02 +00:00
|
|
|
|
2015-06-03 21:54:18 +00:00
|
|
|
private:
|
2015-06-04 21:57:06 +00:00
|
|
|
T p_range;
|
2017-02-09 19:56:15 +00:00
|
|
|
std::decay_t<F> p_pred;
|
2015-05-24 01:31:54 +00:00
|
|
|
|
2015-06-03 21:54:18 +00:00
|
|
|
void advance_valid() {
|
2016-07-31 19:40:25 +00:00
|
|
|
while (!p_range.empty() && !p_pred(front())) {
|
|
|
|
p_range.pop_front();
|
|
|
|
}
|
2015-06-03 21:54:18 +00:00
|
|
|
}
|
2015-05-24 01:31:54 +00:00
|
|
|
|
2015-06-03 21:54:18 +00:00
|
|
|
public:
|
2017-02-16 19:02:55 +00:00
|
|
|
filter_range() = delete;
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename P>
|
2017-02-16 19:02:55 +00:00
|
|
|
filter_range(T const &range, P &&pred):
|
2017-01-25 00:44:22 +00:00
|
|
|
p_range(range), p_pred(std::forward<P>(pred))
|
2016-07-31 19:40:25 +00:00
|
|
|
{
|
2015-06-03 21:54:18 +00:00
|
|
|
advance_valid();
|
|
|
|
}
|
2017-02-16 19:02:55 +00:00
|
|
|
filter_range(filter_range const &it):
|
2016-07-31 19:40:25 +00:00
|
|
|
p_range(it.p_range), p_pred(it.p_pred)
|
|
|
|
{
|
2015-06-03 21:54:18 +00:00
|
|
|
advance_valid();
|
|
|
|
}
|
2017-02-16 19:02:55 +00:00
|
|
|
filter_range(filter_range &&it):
|
2017-01-25 00:44:22 +00:00
|
|
|
p_range(std::move(it.p_range)), p_pred(std::move(it.p_pred))
|
2016-07-31 19:40:25 +00:00
|
|
|
{
|
2015-06-03 21:54:18 +00:00
|
|
|
advance_valid();
|
|
|
|
}
|
2015-05-24 01:31:54 +00:00
|
|
|
|
2017-02-16 19:02:55 +00:00
|
|
|
filter_range &operator=(filter_range const &v) {
|
2015-06-03 21:54:18 +00:00
|
|
|
p_range = v.p_range;
|
|
|
|
p_pred = v.p_pred;
|
|
|
|
advance_valid();
|
|
|
|
return *this;
|
|
|
|
}
|
2017-02-16 19:02:55 +00:00
|
|
|
filter_range &operator=(filter_range &&v) {
|
2017-01-25 00:44:22 +00:00
|
|
|
p_range = std::move(v.p_range);
|
|
|
|
p_pred = std::move(v.p_pred);
|
2015-06-03 21:54:18 +00:00
|
|
|
advance_valid();
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool empty() const { return p_range.empty(); }
|
2015-05-24 01:31:54 +00:00
|
|
|
|
2017-02-19 15:45:06 +00:00
|
|
|
void pop_front() {
|
|
|
|
p_range.pop_front();
|
2015-06-03 21:54:18 +00:00
|
|
|
advance_valid();
|
|
|
|
}
|
|
|
|
|
2017-02-16 19:02:55 +00:00
|
|
|
range_reference_t<T> front() const { return p_range.front(); }
|
2015-06-03 21:54:18 +00:00
|
|
|
};
|
|
|
|
|
2015-06-07 15:11:01 +00:00
|
|
|
namespace detail {
|
2016-07-31 19:40:25 +00:00
|
|
|
template<typename R, typename P>
|
2017-02-09 19:56:15 +00:00
|
|
|
using FilterPred = std::enable_if_t<std::is_same_v<
|
2017-02-16 19:02:55 +00:00
|
|
|
decltype(std::declval<P>()(std::declval<range_reference_t<R>>())), bool
|
2017-01-29 14:29:11 +00:00
|
|
|
>, P>;
|
2015-06-07 15:11:01 +00:00
|
|
|
}
|
|
|
|
|
2015-06-04 21:57:06 +00:00
|
|
|
template<typename R, typename P>
|
2017-02-16 19:02:55 +00:00
|
|
|
inline filter_range<R, detail::FilterPred<R, P>> filter(R range, P pred) {
|
|
|
|
return filter_range<R, P>(range, std::move(pred));
|
2015-04-18 01:35:36 +00:00
|
|
|
}
|
|
|
|
|
2016-04-30 18:21:50 +00:00
|
|
|
template<typename F>
|
|
|
|
inline auto filter(F &&func) {
|
2017-01-25 00:44:22 +00:00
|
|
|
return [func = std::forward<F>(func)](auto &&obj) mutable {
|
|
|
|
return filter(std::forward<decltype(obj)>(obj), std::forward<F>(func));
|
2016-04-30 18:21:50 +00:00
|
|
|
};
|
2016-04-26 19:13:32 +00:00
|
|
|
}
|
|
|
|
|
2015-07-13 19:07:14 +00:00
|
|
|
} /* namespace ostd */
|
2015-06-03 21:54:18 +00:00
|
|
|
|
2016-02-07 21:17:15 +00:00
|
|
|
#endif
|