feedc0de/boost_optional
1
0
Fork 0
forked from boostorg/optional
Code Pull Requests Activity

unit-tests for optional ref conversion fix

Browse Source
This commit is contained in:
Andrzej Krzemienski
2016-10-06 23:17:20 +02:00
parent 54e0bc6f04
commit 63454c11aa
1 changed files with 23 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
test/optional_test_ref_portable_minimum.cpp
View File

@ -430,6 +430,23 @@ void test_swap()
BOOST_TEST(boost::addressof(*o2_) == boost::addressof(v1)); BOOST_TEST(boost::addressof(*o2_) == boost::addressof(v1));
} }
template <typename T, typename U>
void test_convertability_of_compatible_reference_types()
{
typename concrete_type_of<T>::type v1(1);
optional<T&> oN, o1(v1);
optional<U&> uN(oN), u1(o1);
BOOST_TEST(!uN);
BOOST_TEST(u1);
BOOST_TEST(boost::addressof(*u1) == boost::addressof(*o1));
uN = o1;
u1 = oN;
BOOST_TEST(!u1);
BOOST_TEST(uN);
BOOST_TEST(boost::addressof(*uN) == boost::addressof(*o1));
}
template <typename T> template <typename T>
void test_optional_ref() void test_optional_ref()
{ {
@ -472,5 +489,11 @@ int main()
test_optional_const_ref<Abstract>(); test_optional_const_ref<Abstract>();
test_optional_const_ref< optional<int> >(); test_optional_const_ref< optional<int> >();
test_convertability_of_compatible_reference_types<int, const int>();
test_convertability_of_compatible_reference_types<Impl, Abstract>();
test_convertability_of_compatible_reference_types<Impl, const Abstract>();
test_convertability_of_compatible_reference_types<const Impl, const Abstract>();
test_convertability_of_compatible_reference_types<optional<int>, const optional<int> >();
return boost::report_errors(); return boost::report_errors();
} }