diff --git a/test/Jamfile b/test/Jamfile index 3dccee1..8c8076b 100644 --- a/test/Jamfile +++ b/test/Jamfile @@ -39,3 +39,4 @@ run variant_eq_ne.cpp : : : $(REQ) ; run variant_destroy.cpp : : : $(REQ) ; run variant_visit.cpp : : : $(REQ) ; run variant_lt_gt.cpp : : : $(REQ) ; +run variant_convert_construct.cpp : : : $(REQ) ; diff --git a/test/variant_convert_construct.cpp b/test/variant_convert_construct.cpp new file mode 100644 index 0000000..dbf61d9 --- /dev/null +++ b/test/variant_convert_construct.cpp @@ -0,0 +1,175 @@ + +// Copyright 2017 Peter Dimov. +// +// 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 + +#include +#include +#include +#include +#include +#include + +using namespace boost::variant2; + +#define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__) + +struct X1 +{ + int v; + + X1(): v(0) {} + explicit X1(int v): v(v) {} + X1(X1 const& r): v(r.v) {} + X1(X1&& r): v(r.v) {} + X1& operator=( X1 const& r ) { v = r.v; return *this; } + X1& operator=( X1&& r ) { v = r.v; return *this; } +}; + +inline bool operator==( X1 const& a, X1 const& b ) { return a.v == b.v; } + +STATIC_ASSERT( !std::is_nothrow_default_constructible::value ); +STATIC_ASSERT( !std::is_nothrow_copy_constructible::value ); +STATIC_ASSERT( !std::is_nothrow_move_constructible::value ); +STATIC_ASSERT( !std::is_nothrow_copy_assignable::value ); +STATIC_ASSERT( !std::is_nothrow_move_assignable::value ); + +struct X2 +{ + int v; + + X2(): v(0) {} + explicit X2(int v): v(v) {} + X2(X2 const& r): v(r.v) {} + X2(X2&& r): v(r.v) {} + X2& operator=( X2 const& r ) { v = r.v; return *this; } + X2& operator=( X2&& r ) { v = r.v; return *this; } +}; + +inline bool operator==( X2 const& a, X2 const& b ) { return a.v == b.v; } + +STATIC_ASSERT( !std::is_nothrow_default_constructible::value ); +STATIC_ASSERT( !std::is_nothrow_copy_constructible::value ); +STATIC_ASSERT( !std::is_nothrow_move_constructible::value ); +STATIC_ASSERT( !std::is_nothrow_copy_assignable::value ); +STATIC_ASSERT( !std::is_nothrow_move_assignable::value ); + +int main() +{ + { + variant v( 1 ); + + variant v2( v ); + + BOOST_TEST( holds_alternative( v2 ) ); + BOOST_TEST_EQ( get( v ), get( v2 ) ); + + variant v3( std::move(v) ); + + BOOST_TEST( holds_alternative( v3 ) ); + BOOST_TEST_EQ( get( v2 ), get( v3 ) ); + } + + { + variant const v( 1 ); + + variant v2( v ); + + BOOST_TEST( holds_alternative( v2 ) ); + BOOST_TEST_EQ( get( v ), get( v2 ) ); + + variant v3( std::move(v) ); + + BOOST_TEST( holds_alternative( v3 ) ); + BOOST_TEST_EQ( get( v2 ), get( v3 ) ); + } + + { + variant v( 1 ); + + variant v2( v ); + + BOOST_TEST( holds_alternative( v2 ) ); + BOOST_TEST_EQ( get( v ), get( v2 ) ); + + variant v3( std::move(v) ); + + BOOST_TEST( holds_alternative( v3 ) ); + BOOST_TEST_EQ( get( v2 ), get( v3 ) ); + } + + { + variant const v( 1 ); + + variant v2( v ); + + BOOST_TEST( holds_alternative( v2 ) ); + BOOST_TEST_EQ( get( v ), get( v2 ) ); + + variant v3( std::move(v) ); + + BOOST_TEST( holds_alternative( v3 ) ); + BOOST_TEST_EQ( get( v2 ), get( v3 ) ); + } + + { + variant v( 3.14f ); + + variant v2( v ); + + BOOST_TEST( holds_alternative( v2 ) ); + BOOST_TEST_EQ( get( v ), get( v2 ) ); + + variant v3( std::move(v) ); + + BOOST_TEST( holds_alternative( v3 ) ); + BOOST_TEST_EQ( get( v2 ), get( v3 ) ); + } + + { + variant v( 3.15f ); + + variant v2( v ); + + BOOST_TEST( holds_alternative( v2 ) ); + BOOST_TEST_EQ( get( v ), get( v2 ) ); + + variant v3( std::move(v) ); + + BOOST_TEST( holds_alternative( v3 ) ); + BOOST_TEST_EQ( get( v2 ), get( v3 ) ); + } + + { + variant v( "s1" ); + + variant v2( v ); + + BOOST_TEST( holds_alternative( v2 ) ); + BOOST_TEST_EQ( get( v ), get( v2 ) ); + + variant v3( std::move(v) ); + + BOOST_TEST( holds_alternative( v3 ) ); + BOOST_TEST_EQ( get( v2 ), get( v3 ) ); + } + + { + variant v{ X1{1} }; + + variant v2( v ); + + BOOST_TEST( holds_alternative( v2 ) ); + BOOST_TEST_EQ( get( v ).v, get( v2 ).v ); + + variant v3( std::move(v) ); + + BOOST_TEST( holds_alternative( v3 ) ); + BOOST_TEST_EQ( get( v2 ).v, get( v3 ).v ); + } + + return boost::report_errors(); +}