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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

/*
Copyright Barrett Adair 2016-2017
Distributed under the Boost Software License, Version 1.0.
(See accompanying file LICENSE.md or copy at http ://boost.org/LICENSE_1_0.txt)
*/

#include <type_traits>
#include <boost/callable_traits/detail/qualifier_flags.hpp>
#include "test.hpp"


using namespace boost::callable_traits;
using namespace boost::callable_traits::detail;

int main() {

    // boost::callable_traits::detail::collapse_flags emulates the C++11
    // reference collapsing rules. Here, we test that behavior.

    using rref_plus_lref = collapse_flags<rref_, lref_>;
    CT_ASSERT(rref_plus_lref::value == lref_);

    using lref_plus_rref = collapse_flags<lref_, rref_>;
    CT_ASSERT(lref_plus_rref::value == lref_);

    using lref_plus_lref = collapse_flags<lref_, lref_>;
    CT_ASSERT(lref_plus_lref::value == lref_);

    using rref_plus_rref = collapse_flags<rref_, rref_>;
    CT_ASSERT(rref_plus_rref::value == rref_);

    using const_plus_rref = collapse_flags<const_, rref_>;
    CT_ASSERT(const_plus_rref::value == (const_ | rref_));

    using const_plus_lref = collapse_flags<const_, lref_>;
    CT_ASSERT(const_plus_lref::value == (const_ | lref_));
}