ceph/src/boost/libs/callable_traits/test/collapse_flags.cpp

   1
   2 /*
   3 Copyright Barrett Adair 2016-2017
   4 Distributed under the Boost Software License, Version 1.0.
   5 (See accompanying file LICENSE.md or copy at http ://boost.org/LICENSE_1_0.txt)
   6 */
   7
   8 #include <type_traits>
   9 #include <boost/callable_traits/detail/qualifier_flags.hpp>
  10 #include "test.hpp"
  11
  12
  13 using namespace boost::callable_traits;
  14 using namespace boost::callable_traits::detail;
  15
  16 int main() {
  17
  18     // boost::callable_traits::detail::collapse_flags emulates the C++11
  19     // reference collapsing rules. Here, we test that behavior.
  20
  21     using rref_plus_lref = collapse_flags<rref_, lref_>;
  22     CT_ASSERT(rref_plus_lref::value == lref_);
  23
  24     using lref_plus_rref = collapse_flags<lref_, rref_>;
  25     CT_ASSERT(lref_plus_rref::value == lref_);
  26
  27     using lref_plus_lref = collapse_flags<lref_, lref_>;
  28     CT_ASSERT(lref_plus_lref::value == lref_);
  29
  30     using rref_plus_rref = collapse_flags<rref_, rref_>;
  31     CT_ASSERT(rref_plus_rref::value == rref_);
  32
  33     using const_plus_rref = collapse_flags<const_, rref_>;
  34     CT_ASSERT(const_plus_rref::value == (const_ | rref_));
  35
  36     using const_plus_lref = collapse_flags<const_, lref_>;
  37     CT_ASSERT(const_plus_lref::value == (const_ | lref_));
  38 }