Line | Branch | Exec | Source |
---|---|---|---|
1 | #pragma once | ||
2 | |||
3 | #include <tuple> | ||
4 | #include <cstdlib> | ||
5 | #include <optional> | ||
6 | #include <algorithm> | ||
7 | |||
8 | #include "../Common.h" | ||
9 | #include "../util/TraitImpl.h" | ||
10 | |||
11 | namespace CXXIter { | ||
12 | |||
13 | // ################################################################################################ | ||
14 | // ZIPPER | ||
15 | // ################################################################################################ | ||
16 | namespace op { | ||
17 | /** @private */ | ||
18 | template<typename TChainInput1, template<typename...> typename TZipContainer, typename... TChainInputs> | ||
19 | class [[nodiscard(CXXITER_CHAINER_NODISCARD_WARNING)]] Zipper : public IterApi<Zipper<TChainInput1, TZipContainer, TChainInputs...>> { | ||
20 | friend struct trait::Iterator<Zipper<TChainInput1, TZipContainer, TChainInputs...>>; | ||
21 | friend struct trait::ExactSizeIterator<Zipper<TChainInput1, TZipContainer, TChainInputs...>>; | ||
22 | private: | ||
23 | struct source_ended_exception {}; | ||
24 | std::tuple<TChainInput1, TChainInputs...> inputs; | ||
25 | public: | ||
26 | 32 | constexpr Zipper(TChainInput1&& input1, TChainInputs&&... inputs) : inputs( std::forward_as_tuple(std::move(input1), std::move(inputs)...) ) {} | |
27 | }; | ||
28 | } | ||
29 | // ------------------------------------------------------------------------------------------------ | ||
30 | /** @private */ | ||
31 | template<typename TChainInput1, template<typename...> typename TZipContainer, typename... TChainInputs> | ||
32 | struct trait::Iterator<op::Zipper<TChainInput1, TZipContainer, TChainInputs...>> { | ||
33 | using ChainInputIterators = std::tuple<Iterator<TChainInput1>, trait::Iterator<TChainInputs>...>; | ||
34 | static constexpr size_t INPUT_CNT = 1 + sizeof...(TChainInputs); | ||
35 | // CXXIter Interface | ||
36 | using Self = op::Zipper<TChainInput1, TZipContainer, TChainInputs...>; | ||
37 | using Item = TZipContainer<typename TChainInput1::Item, typename TChainInputs::Item...>; | ||
38 | |||
39 | 64 | static constexpr inline IterValue<Item> next(Self& self) { | |
40 | 129 | auto getElementFromChainInput = [&]<size_t IDX>(std::integral_constant<size_t, IDX>) -> std::tuple_element_t<IDX, Item> { | |
41 |
9/18✓ Branch 2 taken 3 times.
✗ Branch 3 not taken.
✓ Branch 6 taken 3 times.
✗ Branch 7 not taken.
✓ Branch 10 taken 10 times.
✗ Branch 11 not taken.
✓ Branch 14 taken 12 times.
✗ Branch 15 not taken.
✓ Branch 18 taken 6 times.
✗ Branch 19 not taken.
✓ Branch 22 taken 7 times.
✗ Branch 23 not taken.
✓ Branch 26 taken 8 times.
✗ Branch 27 not taken.
✓ Branch 30 taken 7 times.
✗ Branch 31 not taken.
✓ Branch 34 taken 9 times.
✗ Branch 35 not taken.
|
65 | auto input = std::tuple_element_t<IDX, ChainInputIterators>::next( std::get<IDX>(self.inputs) ); |
42 |
16/18✓ Branch 1 taken 1 times.
✓ Branch 2 taken 2 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 3 times.
✗ Branch 7 not taken.
✓ Branch 8 taken 10 times.
✓ Branch 10 taken 2 times.
✓ Branch 11 taken 10 times.
✓ Branch 13 taken 1 times.
✓ Branch 14 taken 5 times.
✓ Branch 16 taken 1 times.
✓ Branch 17 taken 6 times.
✓ Branch 19 taken 1 times.
✓ Branch 20 taken 7 times.
✓ Branch 22 taken 1 times.
✓ Branch 23 taken 6 times.
✓ Branch 25 taken 2 times.
✓ Branch 26 taken 7 times.
|
65 | if(!input.has_value()) [[unlikely]] { |
43 | 9 | throw typename Self::source_ended_exception{}; | |
44 | } | ||
45 |
12/24✓ Branch 1 taken 2 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 3 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 10 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 10 times.
✗ Branch 11 not taken.
✓ Branch 13 taken 10 times.
✗ Branch 14 not taken.
✓ Branch 16 taken 5 times.
✗ Branch 17 not taken.
✓ Branch 19 taken 6 times.
✗ Branch 20 not taken.
✓ Branch 22 taken 7 times.
✗ Branch 23 not taken.
✓ Branch 25 taken 7 times.
✗ Branch 26 not taken.
✓ Branch 28 taken 6 times.
✗ Branch 29 not taken.
✓ Branch 31 taken 7 times.
✗ Branch 32 not taken.
✓ Branch 34 taken 7 times.
✗ Branch 35 not taken.
|
80 | return input.value(); |
46 | 27 | }; | |
47 | 129 | auto constructZipped = [&]<size_t... IDX>(std::integer_sequence<size_t, IDX...>) -> Item { | |
48 |
7/8✓ Branch 5 taken 10 times.
✗ Branch 6 not taken.
✓ Branch 11 taken 6 times.
✓ Branch 12 taken 1 times.
✓ Branch 14 taken 5 times.
✓ Branch 15 taken 1 times.
✓ Branch 21 taken 6 times.
✓ Branch 22 taken 1 times.
|
32 | return { getElementFromChainInput(std::integral_constant<size_t, IDX>())... }; |
49 | }; | ||
50 | |||
51 | try { | ||
52 |
2/2✓ Branch 1 taken 23 times.
✓ Branch 2 taken 9 times.
|
64 | return constructZipped(std::make_index_sequence<INPUT_CNT>{}); |
53 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 9 times.
|
36 | } catch(typename Self::source_ended_exception) { |
54 | 18 | return {}; | |
55 | } | ||
56 | } | ||
57 | 19 | static constexpr inline SizeHint sizeHint(const Self& self) { | |
58 | 19 | size_t lowerBoundMin = std::numeric_limits<size_t>::max(); | |
59 | 19 | std::optional<size_t> upperBoundMin = {}; | |
60 | 154 | constexpr_for<0, INPUT_CNT>([&](auto idx) { | |
61 |
22/44✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 6 taken 1 times.
✗ Branch 7 not taken.
✓ Branch 10 taken 5 times.
✗ Branch 11 not taken.
✓ Branch 14 taken 5 times.
✗ Branch 15 not taken.
✓ Branch 18 taken 1 times.
✗ Branch 19 not taken.
✓ Branch 22 taken 1 times.
✗ Branch 23 not taken.
✓ Branch 26 taken 1 times.
✗ Branch 27 not taken.
✓ Branch 30 taken 1 times.
✗ Branch 31 not taken.
✓ Branch 34 taken 1 times.
✗ Branch 35 not taken.
✓ Branch 38 taken 1 times.
✗ Branch 39 not taken.
✓ Branch 42 taken 1 times.
✗ Branch 43 not taken.
✓ Branch 46 taken 1 times.
✗ Branch 47 not taken.
✓ Branch 50 taken 1 times.
✗ Branch 51 not taken.
✓ Branch 54 taken 4 times.
✗ Branch 55 not taken.
✓ Branch 58 taken 4 times.
✗ Branch 59 not taken.
✓ Branch 62 taken 4 times.
✗ Branch 63 not taken.
✓ Branch 66 taken 1 times.
✗ Branch 67 not taken.
✓ Branch 70 taken 1 times.
✗ Branch 71 not taken.
✓ Branch 74 taken 1 times.
✗ Branch 75 not taken.
✓ Branch 78 taken 1 times.
✗ Branch 79 not taken.
✓ Branch 82 taken 4 times.
✗ Branch 83 not taken.
✓ Branch 86 taken 4 times.
✗ Branch 87 not taken.
|
45 | SizeHint tmp = std::tuple_element_t<idx, ChainInputIterators>::sizeHint( std::get<idx>(self.inputs) ); |
62 | 45 | lowerBoundMin = std::min(lowerBoundMin, tmp.lowerBound); | |
63 |
22/44✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
✓ Branch 7 taken 5 times.
✗ Branch 8 not taken.
✓ Branch 10 taken 5 times.
✗ Branch 11 not taken.
✓ Branch 13 taken 1 times.
✗ Branch 14 not taken.
✓ Branch 16 taken 1 times.
✗ Branch 17 not taken.
✓ Branch 19 taken 1 times.
✗ Branch 20 not taken.
✓ Branch 22 taken 1 times.
✗ Branch 23 not taken.
✓ Branch 25 taken 1 times.
✗ Branch 26 not taken.
✓ Branch 28 taken 1 times.
✗ Branch 29 not taken.
✓ Branch 31 taken 1 times.
✗ Branch 32 not taken.
✓ Branch 34 taken 1 times.
✗ Branch 35 not taken.
✓ Branch 37 taken 1 times.
✗ Branch 38 not taken.
✓ Branch 40 taken 4 times.
✗ Branch 41 not taken.
✓ Branch 43 taken 4 times.
✗ Branch 44 not taken.
✓ Branch 46 taken 4 times.
✗ Branch 47 not taken.
✓ Branch 49 taken 1 times.
✗ Branch 50 not taken.
✓ Branch 52 taken 1 times.
✗ Branch 53 not taken.
✓ Branch 55 taken 1 times.
✗ Branch 56 not taken.
✓ Branch 58 taken 1 times.
✗ Branch 59 not taken.
✓ Branch 61 taken 4 times.
✗ Branch 62 not taken.
✓ Branch 64 taken 4 times.
✗ Branch 65 not taken.
|
45 | upperBoundMin = SizeHint::upperBoundMin(upperBoundMin, tmp.upperBound); |
64 | 45 | return true; | |
65 | }); | ||
66 | 38 | return SizeHint(lowerBoundMin, upperBoundMin); | |
67 | } | ||
68 | static constexpr inline size_t advanceBy(Self& self, size_t n) { return util::advanceByPull(self, n); } | ||
69 | }; | ||
70 | /** @private */ | ||
71 | template<CXXIterExactSizeIterator TChainInput1, template<typename...> typename TZipContainer, CXXIterExactSizeIterator... TChainInputs> | ||
72 | struct trait::ExactSizeIterator<op::Zipper<TChainInput1, TZipContainer, TChainInputs...>> { | ||
73 | static constexpr inline size_t size(const op::Zipper<TChainInput1, TZipContainer, TChainInputs...>& self) { | ||
74 | return trait::Iterator<op::Zipper<TChainInput1, TZipContainer, TChainInputs...>>::sizeHint(self).lowerBound; | ||
75 | } | ||
76 | }; | ||
77 | |||
78 | } | ||
79 |