123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121 |
- /* Copyright 2016 Joaquin M Lopez Munoz.
- * Distributed under the Boost Software License, Version 1.0.
- * (See accompanying file LICENSE_1_0.txt or copy at
- * http://www.boost.org/LICENSE_1_0.txt)
- *
- * See http://www.boost.org/libs/poly_collection for library home page.
- */
- #include "test_emplacement.hpp"
- #include <boost/core/lightweight_test.hpp>
- #include "any_types.hpp"
- #include "base_types.hpp"
- #include "function_types.hpp"
- #include "test_utilities.hpp"
- using namespace test_utilities;
- template<typename PolyCollection,typename ValueFactory,typename... Types>
- void test_emplacement()
- {
- {
- using type=first_of<
- constraints<
- is_constructible_from_int,is_not_copy_constructible,
- is_not_copy_assignable,
- is_equality_comparable
- >,
- Types...
- >;
- using iterator=typename PolyCollection::iterator;
- using local_base_iterator=typename PolyCollection::local_base_iterator;
- using local_iterator=
- typename PolyCollection::template local_iterator<type>;
- PolyCollection p;
- iterator it=p.template emplace<type>(4);
- BOOST_TEST(*p.template begin<type>()==type{4});
- BOOST_TEST(&*it==&*p.begin(typeid(type)));
- iterator it2=p.template emplace_hint<type>(it,3);
- BOOST_TEST(*p.template begin<type>()==type{3});
- BOOST_TEST(&*it2==&*p.begin(typeid(type)));
- iterator it3=p.template emplace_hint<type>(p.cend(),5);
- BOOST_TEST(*(p.template end<type>()-1)==type{5});
- BOOST_TEST(&*it3==&*(p.end(typeid(type))-1));
- local_base_iterator lbit=
- p.template emplace_pos<type>(p.begin(typeid(type)),2);
- BOOST_TEST(*static_cast<local_iterator>(lbit)==type{2});
- BOOST_TEST(lbit==p.begin(typeid(type)));
- local_base_iterator lbit2=
- p.template emplace_pos<type>(p.cend(typeid(type)),6);
- BOOST_TEST(*static_cast<local_iterator>(lbit2)==type{6});
- BOOST_TEST(lbit2==p.end(typeid(type))-1);
- local_iterator lit=p.emplace_pos(p.template begin<type>(),1);
- BOOST_TEST(*lit==type{1});
- BOOST_TEST(lit==p.template begin<type>());
- local_iterator lit2=p.emplace_pos(p.template cend<type>(),7);
- BOOST_TEST(*lit2==type{7});
- BOOST_TEST(lit2==p.template end<type>()-1);
- }
- {
- using type=first_of<
- constraints<is_default_constructible>,
- Types...
- >;
- PolyCollection p;
- p.template emplace<type>();
- p.template emplace_hint<type>(p.begin());
- p.template emplace_hint<type>(p.cend());
- p.template emplace_pos<type>(p.begin(typeid(type)));
- p.template emplace_pos<type>(p.cend(typeid(type)));
- p.emplace_pos(p.template begin<type>());
- p.emplace_pos(p.template cend<type>());
- BOOST_TEST(p.size()==7);
- }
- {
- using type=first_of<
- constraints<is_not_copy_constructible>,
- Types...
- >;
- PolyCollection p;
- ValueFactory v;
- p.template emplace<type>(v.template make<type>());
- p.template emplace_hint<type>(p.begin(),v.template make<type>());
- p.template emplace_hint<type>(p.cend(),v.template make<type>());
- p.template emplace_pos<type>(
- p.begin(typeid(type)),v.template make<type>());
- p.template emplace_pos<type>(
- p.cend(typeid(type)),v.template make<type>());
- p.emplace_pos(p.template begin<type>(),v.template make<type>());
- p.emplace_pos(p.template cend<type>(),v.template make<type>());
- BOOST_TEST(p.size()==7);
- }
- }
- void test_emplacement()
- {
- test_emplacement<
- any_types::collection,auto_increment,
- any_types::t1,any_types::t2,any_types::t3,
- any_types::t4,any_types::t5>();
- test_emplacement<
- base_types::collection,auto_increment,
- base_types::t1,base_types::t2,base_types::t3,
- base_types::t4,base_types::t5>();
- test_emplacement<
- function_types::collection,auto_increment,
- function_types::t1,function_types::t2,function_types::t3,
- function_types::t4,function_types::t5>();
- }
|