mirror of
https://github.com/boostorg/poly_collection.git
synced 2026-01-19 16:32:14 +00:00
fcd9cebc92
* added variant_collection
* added variant_collection
* avoided &* on null pointers
* made (non-public) fixed_variant ctor explicit
* tested higher-arity visit
* implemented visit<void>
* fixed {boost::variant2|std}::variant insertion
* fixed lookup issues with invoke_visit
* removed unneeded constexpr qualifiers
* s/typeid_/index
* reverted c6bc62f6d2 as Clang 5.0 didnt seem to like it
* reinstated c6bc62f6d2
* dropped -std=c++1z for Clang 5.0
* updated docs and examples
* added boost::poly_collection::visit_by_index
* typo
* explicit cted tuple in make_iota_tuple
* changed function name to see if it helps with mangling-related Clang 3.8 ICE
* rewritten make_iota_tuple to try to make Clang 3.8 happier
* added boost::variant_collection_of
127 lines
4.0 KiB
C++
127 lines
4.0 KiB
C++
/* Copyright 2016-2024 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 "variant_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>(p)));
|
|
|
|
iterator it2=p.template emplace_hint<type>(it,3);
|
|
BOOST_TEST(*p.template begin<type>()==type{3});
|
|
BOOST_TEST(&*it2==&*p.begin(typeid_<type>(p)));
|
|
|
|
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>(p))-1));
|
|
|
|
local_base_iterator lbit=
|
|
p.template emplace_pos<type>(p.begin(typeid_<type>(p)),2);
|
|
BOOST_TEST(*static_cast<local_iterator>(lbit)==type{2});
|
|
BOOST_TEST(lbit==p.begin(typeid_<type>(p)));
|
|
|
|
local_base_iterator lbit2=
|
|
p.template emplace_pos<type>(p.cend(typeid_<type>(p)),6);
|
|
BOOST_TEST(*static_cast<local_iterator>(lbit2)==type{6});
|
|
BOOST_TEST(lbit2==p.end(typeid_<type>(p))-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)));
|
|
p.template emplace_pos<type>(p.cend(typeid_<type>(p)));
|
|
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>(p)),v.template make<type>());
|
|
p.template emplace_pos<type>(
|
|
p.cend(typeid_<type>(p)),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>();
|
|
test_emplacement<
|
|
variant_types::collection,auto_increment,
|
|
variant_types::t1,variant_types::t2,variant_types::t3,
|
|
variant_types::t4,variant_types::t5>();
|
|
}
|