diff --git a/.bazelversion b/.bazelversion
new file mode 100644
index 00000000..f4abeaad
--- /dev/null
+++ b/.bazelversion
@@ -0,0 +1 @@
+8.*
diff --git a/.clang-format b/.clang-format
index 650739d3..d9d9622a 100644
--- a/.clang-format
+++ b/.clang-format
@@ -8,5 +8,6 @@ BreakBeforeBinaryOperators: NonAssignment
DerivePointerAlignment: false
NamespaceIndentation: All
FixNamespaceComments: false
+IncludeBlocks: Preserve
...
diff --git a/.gitignore b/.gitignore
index ac51a054..0d4fed27 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
bazel-*
+MODULE.bazel.lock
diff --git a/MODULE.bazel b/MODULE.bazel
new file mode 100644
index 00000000..b4a4568e
--- /dev/null
+++ b/MODULE.bazel
@@ -0,0 +1,3 @@
+module(
+ name = "cppitertools"
+)
diff --git a/README.md b/README.md
index 64c1430f..740dacbd 100644
--- a/README.md
+++ b/README.md
@@ -1,9 +1,7 @@
-
-
CPPItertools
============
Range-based for loop add-ons inspired by the Python builtins and itertools
-library. Like itertools and the Python3 builtins, this library uses lazy
+library. Like itertools and the Python3 builtins, this library uses lazy
evaluation wherever possible.
*Note*: Everything is inside the `iter` namespace.
@@ -44,7 +42,7 @@ Status | Compilers
[chunked](#chunked)
[batched](#batched)
-##### Combinatoric fuctions
+##### Combinatorial functions
[product](#product)
[combinations](#combinations)
[combinations\_with\_replacement](#combinations_with_replacement)
@@ -55,11 +53,10 @@ Status | Compilers
This library is **header-only** and relies only on the C++ standard
library. The only exception is `zip_longest` which uses `boost::optional`.
`#include ` will include all of the provided
-tools except for `zip_longest` which must be included separately. You may
+tools except for `zip_longest` which must be included separately. You may
also include individual pieces with the relevant header
(`#include ` for example).
-
### Running tests
You may use either `scons` or `bazel` to build the tests. `scons` seems
to work better with viewing the test output, but the same `bazel` command
@@ -86,7 +83,7 @@ $ bazel test //test:test_enumerate # runs a specific test
#### Requirements of passed objects
Most itertools will work with iterables using InputIterators and not copy
-or move any underlying elements. The itertools that need ForwardIterators or
+or move any underlying elements. The itertools that need ForwardIterators or
have additional requirements are noted in this document. However, the cases
should be fairly obvious: any time an element needs to appear multiple times
(as in `combinations` or `cycle`) or be looked at more than once (specifically,
@@ -110,7 +107,7 @@ appropriate as a GitHub issue (or you just don't want to open one),
you can email me directly with whatever code you have that describes the
problem; I've been pretty responsive in the past. If I believe you are
"misusing" the library, I'll try to put the blame on myself for being unclear
-in this document and take the steps to clarify it. So please, contact me with
+in this document and take the steps to clarify it. So please, contact me with
any concerns, I'm open to feedback.
#### How (not) to use this library
@@ -125,41 +122,42 @@ know.
#### Handling of rvalues vs lvalues
The rules are pretty simple, and the library can be largely used without
-knowledge of them.
-Let's take an example
+knowledge of them. Let's take an example
+
```c++
std::vector vec{2,4,6,8};
for (auto&& p : enumerate(vec)) { /* ... */ }
```
+
In this case, `enumerate` will return an object that has bound a reference to
`vec`. No copies are produced here, neither of `vec` nor of the elements it
holds.
If an rvalue was passed to enumerate, binding a reference would be unsafe.
Consider:
+
```c++
for (auto&& p : enumerate(std::vector{2,4,6,8})) { /* ... */ }
```
+
Instead, `enumerate` will return an object that has the temporary *moved* into
-it. That is, the returned object will contain a `std::vector` rather than
+it. That is, the returned object will contain a `std::vector` rather than
just a reference to one. This may seem like a contrived example, but it matters
when `enumerate` is passed the result of a function call like `enumerate(f())`,
-or, more obviously, something like `enumerate(zip(a, b))`. The object returned
+or, more obviously, something like `enumerate(zip(a, b))`. The object returned
from `zip` must be moved into the `enumerate` object. As a more specific
result, itertools can be mixed and nested.
-
-
#### Pipe syntax
Wherever it makes sense, I've implemented the "pipe" operator that has become
common in similar libraries. When the syntax is available, it is done by pulling
out the iterable from the call and placing it before the tool. For example:
```c++
-filter(pred, seq); // regular call
-seq | filter(pred); // pipe-style
-enumerate(seq); // regular call
-seq | enumerate; // pipe-style.
+filter(pred, seq); // regular call
+seq | filter(pred); // pipe-style
+enumerate(seq); // regular call
+seq | enumerate; // pipe-style.
```
The following tools support pipe. The remaining I left out because although
@@ -193,46 +191,50 @@ would expect them to behave:
I don't personally care for the piping style, but it seemed to be desired by
the users.
-
range
-----
Uses an underlying iterator to achieve the same effect of the python range
-function. `range` can be used in three different ways:
+function. `range` can be used in three different ways:
+
+Only the stopping point is provided. Prints `0 1 2 3 4 5 6 7 8 9`
-Only the stopping point is provided. Prints `0 1 2 3 4 5 6 7 8 9`
```c++
for (auto i : range(10)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
-The start and stop are both provided. Prints `10 11 12 13 14`
+The start and stop are both provided. Prints `10 11 12 13 14`
+
```c++
for (auto i : range(10, 15)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
-The start, stop, and step are all provided. Prints `20 22 24 26 28`
+The start, stop, and step are all provided. Prints `20 22 24 26 28`
+
```c++
for (auto i : range(20, 30, 2)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
-Negative values are allowed as well. Prints `2 1 0 -1 -2`
+Negative values are allowed as well. Prints `2 1 0 -1 -2`
+
```c++
for (auto i : range(2, -3, -1)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
A step size of 0 results in an empty range (Python's raises an exception).
The following prints nothing
+
```c++
for (auto i : range(0, 10, 0)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
@@ -240,9 +242,10 @@ In addition to normal integer range operations, doubles and
other numeric types are supported through the template
Prints: `5.0 5.5 6.0` ... `9.5`
+
```c++
for(auto i : range(5.0, 10.0, 0.5)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
@@ -253,46 +256,45 @@ recomputed at each step to avoid accumulating floating point inaccuracies
slower but more accurate.
`range` also supports the following operations:
- - `.size()` to get the number of elements in the range (not enabled for
- floating point ranges).
- - Accessors for `.start()`, `.stop()`, and `.step()`.
- - Indexing. Given a range `r`, `r[n]` is the `n`th element in the range.
+ - `.size()` to get the number of elements in the range (not enabled for
+ floating point ranges).
+ - Accessors for `.start()`, `.stop()`, and `.step()`.
+ - Indexing. Given a range `r`, `r[n]` is the `n`th element in the range.
enumerate
---------
-
-Continually "yields" containers similar to pairs. They are structs with
-the index in `.first`, and the element in `.second`, and also work with structured
-binding declarations.
-Usage appears as:
+Continually "yields" containers similar to pairs. They are structs with the
+index in `.first`, and the element in `.second`, and also work with structured
+binding declarations. Usage appears as:
```c++
vector vec{2, 4, 6, 8};
for (auto&& [i, e] : enumerate(vec)) {
- cout << i << ": " << e << '\n';
+ cout << i << ": " << e << '\n';
}
```
filter
------
-Called as `filter(predicate, iterable)`. The predicate can be any callable.
+Called as `filter(predicate, iterable)`. The predicate can be any callable.
`filter` will only yield values that are true under the predicate.
-Prints values greater than 4: `5 6 7 8`
+Prints values greater than 4: `5 6 7 8`
+
```c++
vector vec{1, 5, 4, 0, 6, 7, 3, 0, 2, 8, 3, 2, 1};
for (auto&& i : filter([] (int i) { return i > 4; }, vec)) {
- cout << i <<'\n';
+ cout << i <<'\n';
}
-
```
If no predicate is passed, the elements themselves are tested for truth
Prints only non-zero values.
+
```c++
for(auto&& i : filter(vec)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
@@ -300,36 +302,38 @@ filterfalse
-----------
Similar to filter, but only prints values that are false under the predicate.
-Prints values not greater than 4: `1 4 3 2 3 2 1 `
+Prints values not greater than 4: `1 4 3 2 3 2 1`
+
```c++
vector vec{1, 5, 4, 0, 6, 7, 3, 0, 2, 8, 3, 2, 1};
for (auto&& i : filterfalse([] (int i) { return i > 4; }, vec)) {
- cout << i <<'\n';
+ cout << i <<'\n';
}
-
```
If no predicate is passed, the elements themselves are tested for truth.
Prints only zero values.
+
```c++
for(auto&& i : filterfalse(vec)) {
- cout << i << '\n';
+ cout << i << '\n';
}
-
```
+
unique\_everseen
----------------
+----------------
*Additional Requirements*: Underlying values must be copy-constructible.
This is a filter adaptor that only generates values that have never been seen
before.
Prints `1 2 3 4 5 6 7 8 9`
+
```c++
vector v {1,2,3,4,3,2,1,5,6,7,7,8,9,8,9,6};
for (auto&& i : unique_everseen(v)) {
- cout << i << ' ';
+ cout << i << ' ';
}
```
@@ -341,29 +345,30 @@ This **does not** work with the pipe syntax.
```c++
vector v { /* ... */ };
for (auto&& w : unique_everseen(v, WidgetHash{}, WidgetEq{})) {
- cout << w.name() << ' ';
+ cout << w.name() << ' ';
}
```
unique\_justseen
---------------
+----------------
Another filter adaptor that only omits consecutive duplicates.
Prints `1 2 3 4 3 2 1`
-Example Usage:
+
```c++
vector v {1,1,1,2,2,3,3,3,4,3,2,1,1,1};
for (auto&& i : unique_justseen(v)) {
- cout << i << ' ';
+ cout << i << ' ';
}
```
If elements cannot be directly compared with equality, you can pass in a key
callable.
+
```c++
vector v { /* ... */ };
-for (auto&& p : unique_justseen(v, [] (const Person& p) { return p.name; }))
- cout << p.name() << ' ' << p.age() << '\n';
+for (auto&& p : unique_justseen(v, [] (const Person& p) { return p.name; })) {
+ cout << p.name() << ' ' << p.age() << '\n';
}
```
@@ -372,11 +377,12 @@ takewhile
Yields elements from an iterable until the first element that is false under
the predicate is encountered.
-Prints `1 2 3 4`. (5 is false under the predicate)
+Prints `1 2 3 4`. (5 is false under the predicate)
+
```c++
vector ivec{1, 2, 3, 4, 5, 6, 7, 6, 5, 4, 3, 2, 1};
for (auto&& i : takewhile([] (int i) {return i < 5;}, ivec)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
@@ -386,10 +392,11 @@ Yields all elements after and including the first element that is true under
the predicate.
Prints `5 6 7 1 2`
+
```c++
vector ivec{1, 2, 3, 4, 5, 6, 7, 1, 2};
for (auto&& i : dropwhile([] (int i) {return i < 5;}, ivec)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
@@ -397,18 +404,18 @@ cycle
-----
*Additional Requirements*: Input must have a ForwardIterator
-
-Repeatedly produces all values of an iterable. The loop will be infinite, so a
+Repeatedly produces all values of an iterable. The loop will be infinite, so a
`break` or other control flow structure is necessary to exit.
Prints `1 2 3` repeatedly until `some_condition` is true
+
```c++
vector vec{1, 2, 3};
for (auto&& i : cycle(vec)) {
- cout << i << '\n';
- if (some_condition) {
- break;
- }
+ cout << i << '\n';
+ if (some_condition) {
+ break;
+ }
}
```
@@ -416,19 +423,21 @@ repeat
------
Repeatedly produces a single argument forever, or a given number of times.
`repeat` will bind a reference when passed an lvalue and move when given
-an rvalue. It will then yield a reference to the same item until completion.
+an rvalue. It will then yield a reference to the same item until completion.
The below prints `1` five times.
+
```c++
for (auto&& e : repeat(1, 5)) {
- cout << e << '\n';
+ cout << e << '\n';
}
```
The below prints `2` forever
+
```c++
for (auto&& e : repeat(2)) {
- cout << e << '\n';
+ cout << e << '\n';
}
```
@@ -448,9 +457,10 @@ being the `std::numeric_limits::max()` for the integral type (`long`
by default)
The below will print `0 1 2` ... etc
+
```c++
for (auto&& i : count()) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
@@ -460,31 +470,32 @@ groupby
a reference, the reference must remain valid after the iterator is incremented.
Roughly equivalent to requiring the Input have a ForwardIterator.
-Separate an iterable into groups sharing a common key. The following example
+Separate an iterable into groups sharing a common key. The following example
creates a new group whenever a string of a different length is encountered.
+
```c++
vector vec = {
- "hi", "ab", "ho",
- "abc", "def",
- "abcde", "efghi"
+ "hi", "ab", "ho",
+ "abc", "def",
+ "abcde", "efghi"
};
for (auto&& gb : groupby(vec, [] (const string &s) {return s.length(); })) {
- cout << "key: " << gb.first << '\n';
- cout << "content: ";
- for (auto&& s : gb.second) {
- cout << s << " ";
- }
- cout << '\n';
+ cout << "key: " << gb.first << '\n';
+ cout << "content: ";
+ for (auto&& s : gb.second) {
+ cout << s << " ";
+ }
+ cout << '\n';
}
```
+
*Note*: Just like Python's `itertools.groupby`, this doesn't do any sorting.
It just iterates through, making a new group each time there is a key change.
Thus, if the group is unsorted, the same key may appear multiple times.
starmap
-------
-
Takes a sequence of tuple-like objects (anything that works with `std::get`)
and unpacks each object into individual arguments for each function call.
The below example takes a `vector` of `pairs` of ints, and passes them
@@ -494,21 +505,21 @@ the first and second arguments to the function.
```c++
vector> v = {{2, 3}, {5, 2}, {3, 4}}; // {base, exponent}
for (auto&& i : starmap([](int b, int e){return pow(b, e);}, v)) {
- // ...
+ // ...
}
```
`starmap` can also work over a tuple-like object of tuple-like objects even
when the contained objects are different as long as the functor works with
-multiple types of calls. For example, a `Callable` struct with overloads
+multiple types of calls. For example, a `Callable` struct with overloads
for its `operator()` will work as long as all overloads have the same
return type
```c++
struct Callable {
- int operator()(int i) const;
- int operator()(int i, char c) const;
- int operator()(double d, int i, char c) const;
+ int operator()(int i) const;
+ int operator()(int i, char c) const;
+ int operator()(double d, int i, char c) const;
};
```
@@ -516,36 +527,40 @@ This will work with a tuple of mixed types
```c++
auto t = make_tuple(
- make_tuple(5), // first form
- make_pair(3, 'c'), // second
- make_tuple(1.0, 1, '1')); // third
+ make_tuple(5), // first form
+ make_pair(3, 'c'), // second
+ make_tuple(1.0, 1, '1')); // third
for (auto&& i : starmap(Callable{}, t)) {
- // ...
+ // ...
}
```
accumulate
--------
+----------
*Additional Requirements*: Type return from functor (with reference removed)
must be assignable.
Differs from `std::accumulate` (which in my humble opinion should be named
-`std::reduce` or `std::foldl`). It is similar to a functional reduce where one
-can see all of the intermediate results. By default, it keeps a running sum.
+`std::reduce` or `std::foldl`). It is similar to a functional reduce where one
+can see all of the intermediate results. By default, it keeps a running sum.
+
Prints: `1 3 6 10 15`
+
```c++
for (auto&& i : accumulate(range(1, 6))) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
+
A second, optional argument may provide an alternative binary function
-to compute results. The following example multiplies the numbers, rather
+to compute results. The following example multiplies the numbers, rather
than adding them.
+
Prints: `1 2 6 24 120`
```c++
for (auto&& i : accumulate(range(1, 6), std::multiplies{})) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
@@ -556,10 +571,11 @@ zip
---
Takes an arbitrary number of ranges of different types and efficiently iterates
over them in parallel (so an iterator to each container is incremented
-simultaneously). When you dereference an iterator to "zipped" range you get a
+simultaneously). When you dereference an iterator to "zipped" range you get a
tuple of the elements the iterators were holding.
Example usage:
+
```c++
array iseq{{1,2,3,4}};
vector fseq{1.2,1.4,12.3,4.5,9.9};
@@ -567,42 +583,43 @@ vector sseq{"i","like","apples","a lot","dude"};
array dseq{{1.2,1.2,1.2,1.2,1.2}};
for (auto&& [i, f, s, d] : zip(iseq, fseq, sseq, dseq)) {
- cout << i << ' ' << f << ' ' << s << ' ' << d << '\n';
- f = 2.2f; // modifies the underlying 'fseq' sequence
+ cout << i << ' ' << f << ' ' << s << ' ' << d << '\n';
+ f = 2.2f; // modifies the underlying 'fseq' sequence
}
```
zip\_longest
------------
+------------
Terminates on the longest sequence instead of the shortest.
Repeatedly yields a tuple of `boost::optional`s where `T` is the type
-yielded by the sequences' respective iterators. Because of its boost
+yielded by the sequences' respective iterators. Because of its boost
dependency, `zip_longest` is not in `itertools.hpp` and must be included
separately.
-The following loop prints either "Just - " or "Nothing" for each
+The following loop prints either "Just \
- " or "Nothing" for each
element in each tuple yielded.
```c++
vector v1 = {0, 1, 2, 3};
vector v2 = {10, 11};
for (auto&& [x, y] : zip_longest(v1, v2)) {
- cout << '{';
- if (x) {
- cout << "Just " << *x;
- } else {
- cout << "Nothing";
- }
- cout << ", ";
- if (y) {
- cout << "Just " << *y;
- } else {
- cout << "Nothing";
- }
- cout << "}\n";
+ cout << '{';
+ if (x) {
+ cout << "Just " << *x;
+ } else {
+ cout << "Nothing";
+ }
+ cout << ", ";
+ if (y) {
+ cout << "Just " << *y;
+ } else {
+ cout << "Nothing";
+ }
+ cout << "}\n";
}
```
The output is:
+
```
{Just 0, Just 10}
{Just 1, Just 11}
@@ -612,27 +629,27 @@ The output is:
imap
----
-
-Takes a function and one or more iterables. The number of iterables must
-match the number of arguments to the function. Applies the function to
-each element (or elements) in the iterable(s). Terminates on the shortest
+Takes a function and one or more iterables. The number of iterables must
+match the number of arguments to the function. Applies the function to
+each element (or elements) in the iterable(s). Terminates on the shortest
sequence.
Prints the squares of the numbers in vec: `1 4 9 16 25`
```c++
vector vec{1, 2, 3, 4, 5};
for (auto&& i : imap([] (int x) {return x * x;}, vec)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
With more than one sequence, the below adds corresponding elements from
each vector together, printing `11 23 35 47 59 71`
+
```c++
vector vec1{1, 3, 5, 7, 9, 11};
vector vec2{10, 20, 30, 40, 50, 60};
for (auto&& i : imap([] (int x, int y) { return x + y; }, vec1, vec2)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
@@ -640,10 +657,8 @@ for (auto&& i : imap([] (int x, int y) { return x + y; }, vec1, vec2)) {
`std::map`, and because it is more related to `itertools.imap` than
the python builtin `map`.
-
compress
--------
-
Yields only the values corresponding to true in the selectors iterable.
Terminates on the shortest sequence.
@@ -652,7 +667,7 @@ Prints `2 6`
vector ivec{1, 2, 3, 4, 5, 6};
vector bvec{false, true, false, false, false, true};
for (auto&& i : compress(ivec, bvec) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
@@ -662,10 +677,10 @@ sorted
Allows iteration over a sequence in sorted order. `sorted` does
**not** produce a new sequence, copy elements, or modify the original
-sequence. It only provides a way to iterate over existing elements.
+sequence. It only provides a way to iterate over existing elements.
`sorted` also takes an optional second
[comparator](http://en.cppreference.com/w/cpp/concept/Compare)
-argument. If not provided, defaults to `std::less`.
+argument. If not provided, defaults to `std::less`.
Iterables passed to sorted are required to have an iterator with
an `operator*() const` member.
@@ -674,7 +689,7 @@ The below outputs `0 1 2 3 4`.
```c++
unordered_set nums{4, 0, 2, 1, 3};
for (auto&& i : sorted(nums)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
@@ -692,31 +707,31 @@ vector vec1{1,2,3,4,5,6};
array arr1{{7,8,9,10}};
for (auto&& i : chain(empty,vec1,arr1)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
chain.from\_iterable
--------------------
-
+--------------------
Similar to chain, but rather than taking a variadic number of iterables,
it takes an iterable of iterables and chains the contained iterables together.
A simple example is shown below using a vector of vectors to represent
a 2d ragged array, and prints it in row-major order.
+
```c++
vector> matrix = {
- {1, 2, 3},
- {4, 5},
- {6, 8, 9, 10, 11, 12}
+ {1, 2, 3},
+ {4, 5},
+ {6, 8, 9, 10, 11, 12}
};
for (auto&& i : chain.from_iterable(matrix)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
reversed
--------
+--------
*Additional Requirements*: Input must be compatible with `std::rbegin()` and
`std::rend()`
@@ -724,7 +739,7 @@ Iterates over elements of a sequence in reverse order.
```c++
for (auto&& i : reversed(a)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
@@ -735,18 +750,19 @@ Returns selected elements from a range, parameters are start, stop and step.
the range returned is [start,stop) where you only take every step element
This outputs `0 3 6 9 12`
+
```c++
vector a{0,1,2,3,4,5,6,7,8,9,10,11,12,13};
for (auto&& i : slice(a,0,15,3)) {
- cout << i << '\n';
+ cout << i << '\n';
}
```
sliding\_window
--------------
+---------------
*Additional Requirements*: Input must have a ForwardIterator
-Takes a section from a range and increments the whole section. If the
+Takes a section from a range and increments the whole section. If the
window size is larger than the length of the input, the `sliding_window` will
yield nothing (begin == end).
@@ -764,60 +780,65 @@ take a section of size 4, output is:
```
Example Usage:
+
```c++
vector v = {1,2,3,4,5,6,7,8,9};
for (auto&& sec : sliding_window(v,4)) {
- for (auto&& i : sec) {
- cout << i << ' ';
- i.get() = 90;
- }
- cout << '\n';
+ for (auto&& i : sec) {
+ cout << i << ' ';
+ i.get() = 90;
+ }
+ cout << '\n';
}
```
-chunked
-------
+chunked
+-------
chunked will yield subsequent chunks of an iterable in blocks of a specified
size. The final chunk may be shorter than the rest if the chunk size given
does not evenly divide the length of the iterable.
Example usage:
+
```c++
vector v {1,2,3,4,5,6,7,8,9};
for (auto&& sec : chunked(v,4)) {
- for (auto&& i : sec) {
- cout << i << ' ';
- }
- cout << '\n';
+ for (auto&& i : sec) {
+ cout << i << ' ';
+ }
+ cout << '\n';
}
```
The above prints:
+
```
1 2 3 4
5 6 7 8
9
```
+
batched
-------
-
batched will yield a given number N of batches containing subsequent elements from an iterable,
assuming the iterable contains at least N elements.
The size of each batch is immaterial, but the implementation guarantees that no two batches will
differ in size by more than 1.
Example usage:
+
```c++
vector v {1,2,3,4,5,6,7,8,9};
for (auto&& sec : batched(v,4)) {
- for (auto&& i : sec) {
- cout << i << ' ';
- }
- cout << '\n';
+ for (auto&& i : sec) {
+ cout << i << ' ';
+ }
+ cout << '\n';
}
```
The above prints:
+
```
1 2 3
4 5
@@ -826,54 +847,60 @@ The above prints:
```
product
-------
+-------
*Additional Requirements*: Input must have a ForwardIterator
Generates the cartesian product of the given ranges put together.
Example usage:
+
```c++
vector v1{1,2,3};
vector v2{7,8};
vector v3{"the","cat"};
vector v4{"hi","what's","up","dude"};
for (auto&& [a, b, c, d] : product(v1,v2,v3,v4)) {
- cout << a << ", " << b << ", " << c << ", " << d << '\n';
+ cout << a << ", " << b << ", " << c << ", " << d << '\n';
}
```
-Product also accepts a "repeat" as a template argument. Currently this is the only way to do repeats. **If you are reading this and need `product(seq, 3)` instead of `product<3>(seq)` please open an issue**.
+Product also accepts a "repeat" as a template argument. Currently this is the
+only way to do repeats. **If you are reading this and need `product(seq, 3)`
+instead of `product<3>(seq)` please open an issue**.
Example usage:
+
```c++
std::string s = "abc";
// equivalent of product(s, s, s);
for (auto&& t : product<3>(s)) {
- // ...
+ // ...
}
```
combinations
------------
+------------
*Additional Requirements*: Input must have a ForwardIterator
Generates n length unique sequences of the input range.
Example usage:
+
```c++
vector v = {1,2,3,4,5};
for (auto&& i : combinations(v,3)) {
- for (auto&& j : i ) cout << j << " ";
- cout << '\n';
+ for (auto&& j : i ) cout << j << " ";
+ cout << '\n';
}
```
combinations\_with\_replacement
------------------------------
+-------------------------------
*Additional Requirements*: Input must have a ForwardIterator
-Like combinations, but with replacement of each element. The
+Like combinations, but with replacement of each element. The
below is printed by the loop that follows:
+
```
{A, A}
{A, B}
@@ -882,43 +909,46 @@ below is printed by the loop that follows:
{B, C}
{C, C}
```
+
```c++
for (auto&& v : combinations_with_replacement(s, 2)) {
- cout << '{' << v[0] << ", " << v[1] << "}\n";
+ cout << '{' << v[0] << ", " << v[1] << "}\n";
}
```
permutations
------------
-*Additional Requirements*: Input must have a ForwardIterator. Iterator must
+------------
+*Additional Requirements*: Input must have a ForwardIterator. Iterator must
have an `operator*() const`.
Generates all the permutations of a range using `std::next_permutation`.
Example usage:
+
```c++
vector v = {1,2,3,4,5};
for (auto&& vec : permutations(v)) {
- for (auto&& i : vec) {
- cout << i << ' ';
- }
- cout << '\n';
+ for (auto&& i : vec) {
+ cout << i << ' ';
+ }
+ cout << '\n';
}
```
powerset
--------
+--------
*Additional Requirements*: Input must have a ForwardIterator
Generates every possible subset of a set, runs in O(2^n).
Example usage:
+
```c++
vector vec {1,2,3,4,5,6,7,8,9};
for (auto&& v : powerset(vec)) {
- for (auto&& i : v) {
- cout << i << " ";
- }
- cout << '\n';
+ for (auto&& i : v) {
+ cout << i << " ";
+ }
+ cout << '\n';
}
```
diff --git a/cppitertools/accumulate.hpp b/cppitertools/accumulate.hpp
index 94c0c369..2c5bc54e 100644
--- a/cppitertools/accumulate.hpp
+++ b/cppitertools/accumulate.hpp
@@ -17,7 +17,7 @@ namespace iter {
using AccumulateFn = IterToolFnOptionalBindSecond>;
}
- constexpr impl::AccumulateFn accumulate{};
+ inline constexpr impl::AccumulateFn accumulate{};
}
template
diff --git a/cppitertools/batched.hpp b/cppitertools/batched.hpp
index e5eadf13..f3d00ece 100644
--- a/cppitertools/batched.hpp
+++ b/cppitertools/batched.hpp
@@ -20,7 +20,7 @@ namespace iter {
using BatchedFn = IterToolFnBindSizeTSecond;
}
- constexpr impl::BatchedFn batched{};
+ inline constexpr impl::BatchedFn batched{};
}
template
diff --git a/cppitertools/chain.hpp b/cppitertools/chain.hpp
index 23d1e054..05557387 100644
--- a/cppitertools/chain.hpp
+++ b/cppitertools/chain.hpp
@@ -1,10 +1,6 @@
#ifndef ITER_CHAIN_HPP_
#define ITER_CHAIN_HPP_
-#include "internal/iter_tuples.hpp"
-#include "internal/iterator_wrapper.hpp"
-#include "internal/iterbase.hpp"
-
#include
#include
#include
@@ -12,6 +8,10 @@
#include
#include
+#include "internal/iter_tuples.hpp"
+#include "internal/iterator_wrapper.hpp"
+#include "internal/iterbase.hpp"
+
namespace iter {
namespace impl {
template
@@ -43,6 +43,26 @@ class iter::impl::Chained {
private:
friend ChainMaker;
+ template
+ class IteratorDataPair {
+ IteratorDataPair() = delete;
+
+ public:
+ using IterTupTypeA = iterator_tuple_type;
+ using IterTupTypeB = iterator_tuple_type;
+
+ template
+ static bool get_and_check_not_equal(
+ const IterTupTypeA& lhs, const IterTupTypeB& rhs) {
+ return std::get(lhs) != std::get(rhs);
+ }
+
+ using NeqFunc = bool (*)(const IterTupTypeA&, const IterTupTypeB&);
+
+ constexpr static std::array neq_comparers{
+ {get_and_check_not_equal...}};
+ };
+
template
class IteratorData {
IteratorData() = delete;
@@ -76,16 +96,9 @@ class iter::impl::Chained {
++std::get(iters);
}
- template
- static bool get_and_check_not_equal(
- const IterTupType& lhs, const IterTupType& rhs) {
- return std::get(lhs) != std::get(rhs);
- }
-
using DerefFunc = DerefType (*)(IterTupType&);
using ArrowFunc = ArrowType (*)(IterTupType&);
using IncFunc = void (*)(IterTupType&);
- using NeqFunc = bool (*)(const IterTupType&, const IterTupType&);
constexpr static std::array derefers{
{get_and_deref...}};
@@ -96,9 +109,6 @@ class iter::impl::Chained {
constexpr static std::array incrementers{
{get_and_increment...}};
- constexpr static std::array neq_comparers{
- {get_and_check_not_equal...}};
-
using TraitsValue =
iterator_traits_deref>;
};
@@ -119,17 +129,21 @@ class iter::impl::Chained {
void check_for_end_and_adjust() {
while (index_ < sizeof...(Is)
- && !(IterData::neq_comparers[index_](iters_, ends_))) {
+ && !(IteratorDataPair::neq_comparers[index_](
+ iters_, ends_))) {
++index_;
}
}
public:
+ template
+ friend class Iterator;
+
using iterator_category = std::input_iterator_tag;
using value_type = typename IteratorData::TraitsValue;
using difference_type = std::ptrdiff_t;
- using pointer = value_type*;
- using reference = value_type&;
+ using pointer = typename IteratorData::ArrowType;
+ using reference = typename IteratorData::DerefType;
Iterator(std::size_t i, typename IterData::IterTupType&& iters,
typename IterData::IterTupType&& ends)
@@ -141,7 +155,7 @@ class iter::impl::Chained {
return IterData::derefers[index_](iters_);
}
- decltype(auto) operator-> () {
+ decltype(auto) operator->() {
return IterData::arrowers[index_](iters_);
}
@@ -157,14 +171,16 @@ class iter::impl::Chained {
return ret;
}
- // TODO make const and non-const iterators comparable
- bool operator!=(const Iterator& other) const {
+ template
+ bool operator!=(const Iterator& other) const {
return index_ != other.index_
|| (index_ != sizeof...(Is)
- && IterData::neq_comparers[index_](iters_, other.iters_));
+ && IteratorDataPair::neq_comparers[index_](
+ iters_, other.iters_));
}
- bool operator==(const Iterator& other) const {
+ template
+ bool operator==(const Iterator& other) const {
return !(*this != other);
}
};
@@ -327,9 +343,7 @@ class iter::impl::ChainMaker {
};
namespace iter {
- namespace {
- constexpr auto chain = iter::impl::ChainMaker{};
- }
+ inline constexpr auto chain = iter::impl::ChainMaker{};
}
#endif
diff --git a/cppitertools/chunked.hpp b/cppitertools/chunked.hpp
index 1d03b6e1..13fa652f 100644
--- a/cppitertools/chunked.hpp
+++ b/cppitertools/chunked.hpp
@@ -20,7 +20,7 @@ namespace iter {
using ChunkedFn = IterToolFnBindSizeTSecond;
}
- constexpr impl::ChunkedFn chunked{};
+ inline constexpr impl::ChunkedFn chunked{};
}
template
diff --git a/cppitertools/combinations.hpp b/cppitertools/combinations.hpp
index 7aca3115..cdee9cdd 100644
--- a/cppitertools/combinations.hpp
+++ b/cppitertools/combinations.hpp
@@ -15,7 +15,7 @@ namespace iter {
using CombinationsFn = IterToolFnBindSizeTSecond;
}
- constexpr impl::CombinationsFn combinations{};
+ inline constexpr impl::CombinationsFn combinations{};
}
template
diff --git a/cppitertools/combinations_with_replacement.hpp b/cppitertools/combinations_with_replacement.hpp
index d501c6e1..39db37bd 100644
--- a/cppitertools/combinations_with_replacement.hpp
+++ b/cppitertools/combinations_with_replacement.hpp
@@ -15,7 +15,7 @@ namespace iter {
using CombinationsWithReplacementFn =
IterToolFnBindSizeTSecond;
}
- constexpr impl::CombinationsWithReplacementFn combinations_with_replacement{};
+ inline constexpr impl::CombinationsWithReplacementFn combinations_with_replacement{};
}
template
diff --git a/cppitertools/cycle.hpp b/cppitertools/cycle.hpp
index 1d3ecaef..fb3ca9c7 100644
--- a/cppitertools/cycle.hpp
+++ b/cppitertools/cycle.hpp
@@ -15,7 +15,7 @@ namespace iter {
using CycleFn = IterToolFn;
}
- constexpr impl::CycleFn cycle{};
+ inline constexpr impl::CycleFn cycle{};
}
template
diff --git a/cppitertools/dropwhile.hpp b/cppitertools/dropwhile.hpp
index dc1874b0..86942826 100644
--- a/cppitertools/dropwhile.hpp
+++ b/cppitertools/dropwhile.hpp
@@ -16,7 +16,7 @@ namespace iter {
using DropWhileFn = IterToolFnOptionalBindFirst;
}
- constexpr impl::DropWhileFn dropwhile{};
+ inline constexpr impl::DropWhileFn dropwhile{};
}
template
@@ -29,7 +29,7 @@ class iter::impl::Dropper {
Dropper(FilterFunc filter_func, Container&& container)
: container_(std::forward(container)),
- filter_func_(filter_func) {}
+ filter_func_(std::move(filter_func)) {}
public:
Dropper(Dropper&&) = default;
diff --git a/cppitertools/enumerate.hpp b/cppitertools/enumerate.hpp
index e2dda12b..5d59feab 100644
--- a/cppitertools/enumerate.hpp
+++ b/cppitertools/enumerate.hpp
@@ -33,7 +33,7 @@ namespace iter {
using EnumerateFn = IterToolFnOptionalBindSecond;
}
- constexpr impl::EnumerateFn enumerate{};
+ inline constexpr impl::EnumerateFn enumerate{};
}
namespace std {
diff --git a/cppitertools/filter.hpp b/cppitertools/filter.hpp
index 2a632be2..d743d8b1 100644
--- a/cppitertools/filter.hpp
+++ b/cppitertools/filter.hpp
@@ -24,11 +24,13 @@ namespace iter {
using FilterFn = IterToolFnOptionalBindFirst;
}
- constexpr impl::FilterFn filter{};
+ inline constexpr impl::FilterFn filter{};
}
template
class iter::impl::Filtered {
+ static_assert(!std::is_reference_v);
+
private:
Container container_;
mutable FilterFunc filter_func_;
@@ -39,7 +41,7 @@ class iter::impl::Filtered {
// Value constructor for use only in the filter function
Filtered(FilterFunc filter_func, Container&& container)
: container_(std::forward(container)),
- filter_func_(filter_func) {}
+ filter_func_(std::move(filter_func)) {}
public:
Filtered(Filtered&&) = default;
@@ -84,8 +86,8 @@ class iter::impl::Filtered {
using iterator_category = std::input_iterator_tag;
using value_type = iterator_traits_deref;
using difference_type = std::ptrdiff_t;
- using pointer = value_type*;
- using reference = value_type&;
+ using pointer = typename Holder::pointer;
+ using reference = typename Holder::reference;
Iterator(IteratorWrapper&& sub_iter,
IteratorWrapper&& sub_end, FilterFunc& filter_func)
diff --git a/cppitertools/filterfalse.hpp b/cppitertools/filterfalse.hpp
index f0f22628..269724dd 100644
--- a/cppitertools/filterfalse.hpp
+++ b/cppitertools/filterfalse.hpp
@@ -38,7 +38,7 @@ namespace iter {
using FilterFalseFn = IterToolFnOptionalBindFirst;
}
- constexpr impl::FilterFalseFn filterfalse{};
+ inline constexpr impl::FilterFalseFn filterfalse{};
}
// Delegates to Filtered with PredicateFlipper
@@ -48,7 +48,8 @@ class iter::impl::FilterFalsed
friend FilterFalseFn;
FilterFalsed(FilterFunc in_filter_func, Container&& in_container)
: Filtered, Container>(
- {in_filter_func}, std::forward(in_container)) {}
+ {std::move(in_filter_func)},
+ std::forward(in_container)) {}
};
#endif
diff --git a/cppitertools/groupby.hpp b/cppitertools/groupby.hpp
index cac82426..1c73f9f6 100644
--- a/cppitertools/groupby.hpp
+++ b/cppitertools/groupby.hpp
@@ -20,7 +20,7 @@ namespace iter {
using GroupByFn = IterToolFnOptionalBindSecond;
}
- constexpr impl::GroupByFn groupby{};
+ inline constexpr impl::GroupByFn groupby{};
}
template
@@ -35,7 +35,8 @@ class iter::impl::GroupProducer {
using key_func_ret = std::invoke_result_t>;
GroupProducer(Container&& container, KeyFunc key_func)
- : container_(std::forward(container)), key_func_(key_func) {}
+ : container_(std::forward(container)),
+ key_func_(std::move(key_func)) {}
public:
GroupProducer(GroupProducer&&) = default;
@@ -177,6 +178,8 @@ class iter::impl::GroupProducer {
friend class Iterator;
friend class GroupIterator;
Iterator& owner_;
+ // The key function may return a reference, so we need to call forward, not
+ // move, when going for efficiency.
key_func_ret key_;
// completed is set if a Group is iterated through
@@ -191,7 +194,7 @@ class iter::impl::GroupProducer {
bool completed = false;
Group(Iterator& owner, key_func_ret key)
- : owner_(owner), key_(key) {}
+ : owner_(owner), key_(std::forward>(key)) {}
public:
~Group() {
@@ -203,7 +206,9 @@ class iter::impl::GroupProducer {
// move-constructible, non-copy-constructible, non-assignable
Group(Group&& other) noexcept
- : owner_(other.owner_), key_{other.key_}, completed{other.completed} {
+ : owner_(other.owner_),
+ key_{std::forward>(other.key_)},
+ completed{other.completed} {
other.completed = true;
}
diff --git a/cppitertools/imap.hpp b/cppitertools/imap.hpp
index 1e84faf0..21ca2e81 100644
--- a/cppitertools/imap.hpp
+++ b/cppitertools/imap.hpp
@@ -16,12 +16,13 @@ namespace iter {
// See #66
-> StarMapper(containers)...))> {
- return starmap(map_func, zip(std::forward(containers)...));
+ return starmap(
+ std::move(map_func), zip(std::forward(containers)...));
}
using PipeableAndBindFirst::operator();
};
}
- constexpr impl::IMapFn imap{};
+ inline constexpr impl::IMapFn imap{};
}
#endif
diff --git a/cppitertools/internal/iteratoriterator.hpp b/cppitertools/internal/iteratoriterator.hpp
index 3993a4d0..0ab23bad 100644
--- a/cppitertools/internal/iteratoriterator.hpp
+++ b/cppitertools/internal/iteratoriterator.hpp
@@ -24,7 +24,8 @@ namespace iter {
template
class IteratorIterator {
- template friend class IteratorIterator;
+ template
+ friend class IteratorIterator;
using Diff = std::ptrdiff_t;
static_assert(
std::is_same<
@@ -37,10 +38,14 @@ namespace iter {
public:
using iterator_category = std::random_access_iterator_tag;
- using value_type = std::remove_reference_t())>;
+ using value_type = std::remove_cv_t<
+ std::remove_reference_t())>>;
using difference_type = std::ptrdiff_t;
- using pointer = value_type*;
- using reference = value_type&;
+ using pointer =
+ std::remove_reference_t())>*;
+ using reference = std::add_lvalue_reference_t<
+ std::remove_reference_t())>>;
+
IteratorIterator() = default;
IteratorIterator(const TopIter& it) : sub_iter{it} {}
@@ -84,7 +89,7 @@ namespace iter {
return **this->sub_iter;
}
- auto operator-> () const -> decltype(*sub_iter) {
+ auto operator->() const -> decltype(*sub_iter) {
return *this->sub_iter;
}
diff --git a/cppitertools/internal/iterbase.hpp b/cppitertools/internal/iterbase.hpp
index 6f654828..e9627079 100644
--- a/cppitertools/internal/iterbase.hpp
+++ b/cppitertools/internal/iterbase.hpp
@@ -117,7 +117,7 @@ namespace iter {
template
using iterator_traits_deref =
- std::remove_reference_t>;
+ std::remove_cv_t>>;
template
struct IsIterable : std::false_type {};
@@ -214,28 +214,20 @@ namespace iter {
}
}
- template
- void dumb_advance_impl(
- Iter& iter, const EndIter& end, Distance distance, std::false_type) {
- for (Distance i(0); i < distance && iter != end; ++i) {
- ++iter;
- }
- }
-
- template
- void dumb_advance_impl(
- Iter& iter, const EndIter& end, Distance distance, std::true_type) {
- if (static_cast(end - iter) < distance) {
- iter = end;
- } else {
- iter += distance;
- }
- }
-
// iter will not be incremented past end
template
void dumb_advance(Iter& iter, const EndIter& end, Distance distance) {
- dumb_advance_impl(iter, end, distance, is_random_access_iter{});
+ if constexpr (is_random_access_iter{}) {
+ if (static_cast(end - iter) < distance) {
+ iter = end;
+ } else {
+ iter += distance;
+ }
+ } else {
+ for (Distance i(0); i < distance && iter != end; ++i) {
+ ++iter;
+ }
+ }
}
template
@@ -270,9 +262,8 @@ namespace iter {
std::is_same::value && are_same::value> {};
// DerefHolder holds the value gotten from an iterator dereference
- // if the iterate dereferences to an lvalue references, a pointer to the
- // element is stored
- // if it does not, a value is stored instead
+ // if the iterator dereferences to an lvalue references, a pointer to the
+ // element is stored. if it does not, a value is stored instead
// get() returns a reference to the held item
// get_ptr() returns a pointer to the held item
// reset() replaces the currently held item
@@ -282,7 +273,7 @@ namespace iter {
static_assert(!std::is_lvalue_reference::value,
"Non-lvalue-ref specialization used for lvalue ref type");
// it could still be an rvalue reference
- using TPlain = std::remove_reference_t;
+ using TPlain = std::remove_cv_t>;
std::optional item_p_;
@@ -353,6 +344,14 @@ namespace iter {
template
struct Pipeable {
template
+#if defined(__GNUC__) && !defined(__clang__) && __GNUC__ >= 14
+ [[gnu::no_dangling]]
+#endif
+ friend decltype(auto) operator|(T&& x, Pipeable&& p) {
+ return static_cast(p)(std::forward(x));
+ }
+
+ template
friend decltype(auto) operator|(T&& x, const Pipeable& p) {
return static_cast(p)(std::forward(x));
}
@@ -375,11 +374,17 @@ namespace iter {
protected:
template
struct FnPartial : Pipeable> {
+ static_assert(!std::is_reference_v);
mutable T stored_arg;
- constexpr FnPartial(T in_t) : stored_arg(in_t) {}
+ constexpr FnPartial(T in_t) : stored_arg(std::move(in_t)) {}
template
- auto operator()(Container&& container) const {
+ auto operator()(Container&& container) && {
+ return F{}(std::move(stored_arg), std::forward(container));
+ }
+
+ template
+ auto operator()(Container&& container) const& {
return F{}(stored_arg, std::forward(container));
}
};
@@ -400,10 +405,15 @@ namespace iter {
template
struct FnPartial : Pipeable> {
mutable T stored_arg;
- constexpr FnPartial(T in_t) : stored_arg(in_t) {}
+ constexpr FnPartial(T in_t) : stored_arg(std::move(in_t)) {}
template
- auto operator()(Container&& container) const {
+ auto operator()(Container&& container) && {
+ return F{}(std::forward(container), std::move(stored_arg));
+ }
+
+ template
+ auto operator()(Container&& container) const& {
return F{}(std::forward(container), stored_arg);
}
};
@@ -433,22 +443,14 @@ namespace iter {
using Base =
PipeableAndBindFirst>;
- protected:
- template
- auto operator()(Container&& container, std::false_type) const {
- return static_cast(*this)(
- std::forward(container));
- }
-
- template
- auto operator()(Container&& container, std::true_type) const {
- return (*this)(DefaultT{}, std::forward(container));
- }
-
public:
template
auto operator()(T&& t) const {
- return (*this)(std::forward(t), IsIterable{});
+ if constexpr (IsIterable{}) {
+ return (*this)(DefaultT{}, std::forward(t));
+ } else {
+ return static_cast(*this)(std::forward(t));
+ }
}
template
struct FnPartial : Pipeable> {
mutable T stored_arg;
- constexpr FnPartial(T in_t) : stored_arg(in_t) {}
+ constexpr FnPartial(T in_t) : stored_arg(std::move(in_t)) {}
template
- auto operator()(Container&& container) const {
+ auto operator()(Container&& container) && {
+ return IterToolFnOptionalBindSecond{}(
+ std::forward(container), std::move(stored_arg));
+ }
+
+ template
+ auto operator()(Container&& container) const& {
return IterToolFnOptionalBindSecond{}(
std::forward(container), stored_arg);
}
diff --git a/cppitertools/permutations.hpp b/cppitertools/permutations.hpp
index e10872d4..f567bc68 100644
--- a/cppitertools/permutations.hpp
+++ b/cppitertools/permutations.hpp
@@ -17,7 +17,7 @@ namespace iter {
class Permuter;
using PermutationsFn = IterToolFn;
}
- constexpr impl::PermutationsFn permutations{};
+ inline constexpr impl::PermutationsFn permutations{};
}
template
diff --git a/cppitertools/powerset.hpp b/cppitertools/powerset.hpp
index 3439069d..d6131ca8 100644
--- a/cppitertools/powerset.hpp
+++ b/cppitertools/powerset.hpp
@@ -18,7 +18,7 @@ namespace iter {
using PowersetFn = IterToolFn;
}
- constexpr impl::PowersetFn powerset{};
+ inline constexpr impl::PowersetFn powerset{};
}
template
diff --git a/cppitertools/reversed.hpp b/cppitertools/reversed.hpp
index 3b914bb1..022088f6 100644
--- a/cppitertools/reversed.hpp
+++ b/cppitertools/reversed.hpp
@@ -45,7 +45,7 @@ namespace iter {
using ReversedFn = IterToolFn;
}
- constexpr impl::ReversedFn reversed{};
+ inline constexpr impl::ReversedFn reversed{};
}
template
diff --git a/cppitertools/slice.hpp b/cppitertools/slice.hpp
index a926ecbb..38557016 100644
--- a/cppitertools/slice.hpp
+++ b/cppitertools/slice.hpp
@@ -172,7 +172,7 @@ struct iter::impl::SliceFn {
};
namespace iter {
- constexpr impl::SliceFn slice{};
+ inline constexpr impl::SliceFn slice{};
}
#endif
diff --git a/cppitertools/sliding_window.hpp b/cppitertools/sliding_window.hpp
index d4ab6cbc..01c348ba 100644
--- a/cppitertools/sliding_window.hpp
+++ b/cppitertools/sliding_window.hpp
@@ -16,7 +16,7 @@ namespace iter {
class WindowSlider;
using SlidingWindowFn = IterToolFnBindSizeTSecond;
}
- constexpr impl::SlidingWindowFn sliding_window{};
+ inline constexpr impl::SlidingWindowFn sliding_window{};
}
template
diff --git a/cppitertools/sorted.hpp b/cppitertools/sorted.hpp
index 4e963228..a704af3f 100644
--- a/cppitertools/sorted.hpp
+++ b/cppitertools/sorted.hpp
@@ -15,7 +15,7 @@ namespace iter {
class SortedView;
using SortedFn = IterToolFnOptionalBindSecond>;
}
- constexpr impl::SortedFn sorted{};
+ inline constexpr impl::SortedFn sorted{};
}
template
diff --git a/cppitertools/starmap.hpp b/cppitertools/starmap.hpp
index fbeaad68..f9c2d260 100644
--- a/cppitertools/starmap.hpp
+++ b/cppitertools/starmap.hpp
@@ -252,7 +252,7 @@ struct iter::impl::StarMapFn : PipeableAndBindFirst {
};
namespace iter {
- constexpr impl::StarMapFn starmap{};
+ inline constexpr impl::StarMapFn starmap{};
}
#endif
diff --git a/cppitertools/takewhile.hpp b/cppitertools/takewhile.hpp
index a04d86b2..3a351d0c 100644
--- a/cppitertools/takewhile.hpp
+++ b/cppitertools/takewhile.hpp
@@ -16,7 +16,7 @@ namespace iter {
using TakeWhileFn = IterToolFnOptionalBindFirst;
}
- constexpr impl::TakeWhileFn takewhile{};
+ inline constexpr impl::TakeWhileFn takewhile{};
}
template
@@ -29,7 +29,7 @@ class iter::impl::Taker {
Taker(FilterFunc filter_func, Container&& container)
: container_(std::forward(container)),
- filter_func_(filter_func) {}
+ filter_func_(std::move(filter_func)) {}
public:
Taker(Taker&&) = default;
diff --git a/cppitertools/unique_everseen.hpp b/cppitertools/unique_everseen.hpp
index 1e138d63..2195a4bd 100644
--- a/cppitertools/unique_everseen.hpp
+++ b/cppitertools/unique_everseen.hpp
@@ -45,7 +45,7 @@ namespace iter {
};
}
- constexpr impl::UniqueEverseenFn unique_everseen{};
+ inline constexpr impl::UniqueEverseenFn unique_everseen{};
}
#endif
diff --git a/cppitertools/unique_justseen.hpp b/cppitertools/unique_justseen.hpp
index 5a566e78..e86d20ba 100644
--- a/cppitertools/unique_justseen.hpp
+++ b/cppitertools/unique_justseen.hpp
@@ -9,9 +9,11 @@
namespace iter {
namespace impl {
- struct UniqueJustseenFn : PipeableAndBindOptionalSecond {
+ struct UniqueJustseenFn
+ : PipeableAndBindOptionalSecond {
public:
- using PipeableAndBindOptionalSecond::operator();
+ using PipeableAndBindOptionalSecond::
+ operator();
template
auto operator()(Container&& container, KeyFunc key_fn) const {
// decltype(auto) return type in lambda so reference types are preserved
@@ -19,11 +21,11 @@ namespace iter {
[](auto&& group) -> decltype(auto) {
return *get_begin(group.second);
},
- groupby(std::forward(container), key_fn));
+ groupby(std::forward(container), std::move(key_fn)));
}
};
}
- constexpr impl::UniqueJustseenFn unique_justseen{};
+ inline constexpr impl::UniqueJustseenFn unique_justseen{};
}
#endif
diff --git a/test/BUILD b/test/BUILD
index 9ceefecd..cc9aefe6 100644
--- a/test/BUILD
+++ b/test/BUILD
@@ -37,10 +37,13 @@ progs = [
"helpers",
]
+SANITIZE = "-fsanitize=address,undefined"
+
cc_library(
name = "test_main",
srcs = ["test_main.cpp", "catch.hpp"],
- copts = ["-std=c++17", "-g"]
+ copts = [SANITIZE, "-Wall", "-Wextra", "-std=c++17", "-g"],
+ linkopts = [SANITIZE],
)
itertools_tests(progs)
diff --git a/test/helpers.hpp b/test/helpers.hpp
index 80167980..f94250f3 100644
--- a/test/helpers.hpp
+++ b/test/helpers.hpp
@@ -3,6 +3,7 @@
#include
#include
+#include
#include
#include
#include
@@ -414,4 +415,40 @@ class IntCharPairRange
: DiffEndRange, IncIntCharPair>({0, 'a'}, stop) {}
};
+inline bool less_than_five(int i) {
+ return i < 5;
+}
+
+class LessThanValue {
+ private:
+ int compare_val;
+
+ public:
+ LessThanValue(int v) : compare_val(v) {}
+
+ bool operator()(int i) {
+ return i < this->compare_val;
+ }
+};
+
+class MoveOnlyLessThanValue {
+ private:
+ // unique_ptr is better for triggering asan than an int if there's a dangling
+ // reference to the callable
+ std::unique_ptr compare_val;
+
+ public:
+ MoveOnlyLessThanValue(int v) : compare_val{std::make_unique(v)} {}
+
+ MoveOnlyLessThanValue(const MoveOnlyLessThanValue&) = delete;
+ MoveOnlyLessThanValue& operator=(const MoveOnlyLessThanValue&) = delete;
+
+ MoveOnlyLessThanValue(MoveOnlyLessThanValue&&) = default;
+ MoveOnlyLessThanValue& operator=(MoveOnlyLessThanValue&&) = default;
+
+ bool operator()(int i) {
+ return i < *compare_val;
+ }
+};
+
#endif
diff --git a/test/test_chain.cpp b/test/test_chain.cpp
index 9196ef72..29a81512 100644
--- a/test/test_chain.cpp
+++ b/test/test_chain.cpp
@@ -37,14 +37,34 @@ TEST_CASE("chain: const iteration", "[chain][const]") {
REQUIRE(v == vc);
}
-// TODO make this work
-#if 0
-TEST_CASE("chain: const iterators can be compared to non-const itertors", "[chain][const]") {
- auto ch = chain(std::string{}, std::string{});
- const auto& cch = ch;
- (void)(std::begin(ch) == std::end(cch));
+TEST_CASE("chain: const iterators can be compared to non-const itertors",
+ "[chain][const]") {
+ std::string s1{"abc"};
+ std::list li{'m', 'n', 'o'};
+ auto ch = chain(s1, li);
+
+ const auto cch = chain(s1, li);
+ SECTION("begin and const begin compare equal") {
+ REQUIRE(std::begin(ch) == std::begin(cch));
+ }
+ SECTION("begin and const end compare not-equal") {
+ REQUIRE_FALSE(std::begin(ch) == std::end(cch));
+ }
+ SECTION("end and const end compare equal") {
+ REQUIRE(std::end(ch) == std::end(cch));
+ }
+ SECTION(
+ "const and non-const iterator compare equal/not-equal at appropriate "
+ "pos.") {
+ auto iter = ch.begin();
+ iter++;
+ auto citer = cch.begin();
+ citer++;
+ REQUIRE(iter == citer);
+ citer++;
+ REQUIRE_FALSE(iter == citer);
+ }
}
-#endif
TEST_CASE("chain: with different container types", "[chain]") {
std::string s1{"abc"};
@@ -218,10 +238,32 @@ TEST_CASE(
"chain.from_iterable: const iterators can be compared to non-const "
"iterators",
"[chain.from_iterable][const]") {
- std::vector> v{};
+ std::vector> v{{1, 2}, {4, 6}};
auto ch = chain.from_iterable(v);
const auto& cch = ch;
- (void)(std::begin(ch) == std::end(cch));
+
+ SECTION("begin and const end compare not-equal") {
+ REQUIRE_FALSE(std::begin(ch) == std::end(cch));
+ }
+ SECTION("begin and const begin compare equal") {
+ REQUIRE(std::begin(ch) == std::begin(cch));
+ }
+ SECTION("end and const end compare not-equal") {
+ REQUIRE(std::end(ch) == std::end(cch));
+ }
+ SECTION(
+ "const and non-const iterator compare equal/not-equal at appropriate "
+ "pos.") {
+ auto iter = ch.begin();
+ iter++;
+ auto citer = cch.begin();
+ citer++;
+ REQUIRE(iter == citer);
+ citer++;
+ REQUIRE_FALSE(iter == citer);
+ iter++;
+ REQUIRE(iter == citer);
+ }
}
TEST_CASE("chain.fromm_iterable: Works with different begin and end types",
diff --git a/test/test_dropwhile.cpp b/test/test_dropwhile.cpp
index 2a41a671..077bfd73 100644
--- a/test/test_dropwhile.cpp
+++ b/test/test_dropwhile.cpp
@@ -1,29 +1,58 @@
#include
-
-#include "helpers.hpp"
-
#include
#include
#include
#include "catch.hpp"
+#include "helpers.hpp"
using iter::dropwhile;
using Vec = const std::vector;
-namespace {
- class LessThanValue {
- private:
- int compare_val;
+TEST_CASE("dropwhile: handles different callable types", "[dropwhile]") {
+ Vec ns = {1, 3, 4, 20, 2, 4, 6, 8};
+ Vec vc = {20, 2, 4, 6, 8};
+ std::vector v;
+ SECTION("with function pointer") {
+ auto d = dropwhile(less_than_five, ns);
+ v = Vec(std::begin(d), std::end(d));
+ }
- public:
- LessThanValue(int v) : compare_val(v) {}
+ SECTION("with callable object") {
+ auto d = dropwhile(LessThanValue{5}, ns);
+ v = Vec(std::begin(d), std::end(d));
+ }
- bool operator()(int i) {
- return i < this->compare_val;
+ SECTION("with lvalue callable object") {
+ auto lt = LessThanValue{5};
+ SECTION("normal call") {
+ auto d = dropwhile(lt, ns);
+ v = Vec(std::begin(d), std::end(d));
+ }
+ SECTION("pipe") {
+ auto d = ns | dropwhile(lt);
+ v = Vec(std::begin(d), std::end(d));
}
- };
+ }
+
+ SECTION("with move-only callable object") {
+ SECTION("normal call") {
+ auto d = dropwhile(MoveOnlyLessThanValue{5}, ns);
+ v = Vec(std::begin(d), std::end(d));
+ }
+ SECTION("pipe") {
+ auto d = ns | dropwhile(MoveOnlyLessThanValue{5});
+ v = Vec(std::begin(d), std::end(d));
+ }
+ }
+
+ SECTION("with lambda") {
+ auto ltf = [](int i) { return i < 5; };
+ auto d = dropwhile(ltf, ns);
+ v = Vec(std::begin(d), std::end(d));
+ }
+ REQUIRE(v == vc);
}
TEST_CASE("dropwhile: skips initial elements", "[dropwhile]") {
@@ -147,12 +176,6 @@ TEST_CASE("dropwhile: operator->", "[dropwhile]") {
REQUIRE(it->size() == 6);
}
-namespace {
- int less_than_five(int i) {
- return i < 5;
- }
-}
-
TEST_CASE("dropwhile: works with function pointer", "[dropwhile]") {
Vec ns{1, 2, 3, 4, 5, 6, 7, 8};
auto d = dropwhile(less_than_five, ns);
diff --git a/test/test_filter.cpp b/test/test_filter.cpp
index f160785b..445476c8 100644
--- a/test/test_filter.cpp
+++ b/test/test_filter.cpp
@@ -1,56 +1,58 @@
#include
-
-#include "helpers.hpp"
-
#include
#include
#include
#include "catch.hpp"
+#include "helpers.hpp"
using iter::filter;
using Vec = const std::vector;
-namespace {
- bool less_than_five(int i) {
- return i < 5;
- }
-
- class LessThanValue {
- private:
- int compare_val;
-
- public:
- LessThanValue(int v) : compare_val(v) {}
-
- bool operator()(int i) {
- return i < this->compare_val;
- }
- };
-}
-
TEST_CASE("filter: handles different callable types", "[filter]") {
Vec ns = {1, 2, 5, 6, 3, 1, 7, -1, 5};
Vec vc = {1, 2, 3, 1, -1};
+ std::vector v;
SECTION("with function pointer") {
auto f = filter(less_than_five, ns);
- Vec v(std::begin(f), std::end(f));
- REQUIRE(v == vc);
+ v = Vec(std::begin(f), std::end(f));
}
SECTION("with callable object") {
auto f = filter(LessThanValue{5}, ns);
- Vec v(std::begin(f), std::end(f));
- REQUIRE(v == vc);
+ v = Vec(std::begin(f), std::end(f));
+ }
+
+ SECTION("with lvalue callable object") {
+ auto lt = LessThanValue{5};
+ SECTION("normal call") {
+ auto f = filter(lt, ns);
+ v = Vec(std::begin(f), std::end(f));
+ }
+ SECTION("pipe") {
+ auto f = ns | filter(lt);
+ v = Vec(std::begin(f), std::end(f));
+ }
+ }
+
+ SECTION("with move-only callable object") {
+ SECTION("normal call") {
+ auto f = filter(MoveOnlyLessThanValue{5}, ns);
+ v = Vec(std::begin(f), std::end(f));
+ }
+ SECTION("pipe") {
+ auto f = ns | filter(MoveOnlyLessThanValue{5});
+ v = Vec(std::begin(f), std::end(f));
+ }
}
SECTION("with lambda") {
auto ltf = [](int i) { return i < 5; };
auto f = filter(ltf, ns);
- Vec v(std::begin(f), std::end(f));
- REQUIRE(v == vc);
+ v = Vec(std::begin(f), std::end(f));
}
+ REQUIRE(v == vc);
}
TEST_CASE("filter: handles pointer to member", "[filter]") {
diff --git a/test/test_filterfalse.cpp b/test/test_filterfalse.cpp
index 93d50d6a..ad79646a 100644
--- a/test/test_filterfalse.cpp
+++ b/test/test_filterfalse.cpp
@@ -1,63 +1,58 @@
#include
-
-#include "helpers.hpp"
-
#include
#include
#include
#include "catch.hpp"
+#include "helpers.hpp"
using iter::filterfalse;
using Vec = const std::vector;
-namespace {
- bool less_than_five(int i) {
- return i < 5;
- }
-
- class LessThanValue {
- private:
- int compare_val;
-
- public:
- LessThanValue(int v) : compare_val(v) {}
-
- bool operator()(int i) {
- return i < this->compare_val;
- }
- };
-}
-
TEST_CASE("filterfalse: handles different callable types", "[filterfalse]") {
Vec ns = {1, 2, 5, 6, 3, 1, 7, -1, 5};
Vec vc = {5, 6, 7, 5};
+ std::vector v;
SECTION("with function pointer") {
auto f = filterfalse(less_than_five, ns);
- Vec v(std::begin(f), std::end(f));
- REQUIRE(v == vc);
+ v = Vec(std::begin(f), std::end(f));
}
SECTION("with callable object") {
- std::vector v;
- SECTION("Normal call") {
- auto f = filterfalse(LessThanValue{5}, ns);
- v.assign(std::begin(f), std::end(f));
+ auto f = filterfalse(LessThanValue{5}, ns);
+ v = Vec(std::begin(f), std::end(f));
+ }
+
+ SECTION("with lvalue callable object") {
+ auto lt = LessThanValue{5};
+ SECTION("normal call") {
+ auto f = filterfalse(lt, ns);
+ v = Vec(std::begin(f), std::end(f));
}
- SECTION("Pipe") {
- auto f = ns | filterfalse(LessThanValue{5});
- v.assign(std::begin(f), std::end(f));
+ SECTION("pipe") {
+ auto f = ns | filterfalse(lt);
+ v = Vec(std::begin(f), std::end(f));
+ }
+ }
+
+ SECTION("with move-only callable object") {
+ SECTION("normal call") {
+ auto f = filterfalse(MoveOnlyLessThanValue{5}, ns);
+ v = Vec(std::begin(f), std::end(f));
+ }
+ SECTION("pipe") {
+ auto f = ns | filterfalse(MoveOnlyLessThanValue{5});
+ v = Vec(std::begin(f), std::end(f));
}
- REQUIRE(v == vc);
}
SECTION("with lambda") {
auto ltf = [](int i) { return i < 5; };
auto f = filterfalse(ltf, ns);
- Vec v(std::begin(f), std::end(f));
- REQUIRE(v == vc);
+ v = Vec(std::begin(f), std::end(f));
}
+ REQUIRE(v == vc);
}
TEST_CASE("filterfalse: handles pointer to member", "[filterfalse]") {
diff --git a/test/test_groupby.cpp b/test/test_groupby.cpp
index 6ce9d479..02798f39 100644
--- a/test/test_groupby.cpp
+++ b/test/test_groupby.cpp
@@ -3,6 +3,7 @@
#include "helpers.hpp"
#include
+#include
#include
#include
@@ -21,22 +22,75 @@ namespace {
}
};
+ struct MoveOnlySizer {
+ // here to trigger asan if a dangling reference gets used
+ std::unique_ptr counter_ = std::make_unique();
+
+ MoveOnlySizer(const MoveOnlySizer&) = delete;
+ MoveOnlySizer& operator=(const MoveOnlySizer&) = delete;
+
+ MoveOnlySizer(MoveOnlySizer&&) = default;
+ MoveOnlySizer& operator=(MoveOnlySizer&&) = default;
+
+ int operator()(const std::string& s) {
+ ++*counter_;
+ return s.size();
+ }
+ };
+
const std::vector vec = {
"hi", "ab", "ho", "abc", "def", "abcde", "efghi"};
+
+ struct Person {
+ std::string name;
+ int id;
+ bool operator==(const Person& other) const {
+ return id == other.id;
+ }
+ };
+
+ std::string& get_name(Person& p) {
+ return p.name;
+ }
+
+ template
+ std::vector extract_person_group(G g) {
+ return {std::begin(g), std::end(g)};
+ }
+}
+
+TEST_CASE("groupby: handle key function that returns reference", "[groupby]") {
+ std::vector people = {{"first", 1}, {"first", 2}, {"first", 3}};
+ std::vector