ceph/src/boost/libs/variant2/test/variant_get_by_type_cx.cpp

   1
   2 // Copyright 2017 Peter Dimov.
   3 //
   4 // Distributed under the Boost Software License, Version 1.0.
   5 //
   6 // See accompanying file LICENSE_1_0.txt or copy at
   7 // http://www.boost.org/LICENSE_1_0.txt
   8
   9 #include <boost/variant2/variant.hpp>
  10 #include <boost/config.hpp>
  11
  12 using namespace boost::variant2;
  13
  14 #define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
  15
  16 #if BOOST_WORKAROUND(BOOST_GCC, < 50000)
  17 # define STATIC_ASSERT_IF(...)
  18 #else
  19 # define STATIC_ASSERT_IF(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
  20 #endif
  21
  22 int main()
  23 {
  24     {
  25         constexpr variant<int> v;
  26
  27         STATIC_ASSERT( get<int>(v) == 0 );
  28
  29         STATIC_ASSERT_IF( get_if<int>(&v) == &get<int>(v) );
  30     }
  31
  32     {
  33         constexpr variant<int> v( 1 );
  34
  35         STATIC_ASSERT( get<int>(v) == 1 );
  36
  37         STATIC_ASSERT_IF( get_if<int>(&v) == &get<int>(v) );
  38     }
  39
  40     {
  41         constexpr variant<int, float> v;
  42
  43         STATIC_ASSERT( get<int>(v) == 0 );
  44
  45         STATIC_ASSERT_IF( get_if<int>(&v) == &get<int>(v) );
  46         STATIC_ASSERT_IF( get_if<float>(&v) == nullptr );
  47     }
  48
  49     {
  50         constexpr variant<int, float> v( 1 );
  51
  52         STATIC_ASSERT( get<int>(v) == 1 );
  53
  54         STATIC_ASSERT_IF( get_if<int>(&v) == &get<int>(v) );
  55         STATIC_ASSERT_IF( get_if<float>(&v) == nullptr );
  56     }
  57
  58     {
  59         constexpr variant<int, float> v( 3.14f );
  60
  61         STATIC_ASSERT( get<float>(v) == 3.14f );
  62
  63         STATIC_ASSERT_IF( get_if<int>(&v) == nullptr );
  64         STATIC_ASSERT_IF( get_if<float>(&v) == &get<float>(v) );
  65     }
  66
  67     {
  68         constexpr variant<int, float, float> v;
  69
  70         STATIC_ASSERT( get<int>(v) == 0 );
  71
  72         STATIC_ASSERT_IF( get_if<int>(&v) == &get<int>(v) );
  73     }
  74
  75     {
  76         constexpr variant<int, float, float> v( 1 );
  77
  78         STATIC_ASSERT( get<int>(v) == 1 );
  79
  80         STATIC_ASSERT_IF( get_if<int>(&v) == &get<int>(v) );
  81     }
  82
  83     {
  84         constexpr variant<int, int, float> v( 3.14f );
  85
  86         STATIC_ASSERT( get<float>(v) == 3.14f );
  87
  88         STATIC_ASSERT_IF( get_if<float>(&v) == &get<float>(v) );
  89     }
  90 }