ceph/src/boost/libs/optional/test/optional_test_ref_converting_ctor.cpp

   1 // Copyright (C) 2014 Andrzej Krzemienski.
   2 //
   3 // Use, modification, and distribution is subject to the Boost Software
   4 // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
   5 // http://www.boost.org/LICENSE_1_0.txt)
   6 //
   7 // See http://www.boost.org/lib/optional for documentation.
   8 //
   9 // You are welcome to contact the author at: akrzemi1@gmail.com
  10
  11
  12 #include "boost/optional/optional.hpp"
  13
  14 #ifdef BOOST_BORLANDC
  15 #pragma hdrstop
  16 #endif
  17
  18 #include "boost/core/addressof.hpp"
  19 #include "boost/core/enable_if.hpp"
  20 #include "boost/core/lightweight_test.hpp"
  21 #include "testable_classes.hpp"
  22
  23 using boost::optional;
  24 using boost::none;
  25
  26 template <typename T>
  27 void test_converting_ctor()
  28 {
  29   typename concrete_type_of<T>::type v1(1), v2(2);
  30
  31   {
  32     optional<T&> o1 = v1, o1_ = v1, o2 = v2;
  33
  34     BOOST_TEST(o1);
  35     BOOST_TEST(boost::addressof(*o1) == boost::addressof(v1));
  36     BOOST_TEST(o1_);
  37     BOOST_TEST(boost::addressof(*o1_) == boost::addressof(v1));
  38     BOOST_TEST(boost::addressof(*o1_) == boost::addressof(*o1));
  39
  40     BOOST_TEST(o2);
  41     BOOST_TEST(boost::addressof(*o2) == boost::addressof(v2));
  42     BOOST_TEST(boost::addressof(*o2) != boost::addressof(*o1));
  43   }
  44   {
  45     const optional<T&> o1 = v1, o1_ = v1, o2 = v2;
  46
  47     BOOST_TEST(o1);
  48     BOOST_TEST(boost::addressof(*o1) == boost::addressof(v1));
  49     BOOST_TEST(o1_);
  50     BOOST_TEST(boost::addressof(*o1_) == boost::addressof(v1));
  51     BOOST_TEST(boost::addressof(*o1_) == boost::addressof(*o1));
  52
  53     BOOST_TEST(o2);
  54     BOOST_TEST(boost::addressof(*o2) == boost::addressof(v2));
  55     BOOST_TEST(boost::addressof(*o2) != boost::addressof(*o1));
  56   }
  57 }
  58
  59 template <typename T>
  60 void test_converting_ctor_for_noconst_const()
  61 {
  62   typename concrete_type_of<T>::type v1(1), v2(2);
  63
  64   {
  65     optional<const T&> o1 = v1, o1_ = v1, o2 = v2;
  66
  67     BOOST_TEST(o1);
  68     BOOST_TEST(boost::addressof(*o1) == boost::addressof(v1));
  69     BOOST_TEST(o1_);
  70     BOOST_TEST(boost::addressof(*o1_) == boost::addressof(v1));
  71     BOOST_TEST(boost::addressof(*o1_) == boost::addressof(*o1));
  72
  73     BOOST_TEST(o2);
  74     BOOST_TEST(boost::addressof(*o2) == boost::addressof(v2));
  75     BOOST_TEST(boost::addressof(*o2) != boost::addressof(*o1));
  76   }
  77   {
  78     const optional<const T&> o1 = v1, o1_ = v1, o2 = v2;
  79
  80     BOOST_TEST(o1);
  81     BOOST_TEST(boost::addressof(*o1) == boost::addressof(v1));
  82     BOOST_TEST(o1_);
  83     BOOST_TEST(boost::addressof(*o1_) == boost::addressof(v1));
  84     BOOST_TEST(boost::addressof(*o1_) == boost::addressof(*o1));
  85
  86     BOOST_TEST(o2);
  87     BOOST_TEST(boost::addressof(*o2) == boost::addressof(v2));
  88     BOOST_TEST(boost::addressof(*o2) != boost::addressof(*o1));
  89   }
  90 }
  91
  92 template <typename T>
  93 void test_all_const_cases()
  94 {
  95   test_converting_ctor<T>();
  96 #ifndef BOOST_OPTIONAL_CONFIG_NO_PROPER_CONVERT_FROM_CONST_INT
  97   test_converting_ctor<const T>();
  98 #endif
  99   test_converting_ctor_for_noconst_const<T>();
 100 }
 101
 102 int main()
 103 {
 104   test_all_const_cases<int>();
 105   test_all_const_cases<ScopeGuard>();
 106   test_all_const_cases<Abstract>();
 107   test_all_const_cases< optional<int> >();
 108
 109   return boost::report_errors();
 110 }