1 | |
2 | // Copyright 2006-2009 Daniel James. |
3 | // Distributed under the Boost Software License, Version 1.0. (See accompanying |
4 | // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
5 | |
6 | #include "./containers.hpp" |
7 | #include "../helpers/random_values.hpp" |
8 | #include "../helpers/invariants.hpp" |
9 | |
10 | #if defined(BOOST_MSVC) |
11 | #pragma warning(disable:4512) // assignment operator could not be generated |
12 | #endif |
13 | |
14 | test::seed_t initialize_seed(12847); |
15 | |
16 | template <class T> |
17 | struct self_assign_base : public test::exception_base |
18 | { |
19 | test::random_values<T> values; |
20 | self_assign_base(int count = 0) : values(count) {} |
21 | |
22 | typedef T data_type; |
23 | T init() const { return T(values.begin(), values.end()); } |
24 | void run(T& x) const { x = x; } |
25 | void check BOOST_PREVENT_MACRO_SUBSTITUTION(T const& x) const |
26 | { test::check_equivalent_keys(x); } |
27 | }; |
28 | |
29 | template <class T> |
30 | struct self_assign_test1 : self_assign_base<T> {}; |
31 | |
32 | template <class T> |
33 | struct self_assign_test2 : self_assign_base<T> |
34 | { |
35 | self_assign_test2() : self_assign_base<T>(100) {} |
36 | }; |
37 | |
38 | template <class T> |
39 | struct assign_base : public test::exception_base |
40 | { |
41 | const test::random_values<T> x_values, y_values; |
42 | T x,y; |
43 | |
44 | typedef BOOST_DEDUCED_TYPENAME T::hasher hasher; |
45 | typedef BOOST_DEDUCED_TYPENAME T::key_equal key_equal; |
46 | typedef BOOST_DEDUCED_TYPENAME T::allocator_type allocator_type; |
47 | |
48 | assign_base(unsigned int count1, unsigned int count2, int tag1, int tag2, |
49 | float mlf1 = 1.0, float mlf2 = 1.0) : |
50 | x_values(count1), |
51 | y_values(count2), |
52 | x(x_values.begin(), x_values.end(), 0, hasher(tag1), key_equal(tag1), |
53 | allocator_type(tag1)), |
54 | y(y_values.begin(), y_values.end(), 0, hasher(tag2), key_equal(tag2), |
55 | allocator_type(tag2)) |
56 | { |
57 | x.max_load_factor(mlf1); |
58 | y.max_load_factor(mlf2); |
59 | } |
60 | |
61 | typedef T data_type; |
62 | T init() const { return T(x); } |
63 | void run(T& x1) const { x1 = y; } |
64 | void check BOOST_PREVENT_MACRO_SUBSTITUTION(T const& x1) const |
65 | { |
66 | test::check_equivalent_keys(x1); |
67 | |
68 | // If the container is empty at the point of the exception, the |
69 | // internal structure is hidden, this exposes it. |
70 | T& y = const_cast<T&>(x1); |
71 | if (x_values.size()) { |
72 | y.emplace(*x_values.begin()); |
73 | test::check_equivalent_keys(y); |
74 | } |
75 | } |
76 | }; |
77 | |
78 | template <class T> |
79 | struct assign_test1 : assign_base<T> |
80 | { |
81 | assign_test1() : assign_base<T>(0, 0, 0, 0) {} |
82 | }; |
83 | |
84 | template <class T> |
85 | struct assign_test2 : assign_base<T> |
86 | { |
87 | assign_test2() : assign_base<T>(60, 0, 0, 0) {} |
88 | }; |
89 | |
90 | template <class T> |
91 | struct assign_test3 : assign_base<T> |
92 | { |
93 | assign_test3() : assign_base<T>(0, 60, 0, 0) {} |
94 | }; |
95 | |
96 | template <class T> |
97 | struct assign_test4 : assign_base<T> |
98 | { |
99 | assign_test4() : assign_base<T>(10, 10, 1, 2) {} |
100 | }; |
101 | |
102 | template <class T> |
103 | struct assign_test5 : assign_base<T> |
104 | { |
105 | assign_test5() : assign_base<T>(5, 60, 0, 0, 1.0, 0.1) {} |
106 | }; |
107 | |
108 | EXCEPTION_TESTS( |
109 | (self_assign_test1)(self_assign_test2) |
110 | (assign_test1)(assign_test2)(assign_test3)(assign_test4)(assign_test5), |
111 | CONTAINER_SEQ) |
112 | RUN_TESTS() |
113 | |