int main(int, char**) { { std::map<int, int> src{{1, 0}, {3, 0}, {5, 0}}; std::map<int, int> dst{{2, 0}, {4, 0}, {5, 0}}; dst.merge(src); assert(map_equal(src, {{5,0}})); assert(map_equal(dst, {{1, 0}, {2, 0}, {3, 0}, {4, 0}, {5, 0}})); } #ifndef TEST_HAS_NO_EXCEPTIONS { bool do_throw = false; typedef std::map<Counter<int>, int, throw_comparator> map_type; map_type src({{1, 0}, {3, 0}, {5, 0}}, throw_comparator(do_throw)); map_type dst({{2, 0}, {4, 0}, {5, 0}}, throw_comparator(do_throw)); assert(Counter_base::gConstructed == 6); do_throw = true; try { dst.merge(src); } catch (int) { do_throw = false; } assert(!do_throw); assert(map_equal(src, map_type({{1, 0}, {3, 0}, {5, 0}}, throw_comparator(do_throw)))); assert(map_equal(dst, map_type({{2, 0}, {4, 0}, {5, 0}}, throw_comparator(do_throw)))); } #endif assert(Counter_base::gConstructed == 0); struct comparator { comparator() = default; bool operator()(const Counter<int>& lhs, const Counter<int>& rhs) const { return lhs < rhs; } }; { typedef std::map<Counter<int>, int, std::less<Counter<int>>> first_map_type; typedef std::map<Counter<int>, int, comparator> second_map_type; typedef std::multimap<Counter<int>, int, comparator> third_map_type; { first_map_type first{{1, 0}, {2, 0}, {3, 0}}; second_map_type second{{2, 0}, {3, 0}, {4, 0}}; third_map_type third{{1, 0}, {3, 0}}; assert(Counter_base::gConstructed == 8); first.merge(second); first.merge(third); assert(map_equal(first, {{1, 0}, {2, 0}, {3, 0}, {4, 0}})); assert(map_equal(second, {{2, 0}, {3, 0}})); assert(map_equal(third, {{1, 0}, {3, 0}})); assert(Counter_base::gConstructed == 8); } assert(Counter_base::gConstructed == 0); { first_map_type first{{1, 0}, {2, 0}, {3, 0}}; second_map_type second{{2, 0}, {3, 0}, {4, 0}}; third_map_type third{{1, 0}, {3, 0}}; assert(Counter_base::gConstructed == 8); first.merge(std::move(second)); first.merge(std::move(third)); assert(map_equal(first, {{1, 0}, {2, 0}, {3, 0}, {4, 0}})); assert(map_equal(second, {{2, 0}, {3, 0}})); assert(map_equal(third, {{1, 0}, {3, 0}})); assert(Counter_base::gConstructed == 8); } assert(Counter_base::gConstructed == 0); } assert(Counter_base::gConstructed == 0); { std::map<int, int> first; { std::map<int, int> second; first.merge(second); first.merge(std::move(second)); } { std::multimap<int, int> second; first.merge(second); first.merge(std::move(second)); } } return 0; }
int main() { { std::set<int> src{1, 3, 5}; std::set<int> dst{2, 4, 5}; dst.merge(src); assert(set_equal(src, {5})); assert(set_equal(dst, {1, 2, 3, 4, 5})); } #ifndef TEST_HAS_NO_EXCEPTIONS { bool do_throw = false; typedef std::set<Counter<int>, throw_comparator> set_type; set_type src({1, 3, 5}, throw_comparator(do_throw)); set_type dst({2, 4, 5}, throw_comparator(do_throw)); assert(Counter_base::gConstructed == 6); do_throw = true; try { dst.merge(src); } catch (int) { do_throw = false; } assert(!do_throw); assert(set_equal(src, set_type({1, 3, 5}, throw_comparator(do_throw)))); assert(set_equal(dst, set_type({2, 4, 5}, throw_comparator(do_throw)))); } #endif assert(Counter_base::gConstructed == 0); struct comparator { comparator() = default; bool operator()(const Counter<int>& lhs, const Counter<int>& rhs) const { return lhs < rhs; } }; { typedef std::set<Counter<int>, std::less<Counter<int>>> first_set_type; typedef std::set<Counter<int>, comparator> second_set_type; typedef std::multiset<Counter<int>, comparator> third_set_type; { first_set_type first{1, 2, 3}; second_set_type second{2, 3, 4}; third_set_type third{1, 3}; assert(Counter_base::gConstructed == 8); first.merge(second); first.merge(third); assert(set_equal(first, {1, 2, 3, 4})); assert(set_equal(second, {2, 3})); assert(set_equal(third, {1, 3})); assert(Counter_base::gConstructed == 8); } assert(Counter_base::gConstructed == 0); { first_set_type first{1, 2, 3}; second_set_type second{2, 3, 4}; third_set_type third{1, 3}; assert(Counter_base::gConstructed == 8); first.merge(std::move(second)); first.merge(std::move(third)); assert(set_equal(first, {1, 2, 3, 4})); assert(set_equal(second, {2, 3})); assert(set_equal(third, {1, 3})); assert(Counter_base::gConstructed == 8); } assert(Counter_base::gConstructed == 0); } { std::set<int> first; { std::set<int> second; first.merge(second); first.merge(std::move(second)); } { std::multiset<int> second; first.merge(second); first.merge(std::move(second)); } } }