1e7154709SEric Fiselier //===----------------------------------------------------------------------===//
2e7154709SEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e7154709SEric Fiselier //
7e7154709SEric Fiselier //===----------------------------------------------------------------------===//
8e7154709SEric Fiselier
931cbe0f2SLouis Dionne // UNSUPPORTED: c++03, c++11, c++14
10e7154709SEric Fiselier
11e7154709SEric Fiselier // <algorithm>
12e7154709SEric Fiselier
13e7154709SEric Fiselier // template <class PopulationIterator, class SampleIterator, class Distance,
14e7154709SEric Fiselier // class UniformRandomNumberGenerator>
15e7154709SEric Fiselier // SampleIterator sample(PopulationIterator first, PopulationIterator last,
16e7154709SEric Fiselier // SampleIterator out, Distance n,
17e7154709SEric Fiselier // UniformRandomNumberGenerator &&g);
18e7154709SEric Fiselier
19e7154709SEric Fiselier #include <algorithm>
20e7154709SEric Fiselier #include <random>
2109c311b9SStephan T. Lavavej #include <type_traits>
22e7154709SEric Fiselier #include <cassert>
2368a694b8SStephan T. Lavavej #include <cstddef>
24e7154709SEric Fiselier
25e7154709SEric Fiselier #include "test_iterators.h"
2609c311b9SStephan T. Lavavej #include "test_macros.h"
27e7154709SEric Fiselier
28e7154709SEric Fiselier struct ReservoirSampleExpectations {
29e7154709SEric Fiselier enum { os = 4 };
30e7154709SEric Fiselier static int oa1[os];
31e7154709SEric Fiselier static int oa2[os];
32e7154709SEric Fiselier };
33e7154709SEric Fiselier
34e7154709SEric Fiselier int ReservoirSampleExpectations::oa1[] = {10, 5, 9, 4};
35e7154709SEric Fiselier int ReservoirSampleExpectations::oa2[] = {5, 2, 10, 4};
36e7154709SEric Fiselier
37e7154709SEric Fiselier struct SelectionSampleExpectations {
38e7154709SEric Fiselier enum { os = 4 };
39e7154709SEric Fiselier static int oa1[os];
40e7154709SEric Fiselier static int oa2[os];
41e7154709SEric Fiselier };
42e7154709SEric Fiselier
43e7154709SEric Fiselier int SelectionSampleExpectations::oa1[] = {1, 4, 6, 7};
44e7154709SEric Fiselier int SelectionSampleExpectations::oa2[] = {1, 2, 6, 8};
45e7154709SEric Fiselier
46e7154709SEric Fiselier template <class IteratorCategory> struct TestExpectations
47e7154709SEric Fiselier : public SelectionSampleExpectations {};
48e7154709SEric Fiselier
49e7154709SEric Fiselier template <>
50e7154709SEric Fiselier struct TestExpectations<std::input_iterator_tag>
51e7154709SEric Fiselier : public ReservoirSampleExpectations {};
52e7154709SEric Fiselier
53e7154709SEric Fiselier template <template<class...> class PopulationIteratorType, class PopulationItem,
54e7154709SEric Fiselier template<class...> class SampleIteratorType, class SampleItem>
test()55e7154709SEric Fiselier void test() {
56e7154709SEric Fiselier typedef PopulationIteratorType<PopulationItem *> PopulationIterator;
57e7154709SEric Fiselier typedef SampleIteratorType<SampleItem *> SampleIterator;
58e7154709SEric Fiselier PopulationItem ia[] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
59e7154709SEric Fiselier const unsigned is = sizeof(ia) / sizeof(ia[0]);
60e7154709SEric Fiselier typedef TestExpectations<typename std::iterator_traits<
61e7154709SEric Fiselier PopulationIterator>::iterator_category> Expectations;
62e7154709SEric Fiselier const unsigned os = Expectations::os;
63e7154709SEric Fiselier SampleItem oa[os];
64e7154709SEric Fiselier const int *oa1 = Expectations::oa1;
6509c311b9SStephan T. Lavavej ((void)oa1); // Prevent unused warning
66e7154709SEric Fiselier const int *oa2 = Expectations::oa2;
6709c311b9SStephan T. Lavavej ((void)oa2); // Prevent unused warning
68e7154709SEric Fiselier std::minstd_rand g;
69a0071b93SMark de Wever SampleIterator end = std::sample(PopulationIterator(ia),
70e7154709SEric Fiselier PopulationIterator(ia + is),
71e7154709SEric Fiselier SampleIterator(oa), os, g);
72*5f26d863SMark de Wever assert(static_cast<std::size_t>(base(end) - oa) == std::min(os, is));
7309c311b9SStephan T. Lavavej // sample() is deterministic but non-reproducible;
7409c311b9SStephan T. Lavavej // its results can vary between implementations.
7509c311b9SStephan T. Lavavej LIBCPP_ASSERT(std::equal(oa, oa + os, oa1));
76e7154709SEric Fiselier end = std::sample(PopulationIterator(ia),
77e7154709SEric Fiselier PopulationIterator(ia + is),
78e7154709SEric Fiselier SampleIterator(oa), os, std::move(g));
79*5f26d863SMark de Wever assert(static_cast<std::size_t>(base(end) - oa) == std::min(os, is));
8009c311b9SStephan T. Lavavej LIBCPP_ASSERT(std::equal(oa, oa + os, oa2));
81e7154709SEric Fiselier }
82e7154709SEric Fiselier
83e7154709SEric Fiselier template <template<class...> class PopulationIteratorType, class PopulationItem,
84e7154709SEric Fiselier template<class...> class SampleIteratorType, class SampleItem>
test_empty_population()85e7154709SEric Fiselier void test_empty_population() {
86e7154709SEric Fiselier typedef PopulationIteratorType<PopulationItem *> PopulationIterator;
87e7154709SEric Fiselier typedef SampleIteratorType<SampleItem *> SampleIterator;
88e7154709SEric Fiselier PopulationItem ia[] = {42};
89e7154709SEric Fiselier const unsigned os = 4;
90e7154709SEric Fiselier SampleItem oa[os];
91e7154709SEric Fiselier std::minstd_rand g;
92e7154709SEric Fiselier SampleIterator end =
93e7154709SEric Fiselier std::sample(PopulationIterator(ia), PopulationIterator(ia),
94e7154709SEric Fiselier SampleIterator(oa), os, g);
95*5f26d863SMark de Wever assert(base(end) == oa);
96e7154709SEric Fiselier }
97e7154709SEric Fiselier
98e7154709SEric Fiselier template <template<class...> class PopulationIteratorType, class PopulationItem,
99e7154709SEric Fiselier template<class...> class SampleIteratorType, class SampleItem>
test_empty_sample()100e7154709SEric Fiselier void test_empty_sample() {
101e7154709SEric Fiselier typedef PopulationIteratorType<PopulationItem *> PopulationIterator;
102e7154709SEric Fiselier typedef SampleIteratorType<SampleItem *> SampleIterator;
103e7154709SEric Fiselier PopulationItem ia[] = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
104e7154709SEric Fiselier const unsigned is = sizeof(ia) / sizeof(ia[0]);
105e7154709SEric Fiselier SampleItem oa[1];
106e7154709SEric Fiselier std::minstd_rand g;
107e7154709SEric Fiselier SampleIterator end =
108e7154709SEric Fiselier std::sample(PopulationIterator(ia), PopulationIterator(ia + is),
109e7154709SEric Fiselier SampleIterator(oa), 0, g);
110*5f26d863SMark de Wever assert(base(end) == oa);
111e7154709SEric Fiselier }
112e7154709SEric Fiselier
113e7154709SEric Fiselier template <template<class...> class PopulationIteratorType, class PopulationItem,
114e7154709SEric Fiselier template<class...> class SampleIteratorType, class SampleItem>
test_small_population()115e7154709SEric Fiselier void test_small_population() {
116e7154709SEric Fiselier // The population size is less than the sample size.
117e7154709SEric Fiselier typedef PopulationIteratorType<PopulationItem *> PopulationIterator;
118e7154709SEric Fiselier typedef SampleIteratorType<SampleItem *> SampleIterator;
119e7154709SEric Fiselier PopulationItem ia[] = {1, 2, 3, 4, 5};
120e7154709SEric Fiselier const unsigned is = sizeof(ia) / sizeof(ia[0]);
121e7154709SEric Fiselier const unsigned os = 8;
122e7154709SEric Fiselier SampleItem oa[os];
123e7154709SEric Fiselier const SampleItem oa1[] = {1, 2, 3, 4, 5};
124e7154709SEric Fiselier std::minstd_rand g;
125a0071b93SMark de Wever SampleIterator end = std::sample(PopulationIterator(ia),
126e7154709SEric Fiselier PopulationIterator(ia + is),
127e7154709SEric Fiselier SampleIterator(oa), os, g);
128*5f26d863SMark de Wever assert(static_cast<std::size_t>(base(end) - oa) == std::min(os, is));
12909c311b9SStephan T. Lavavej typedef typename std::iterator_traits<PopulationIterator>::iterator_category PopulationCategory;
13009c311b9SStephan T. Lavavej if (std::is_base_of<std::forward_iterator_tag, PopulationCategory>::value) {
131*5f26d863SMark de Wever assert(std::equal(oa, base(end), oa1));
13209c311b9SStephan T. Lavavej } else {
133*5f26d863SMark de Wever assert(std::is_permutation(oa, base(end), oa1));
13409c311b9SStephan T. Lavavej }
135e7154709SEric Fiselier }
136e7154709SEric Fiselier
main(int,char **)1372df59c50SJF Bastien int main(int, char**) {
138773ae441SChristopher Di Bella test<cpp17_input_iterator, int, random_access_iterator, int>();
1395e97d37bSMark de Wever test<forward_iterator, int, cpp17_output_iterator, int>();
140e7154709SEric Fiselier test<forward_iterator, int, random_access_iterator, int>();
141e7154709SEric Fiselier
142773ae441SChristopher Di Bella test<cpp17_input_iterator, int, random_access_iterator, double>();
1435e97d37bSMark de Wever test<forward_iterator, int, cpp17_output_iterator, double>();
144e7154709SEric Fiselier test<forward_iterator, int, random_access_iterator, double>();
145e7154709SEric Fiselier
146773ae441SChristopher Di Bella test_empty_population<cpp17_input_iterator, int, random_access_iterator, int>();
1475e97d37bSMark de Wever test_empty_population<forward_iterator, int, cpp17_output_iterator, int>();
148e7154709SEric Fiselier test_empty_population<forward_iterator, int, random_access_iterator, int>();
149e7154709SEric Fiselier
150773ae441SChristopher Di Bella test_empty_sample<cpp17_input_iterator, int, random_access_iterator, int>();
1515e97d37bSMark de Wever test_empty_sample<forward_iterator, int, cpp17_output_iterator, int>();
152e7154709SEric Fiselier test_empty_sample<forward_iterator, int, random_access_iterator, int>();
153e7154709SEric Fiselier
154773ae441SChristopher Di Bella test_small_population<cpp17_input_iterator, int, random_access_iterator, int>();
1555e97d37bSMark de Wever test_small_population<forward_iterator, int, cpp17_output_iterator, int>();
156e7154709SEric Fiselier test_small_population<forward_iterator, int, random_access_iterator, int>();
1572df59c50SJF Bastien
1582df59c50SJF Bastien return 0;
159e7154709SEric Fiselier }
160