]>
git.proxmox.com Git - ceph.git/blob - ceph/src/boost/libs/hana/test/concept/struct/macro.define_struct.cpp
1 // Copyright Louis Dionne 2013-2016
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)
5 #include <boost/hana/assert.hpp>
6 #include <boost/hana/concept/struct.hpp>
7 #include <boost/hana/contains.hpp>
8 #include <boost/hana/define_struct.hpp>
9 #include <boost/hana/string.hpp>
11 #include <laws/base.hpp>
12 namespace hana
= boost::hana
;
13 using hana::test::ct_eq
;
16 // This allows us to make sure we can enter template types
17 // containing commas in the macro.
18 template <typename T
, typename
...>
22 BOOST_HANA_DEFINE_STRUCT(Data0
);
25 BOOST_HANA_DEFINE_STRUCT(Data1
,
26 (commas
<ct_eq
<1>, void>, member1
)
30 BOOST_HANA_DEFINE_STRUCT(Data2
,
31 (commas
<ct_eq
<1>, void, void>, member1
),
36 BOOST_HANA_DEFINE_STRUCT(Data3
,
39 (commas
<ct_eq
<3>, void, void, void>, member3
)
43 static_assert(hana::Struct
<Data0
>::value
, "");
44 static_assert(hana::Struct
<Data1
>::value
, "");
45 static_assert(hana::Struct
<Data2
>::value
, "");
46 static_assert(hana::Struct
<Data3
>::value
, "");
49 BOOST_HANA_CONSTANT_CHECK(hana::contains(Data1
{}, BOOST_HANA_STRING("member1")));
51 BOOST_HANA_CONSTANT_CHECK(hana::contains(Data2
{}, BOOST_HANA_STRING("member1")));
52 BOOST_HANA_CONSTANT_CHECK(hana::contains(Data2
{}, BOOST_HANA_STRING("member2")));
54 BOOST_HANA_CONSTANT_CHECK(hana::contains(Data3
{}, BOOST_HANA_STRING("member1")));
55 BOOST_HANA_CONSTANT_CHECK(hana::contains(Data3
{}, BOOST_HANA_STRING("member2")));
56 BOOST_HANA_CONSTANT_CHECK(hana::contains(Data3
{}, BOOST_HANA_STRING("member3")));