1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 // <unordered_set>
10 
11 // template <class Value, class Hash = hash<Value>, class Pred = equal_to<Value>,
12 //           class Alloc = allocator<Value>>
13 // class unordered_set
14 
15 // unordered_set(const unordered_set& u, const allocator_type& a);
16 
17 #include <unordered_set>
18 #include <cassert>
19 #include <cfloat>
20 #include <cmath>
21 #include <cstddef>
22 
23 #include "test_macros.h"
24 #include "../../../test_compare.h"
25 #include "../../../test_hash.h"
26 #include "test_allocator.h"
27 #include "min_allocator.h"
28 
main(int,char **)29 int main(int, char**)
30 {
31     {
32         typedef std::unordered_set<int,
33                                    test_hash<int>,
34                                    test_equal_to<int>,
35                                    test_allocator<int>
36                                    > C;
37         typedef int P;
38         P a[] =
39         {
40             P(1),
41             P(2),
42             P(3),
43             P(4),
44             P(1),
45             P(2)
46         };
47         C c0(a, a + sizeof(a)/sizeof(a[0]),
48             7,
49             test_hash<int>(8),
50             test_equal_to<int>(9),
51             test_allocator<int>(10)
52            );
53         C c(c0, test_allocator<int>(5));
54         LIBCPP_ASSERT(c.bucket_count() == 7);
55         assert(c.size() == 4);
56         assert(c.count(1) == 1);
57         assert(c.count(2) == 1);
58         assert(c.count(3) == 1);
59         assert(c.count(4) == 1);
60         assert(c.hash_function() == test_hash<int>(8));
61         assert(c.key_eq() == test_equal_to<int>(9));
62         assert(c.get_allocator() == test_allocator<int>(5));
63         assert(!c.empty());
64         assert(static_cast<std::size_t>(std::distance(c.begin(), c.end())) == c.size());
65         assert(static_cast<std::size_t>(std::distance(c.cbegin(), c.cend())) == c.size());
66         assert(std::fabs(c.load_factor() - (float)c.size()/c.bucket_count()) < FLT_EPSILON);
67         assert(c.max_load_factor() == 1);
68     }
69 #if TEST_STD_VER >= 11
70     {
71         typedef std::unordered_set<int,
72                                    test_hash<int>,
73                                    test_equal_to<int>,
74                                    min_allocator<int>
75                                    > C;
76         typedef int P;
77         P a[] =
78         {
79             P(1),
80             P(2),
81             P(3),
82             P(4),
83             P(1),
84             P(2)
85         };
86         C c0(a, a + sizeof(a)/sizeof(a[0]),
87             7,
88             test_hash<int>(8),
89             test_equal_to<int>(9),
90             min_allocator<int>()
91            );
92         C c(c0, min_allocator<int>());
93         LIBCPP_ASSERT(c.bucket_count() == 7);
94         assert(c.size() == 4);
95         assert(c.count(1) == 1);
96         assert(c.count(2) == 1);
97         assert(c.count(3) == 1);
98         assert(c.count(4) == 1);
99         assert(c.hash_function() == test_hash<int>(8));
100         assert(c.key_eq() == test_equal_to<int>(9));
101         assert(c.get_allocator() == min_allocator<int>());
102         assert(!c.empty());
103         assert(static_cast<std::size_t>(std::distance(c.begin(), c.end())) == c.size());
104         assert(static_cast<std::size_t>(std::distance(c.cbegin(), c.cend())) == c.size());
105         assert(std::fabs(c.load_factor() - (float)c.size()/c.bucket_count()) < FLT_EPSILON);
106         assert(c.max_load_factor() == 1);
107     }
108 #endif
109 
110   return 0;
111 }
112