assign_exception_tests.cpp 4.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185
  1. // Copyright 2006-2009 Daniel James.
  2. // Distributed under the Boost Software License, Version 1.0. (See accompanying
  3. // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  4. #include "./containers.hpp"
  5. #include "../helpers/invariants.hpp"
  6. #include "../helpers/random_values.hpp"
  7. #include "../helpers/tracker.hpp"
  8. #if defined(BOOST_MSVC)
  9. #pragma warning(disable : 4512) // assignment operator could not be generated
  10. #endif
  11. test::seed_t initialize_seed(12847);
  12. template <class T> struct self_assign_base : public test::exception_base
  13. {
  14. test::random_values<T> values;
  15. self_assign_base(std::size_t count = 0) : values(count, test::limited_range)
  16. {
  17. }
  18. typedef T data_type;
  19. T init() const { return T(values.begin(), values.end()); }
  20. void run(T& x) const
  21. {
  22. x = x;
  23. DISABLE_EXCEPTIONS;
  24. test::check_container(x, values);
  25. test::check_equivalent_keys(x);
  26. }
  27. void check BOOST_PREVENT_MACRO_SUBSTITUTION(T const& x) const
  28. {
  29. test::check_equivalent_keys(x);
  30. }
  31. };
  32. template <class T> struct self_assign_test1 : self_assign_base<T>
  33. {
  34. };
  35. template <class T> struct self_assign_test2 : self_assign_base<T>
  36. {
  37. self_assign_test2() : self_assign_base<T>(100) {}
  38. };
  39. template <class T> struct assign_base : public test::exception_base
  40. {
  41. test::random_values<T> x_values, y_values;
  42. T x, y;
  43. typedef typename T::hasher hasher;
  44. typedef typename T::key_equal key_equal;
  45. typedef typename T::allocator_type allocator_type;
  46. assign_base(int tag1, int tag2, float mlf1 = 1.0, float mlf2 = 1.0)
  47. : x_values(), y_values(),
  48. x(0, hasher(tag1), key_equal(tag1), allocator_type(tag1)),
  49. y(0, hasher(tag2), key_equal(tag2), allocator_type(tag2))
  50. {
  51. x.max_load_factor(mlf1);
  52. y.max_load_factor(mlf2);
  53. }
  54. typedef T data_type;
  55. T init() const { return T(x); }
  56. void run(T& x1) const
  57. {
  58. x1 = y;
  59. DISABLE_EXCEPTIONS;
  60. test::check_container(x1, y_values);
  61. test::check_equivalent_keys(x1);
  62. }
  63. void check BOOST_PREVENT_MACRO_SUBSTITUTION(T const& x1) const
  64. {
  65. test::check_equivalent_keys(x1);
  66. // If the container is empty at the point of the exception, the
  67. // internal structure is hidden, this exposes it, at the cost of
  68. // messing up the data.
  69. if (x_values.size()) {
  70. T& x2 = const_cast<T&>(x1);
  71. x2.emplace(*x_values.begin());
  72. test::check_equivalent_keys(x2);
  73. }
  74. }
  75. };
  76. template <class T> struct assign_values : assign_base<T>
  77. {
  78. assign_values(unsigned int count1, unsigned int count2, int tag1, int tag2,
  79. test::random_generator gen = test::default_generator, float mlf1 = 1.0,
  80. float mlf2 = 1.0)
  81. : assign_base<T>(tag1, tag2, mlf1, mlf2)
  82. {
  83. this->x_values.fill(count1, gen);
  84. this->y_values.fill(count2, gen);
  85. this->x.insert(this->x_values.begin(), this->x_values.end());
  86. this->y.insert(this->y_values.begin(), this->y_values.end());
  87. }
  88. };
  89. template <class T> struct assign_test1 : assign_values<T>
  90. {
  91. assign_test1() : assign_values<T>(0, 0, 0, 0) {}
  92. };
  93. template <class T> struct assign_test2 : assign_values<T>
  94. {
  95. assign_test2() : assign_values<T>(60, 0, 0, 0) {}
  96. };
  97. template <class T> struct assign_test2a : assign_values<T>
  98. {
  99. assign_test2a() : assign_values<T>(60, 0, 0, 0, test::limited_range) {}
  100. };
  101. template <class T> struct assign_test3 : assign_values<T>
  102. {
  103. assign_test3() : assign_values<T>(0, 60, 0, 0) {}
  104. };
  105. template <class T> struct assign_test3a : assign_values<T>
  106. {
  107. assign_test3a() : assign_values<T>(0, 60, 0, 0, test::limited_range) {}
  108. };
  109. template <class T> struct assign_test4 : assign_values<T>
  110. {
  111. assign_test4() : assign_values<T>(10, 10, 1, 2) {}
  112. };
  113. template <class T> struct assign_test4a : assign_values<T>
  114. {
  115. assign_test4a() : assign_values<T>(10, 100, 1, 2) {}
  116. };
  117. template <class T> struct assign_test4b : assign_values<T>
  118. {
  119. assign_test4b() : assign_values<T>(10, 100, 1, 2, test::limited_range) {}
  120. };
  121. template <class T> struct assign_test5 : assign_values<T>
  122. {
  123. assign_test5()
  124. : assign_values<T>(5, 60, 0, 0, test::default_generator, 1.0f, 0.1f)
  125. {
  126. }
  127. };
  128. template <class T> struct equivalent_test1 : assign_base<T>
  129. {
  130. equivalent_test1() : assign_base<T>(0, 0)
  131. {
  132. test::random_values<T> x_values2(10);
  133. this->x_values.insert(x_values2.begin(), x_values2.end());
  134. this->x_values.insert(x_values2.begin(), x_values2.end());
  135. test::random_values<T> y_values2(10);
  136. this->y_values.insert(y_values2.begin(), y_values2.end());
  137. this->y_values.insert(y_values2.begin(), y_values2.end());
  138. this->x.insert(this->x_values.begin(), this->x_values.end());
  139. this->y.insert(this->y_values.begin(), this->y_values.end());
  140. }
  141. };
  142. // clang-format off
  143. EXCEPTION_TESTS_REPEAT(5,
  144. (self_assign_test1)(self_assign_test2)
  145. (assign_test1)(assign_test2)(assign_test2a)
  146. (assign_test3)(assign_test3a)
  147. (assign_test4)(assign_test4a)(assign_test4b)
  148. (assign_test5)
  149. (equivalent_test1),
  150. CONTAINER_SEQ)
  151. // clang-format on
  152. RUN_TESTS()