ceph/src/boost/libs/variant/test/test8.cpp

   1 //-----------------------------------------------------------------------------
   2 // boost-libs variant/test/test8.cpp header file
   3 // See http://www.boost.org for updates, documentation, and revision history.
   4 //-----------------------------------------------------------------------------
   5 //
   6 // Copyright (c) 2003
   7 // Eric Friedman, Itay Maman
   8 //
   9 // Distributed under the Boost Software License, Version 1.0. (See
  10 // accompanying file LICENSE_1_0.txt or copy at
  11 // http://www.boost.org/LICENSE_1_0.txt)
  12
  13 #include "boost/test/minimal.hpp"
  14 #include "boost/variant.hpp"
  15
  16 #include <iostream>
  17 #include <vector>
  18 #include <string>
  19
  20 using namespace boost;
  21
  22 typedef variant<float, std::string, int, std::vector<std::string> > t_var1;
  23
  24 struct int_sum : static_visitor<>
  25 {
  26    int_sum() : result_(0) { }
  27
  28    void operator()(int t)
  29    {
  30       result_ += t;
  31    }
  32
  33    result_type operator()(float ) { }
  34    result_type operator()(const std::string& ) { }
  35    result_type operator()(const std::vector<std::string>& ) { }
  36
  37    int result_;
  38 };
  39
  40 template <typename T, typename Variant>
  41 T& check_pass(Variant& v, T value)
  42 {
  43     BOOST_CHECK(get<T>(&v));
  44
  45     try
  46     {
  47         T& r = get<T>(v);
  48         BOOST_CHECK(r == value);
  49         return r;
  50     }
  51     catch(boost::bad_get&)
  52     {
  53         throw; // must never reach
  54     }
  55 }
  56
  57 template <typename T, typename Variant>
  58 void check_fail(Variant& v)
  59 {
  60     BOOST_CHECK(!relaxed_get<T>(&v));
  61
  62     try
  63     {
  64         T& r = relaxed_get<T>(v);
  65         (void)r; // suppress warning about r not being used
  66         BOOST_CHECK(false && relaxed_get<T>(&v)); // should never reach
  67     }
  68     catch(const boost::bad_get& e)
  69     {
  70         BOOST_CHECK(!!e.what()); // make sure that what() is const qualified and returnes something
  71     }
  72 }
  73
  74 int test_main(int , char* [])
  75 {
  76    int_sum acc;
  77    t_var1 v1 = 800;
  78
  79    // check get on non-const variant
  80    {
  81       int& r1 = check_pass<int>(v1, 800);
  82       const int& cr1 = check_pass<const int>(v1, 800);
  83
  84       check_fail<float>(v1);
  85       check_fail<const float>(v1);
  86       check_fail<short>(v1);
  87       check_fail<const short>(v1);
  88
  89       apply_visitor(acc, v1);
  90       BOOST_CHECK(acc.result_ == 800);
  91
  92       r1 = 920; // NOTE: modifies content of v1
  93       apply_visitor(acc, v1);
  94       BOOST_CHECK(cr1 == 920);
  95       BOOST_CHECK(acc.result_ == 800 + 920);
  96    }
  97
  98    // check const correctness:
  99    {
 100       const t_var1& c = v1;
 101
 102       check_pass<const int>(c, 920);
 103
 104       //check_fail<int>(c);
 105       check_fail<const float>(c);
 106       //check_fail<float>(c);
 107       check_fail<const short>(c);
 108       //check_fail<short>(c);
 109    }
 110
 111    return boost::exit_success;
 112 }
 113