boostorg/optional
1
0
Fork 1
mirror of https://github.com/boostorg/optional.git synced 2025-07-15 05:16:36 +02:00
Code Issues Packages Projects Releases Wiki Activity

more optional ref tesst

Browse Source 
this breaks on msvc, but that only reveals the problems that were there anyway.
This commit is contained in:
Andrzej Krzemienski
2014-12-10 23:10:07 +01:00
parent 26ab338c83
commit a2268d78b4
1 changed files with 195 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

195
test/optional_test_ref_portable_minimum.cpp
View File

@ -67,6 +67,12 @@ struct concrete_type_of<Abstract>
typedef Impl type; typedef Impl type;
}; };
template <>
struct concrete_type_of<const Abstract>
{
typedef const Impl type;
};
template <typename T> template <typename T>
struct has_arrow struct has_arrow
{ {
@ -83,6 +89,10 @@ int& val(int& i) { return i; }
int& val(Abstract& a) { return a.val(); } int& val(Abstract& a) { return a.val(); }
int& val(ScopeGuard& g) { return g.val(); } int& val(ScopeGuard& g) { return g.val(); }
const int& val(const int& i) { return i; }
const int& val(const Abstract& a) { return a.val(); }
const int& val(const ScopeGuard& g) { return g.val(); }
bool operator==(const Abstract& l, const Abstract& r) { return l.val() == r.val(); } bool operator==(const Abstract& l, const Abstract& r) { return l.val() == r.val(); }
bool operator==(const ScopeGuard& l, const ScopeGuard& r) { return l.val() == r.val(); } bool operator==(const ScopeGuard& l, const ScopeGuard& r) { return l.val() == r.val(); }
@ -90,6 +100,46 @@ bool operator<(const Abstract& l, const Abstract& r) { return l.val() < r.val();
bool operator<(const ScopeGuard& l, const ScopeGuard& r) { return l.val() < r.val(); } bool operator<(const ScopeGuard& l, const ScopeGuard& r) { return l.val() < r.val(); }
// end testable classes // end testable classes
template <typename T>
typename boost::enable_if< has_arrow<T> >::type
test_arrow_const()
{
const typename concrete_type_of<T>::type v(2);
optional<const T&> o(v);
BOOST_TEST(o);
BOOST_TEST_EQ(o->val(), 2);
BOOST_TEST(boost::addressof(o->val()) == boost::addressof(v.val()));
}
template <typename T>
typename boost::disable_if< has_arrow<T> >::type
test_arrow_const()
{
}
template <typename T>
typename boost::enable_if< has_arrow<T> >::type
test_arrow_noconst_const()
{
typename concrete_type_of<T>::type v(2);
optional<const T&> o(v);
BOOST_TEST(o);
BOOST_TEST_EQ(o->val(), 2);
BOOST_TEST(boost::addressof(o->val()) == boost::addressof(v.val()));
v.val() = 1;
BOOST_TEST(o);
BOOST_TEST_EQ(o->val(), 1);
BOOST_TEST_EQ(v.val(), 1);
BOOST_TEST(boost::addressof(o->val()) == boost::addressof(v.val()));
}
template <typename T>
typename boost::disable_if< has_arrow<T> >::type
test_arrow_noconst_const()
{
}
template <typename T> template <typename T>
typename boost::enable_if< has_arrow<T> >::type typename boost::enable_if< has_arrow<T> >::type
test_arrow() test_arrow()
@ -98,11 +148,20 @@ test_arrow()
optional<T&> o(v); optional<T&> o(v);
BOOST_TEST(o); BOOST_TEST(o);
BOOST_TEST_EQ(o->val(), 2); BOOST_TEST_EQ(o->val(), 2);
BOOST_TEST(boost::addressof(o->val()) == boost::addressof(v.val()));
v.val() = 1;
BOOST_TEST(o);
BOOST_TEST_EQ(o->val(), 1);
BOOST_TEST_EQ(v.val(), 1);
BOOST_TEST(boost::addressof(o->val()) == boost::addressof(v.val()));
o->val() = 3; o->val() = 3;
BOOST_TEST(o); BOOST_TEST(o);
BOOST_TEST_EQ(o->val(), 3); BOOST_TEST_EQ(o->val(), 3);
BOOST_TEST_EQ(v.val(), 3); BOOST_TEST_EQ(v.val(), 3);
BOOST_TEST(boost::addressof(o->val()) == boost::addressof(v.val()));
} }
template <typename T> template <typename T>
@ -127,6 +186,38 @@ void test_not_containing_value_for()
BOOST_TEST(o3 == none); BOOST_TEST(o3 == none);
} }
template <typename T>
void test_direct_init_for_const()
{
const typename concrete_type_of<T>::type v(2);
optional<const T&> o(v);
BOOST_TEST(o);
BOOST_TEST(o != none);
BOOST_TEST(boost::addressof(*o) == boost::addressof(v));
BOOST_TEST_EQ(val(*o), val(v));
BOOST_TEST_EQ(val(*o), 2);
}
template <typename T>
void test_direct_init_for_noconst_const()
{
typename concrete_type_of<T>::type v(2);
optional<const T&> o(v);
BOOST_TEST(o);
BOOST_TEST(o != none);
BOOST_TEST(boost::addressof(*o) == boost::addressof(v));
BOOST_TEST_EQ(val(*o), val(v));
BOOST_TEST_EQ(val(*o), 2);
val(v) = 9;
BOOST_TEST(boost::addressof(*o) == boost::addressof(v));
BOOST_TEST_EQ(val(*o), val(v));
BOOST_TEST_EQ(val(*o), 9);
BOOST_TEST_EQ(val(v), 9);
}
template <typename T> template <typename T>
void test_direct_init_for() void test_direct_init_for()
{ {
@ -173,6 +264,40 @@ void test_clearing_the_value()
BOOST_TEST_EQ(val(v), 2); BOOST_TEST_EQ(val(v), 2);
} }
template <typename T>
void test_copy_assignment_for_const()
{
const typename concrete_type_of<T>::type v(2);
optional<const T&> o;
o = optional<const T&>(v);
BOOST_TEST(o);
BOOST_TEST(o != none);
BOOST_TEST(boost::addressof(*o) == boost::addressof(v));
BOOST_TEST(val(*o) == val(v));
BOOST_TEST(val(*o) == 2);
}
template <typename T>
void test_copy_assignment_for_noconst_const()
{
typename concrete_type_of<T>::type v(2);
optional<const T&> o;
o = optional<const T&>(v);
BOOST_TEST(o);
BOOST_TEST(o != none);
BOOST_TEST(boost::addressof(*o) == boost::addressof(v));
BOOST_TEST(val(*o) == val(v));
BOOST_TEST(val(*o) == 2);
val(v) = 9;
BOOST_TEST(boost::addressof(*o) == boost::addressof(v));
BOOST_TEST_EQ(val(*o), val(v));
BOOST_TEST_EQ(val(*o), 9);
BOOST_TEST_EQ(val(v), 9);
}
template <typename T> template <typename T>
void test_copy_assignment_for() void test_copy_assignment_for()
{ {
@ -199,6 +324,54 @@ void test_copy_assignment_for()
BOOST_TEST_EQ(val(v), 7); BOOST_TEST_EQ(val(v), 7);
} }
template <typename T>
void test_rebinding_assignment_semantics_const()
{
const typename concrete_type_of<T>::type v(2), w(7);
optional<const T&> o(v);
BOOST_TEST(o);
BOOST_TEST(boost::addressof(*o) == boost::addressof(v));
BOOST_TEST_EQ(val(*o), val(v));
BOOST_TEST_EQ(val(*o), 2);
o = optional<const T&>(w);
BOOST_TEST_EQ(val(v), 2);
BOOST_TEST(o);
BOOST_TEST(boost::addressof(*o) != boost::addressof(v));
BOOST_TEST_NE(val(*o), val(v));
BOOST_TEST_NE(val(*o), 2);
BOOST_TEST(boost::addressof(*o) == boost::addressof(w));
BOOST_TEST_EQ(val(*o), val(w));
BOOST_TEST_EQ(val(*o), 7);
}
template <typename T>
void test_rebinding_assignment_semantics_noconst_const()
{
typename concrete_type_of<T>::type v(2), w(7);
optional<const T&> o(v);
BOOST_TEST(o);
BOOST_TEST(boost::addressof(*o) == boost::addressof(v));
BOOST_TEST_EQ(val(*o), val(v));
BOOST_TEST_EQ(val(*o), 2);
o = optional<const T&>(w);
BOOST_TEST_EQ(val(v), 2);
BOOST_TEST(o);
BOOST_TEST(boost::addressof(*o) != boost::addressof(v));
BOOST_TEST_NE(val(*o), val(v));
BOOST_TEST_NE(val(*o), 2);
BOOST_TEST(boost::addressof(*o) == boost::addressof(w));
BOOST_TEST_EQ(val(*o), val(w));
BOOST_TEST_EQ(val(*o), 7);
}
template <typename T> template <typename T>
void test_rebinding_assignment_semantics() void test_rebinding_assignment_semantics()
{ {
@ -432,11 +605,33 @@ void test_optional_ref()
test_swap<T>(); test_swap<T>();
} }
template <typename T>
void test_optional_const_ref()
{
test_not_containing_value_for<const T>();
test_direct_init_for_const<T>();
test_direct_init_for_noconst_const<T>();
test_copy_assignment_for_const<T>();
test_copy_assignment_for_noconst_const<T>();
test_rebinding_assignment_semantics_const<T>();
test_rebinding_assignment_semantics_noconst_const<T>();
test_clearing_the_value<const T>();
test_arrow_const<T>();
test_arrow_noconst_const<T>();
test_equality<const T>();
test_order<const T>();
//test_swap<T>();
}
int main() int main()
{ {
test_optional_ref<int>(); test_optional_ref<int>();
test_optional_ref<ScopeGuard>(); test_optional_ref<ScopeGuard>();
//test_optional_ref<Abstract>(); //test_optional_ref<Abstract>();
test_optional_const_ref<int>();
test_optional_const_ref<ScopeGuard>();
//test_optional_const_ref<Abstract>();
return boost::report_errors(); return boost::report_errors();
} }