ceph/src/boost/libs/hana/test/type/traits.cpp

   1 // Copyright Louis Dionne 2013-2017
   2 // Distributed under the Boost Software License, Version 1.0.
   3 // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
   4
   5 #include <boost/hana/traits.hpp>
   6
   7 #include <boost/hana/assert.hpp>
   8 #include <boost/hana/integral_constant.hpp>
   9 #include <boost/hana/type.hpp>
  10 namespace hana = boost::hana;
  11
  12
  13 enum Enumeration { };
  14 struct Structure { };
  15 constexpr auto e = hana::type_c<Enumeration>;
  16 constexpr auto s = hana::type_c<Structure>;
  17
  18 int main() {
  19     // We just make sure that they compile. If the forwarding to `std::` is
  20     // well done, it is the job of `std::` to return the right thing.
  21
  22     ///////////////////////
  23     // Type properties
  24     ///////////////////////
  25     // Primary type categories
  26     static_assert(!hana::traits::is_void(s), "the traits should be compile-time checkable");
  27     hana::traits::is_null_pointer(s);
  28     hana::traits::is_integral(s);
  29     hana::traits::is_floating_point(s);
  30     hana::traits::is_array(s);
  31     hana::traits::is_enum(s);
  32     hana::traits::is_union(s);
  33     hana::traits::is_class(s);
  34     hana::traits::is_function(s);
  35     hana::traits::is_pointer(s);
  36     hana::traits::is_lvalue_reference(s);
  37     hana::traits::is_rvalue_reference(s);
  38     hana::traits::is_member_object_pointer(s);
  39     hana::traits::is_member_function_pointer(s);
  40
  41     // Composite type categories
  42     hana::traits::is_fundamental(s);
  43     hana::traits::is_arithmetic(s);
  44     hana::traits::is_scalar(s);
  45     hana::traits::is_object(s);
  46     hana::traits::is_compound(s);
  47     hana::traits::is_reference(s);
  48     hana::traits::is_member_pointer(s);
  49
  50     // Type properties
  51     hana::traits::is_const(s);
  52     hana::traits::is_volatile(s);
  53     hana::traits::is_trivial(s);
  54     hana::traits::is_trivially_copyable(s);
  55     hana::traits::is_standard_layout(s);
  56     hana::traits::is_pod(s);
  57     hana::traits::is_literal_type(s);
  58     hana::traits::is_empty(s);
  59     hana::traits::is_polymorphic(s);
  60     hana::traits::is_abstract(s);
  61     hana::traits::is_signed(s);
  62     hana::traits::is_unsigned(s);
  63
  64     // Supported operations
  65     hana::traits::is_constructible(s, s);
  66     hana::traits::is_trivially_constructible(s, s);
  67     hana::traits::is_nothrow_constructible(s, s);
  68
  69     hana::traits::is_default_constructible(s);
  70     hana::traits::is_trivially_default_constructible(s);
  71     hana::traits::is_nothrow_default_constructible(s);
  72
  73     hana::traits::is_copy_constructible(s);
  74     hana::traits::is_trivially_copy_constructible(s);
  75     hana::traits::is_nothrow_copy_constructible(s);
  76
  77     hana::traits::is_move_constructible(s);
  78     hana::traits::is_trivially_move_constructible(s);
  79     hana::traits::is_nothrow_move_constructible(s);
  80
  81     hana::traits::is_assignable(s, s);
  82     hana::traits::is_trivially_assignable(s, s);
  83     hana::traits::is_nothrow_assignable(s, s);
  84
  85     hana::traits::is_copy_assignable(s);
  86     hana::traits::is_trivially_copy_assignable(s);
  87     hana::traits::is_nothrow_copy_assignable(s);
  88
  89     hana::traits::is_move_assignable(s);
  90     hana::traits::is_trivially_move_assignable(s);
  91     hana::traits::is_nothrow_move_assignable(s);
  92
  93     hana::traits::is_destructible(s);
  94     hana::traits::is_trivially_destructible(s);
  95     hana::traits::is_nothrow_destructible(s);
  96
  97     hana::traits::has_virtual_destructor(s);
  98
  99     // Property queries
 100     hana::traits::alignment_of(s);
 101     hana::traits::rank(s);
 102     hana::traits::extent(s);
 103     hana::traits::extent(hana::type_c<int[2][3]>, hana::uint_c<1>);
 104
 105     // Type relationships
 106     hana::traits::is_same(s, s);
 107     hana::traits::is_base_of(s, s);
 108     hana::traits::is_convertible(s, s);
 109
 110     ///////////////////////
 111     // Type modifications
 112     ///////////////////////
 113     // Const-volatility specifiers
 114     hana::traits::remove_cv(s);
 115     hana::traits::remove_const(s);
 116     hana::traits::remove_volatile(s);
 117
 118     hana::traits::add_cv(s);
 119     hana::traits::add_const(s);
 120     hana::traits::add_volatile(s);
 121
 122     // References
 123     hana::traits::remove_reference(s);
 124     hana::traits::add_lvalue_reference(s);
 125     hana::traits::add_rvalue_reference(s);
 126
 127     // Pointers
 128     hana::traits::remove_pointer(s);
 129     hana::traits::add_pointer(s);
 130
 131     // Sign modifiers
 132     hana::traits::make_signed(hana::type_c<unsigned>);
 133     hana::traits::make_unsigned(hana::type_c<signed>);
 134
 135     // Arrays
 136     hana::traits::remove_extent(s);
 137     hana::traits::remove_all_extents(s);
 138
 139     // Miscellaneous transformations
 140     hana::traits::aligned_storage(hana::size_c<1>);
 141     hana::traits::aligned_storage(hana::size_c<1>, hana::size_c<1>);
 142     hana::traits::aligned_union(hana::size_c<0>, s);
 143     hana::traits::decay(s);
 144
 145     hana::traits::common_type(s, s);
 146     hana::traits::underlying_type(e);
 147     using FunctionPointer = void(*)();
 148     hana::traits::result_of(hana::type_c<FunctionPointer(void)>);
 149
 150     ///////////////////////
 151     // Utilities
 152     ///////////////////////
 153     using Z = decltype(hana::traits::declval(hana::type_c<Structure>));
 154 }