1// Copyright Louis Dionne 2013-2022
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/accessors.hpp>
6#include <boost/hana/adapt_adt.hpp>
7#include <boost/hana/assert.hpp>
8#include <boost/hana/core/to.hpp>
9#include <boost/hana/equal.hpp>
10#include <boost/hana/find.hpp>
11#include <boost/hana/first.hpp>
12#include <boost/hana/map.hpp>
13#include <boost/hana/not_equal.hpp>
14#include <boost/hana/optional.hpp>
15#include <boost/hana/pair.hpp>
16#include <boost/hana/string.hpp>
17#include <boost/hana/transform.hpp>
18#include <boost/hana/tuple.hpp>
19
20#include <string>
21namespace hana = boost::hana;
22
23
24namespace ns {
25 struct Person {
26 explicit Person(std::string const& name, int age)
27 : name_(name), age_(age)
28 { }
29 std::string const& get_name() const { return name_; }
30 int get_age() const { return age_; }
31
32 private:
33 std::string name_;
34 int age_;
35 };
36}
37
38BOOST_HANA_ADAPT_ADT(ns::Person,
39 (name, [](ns::Person const& p) { return p.get_name(); }),
40 (age, [](ns::Person const& p) { return p.get_age(); })
41);
42
43// The member names are hana::strings:
44auto names = hana::transform(hana::accessors<ns::Person>(), hana::first);
45BOOST_HANA_CONSTANT_CHECK(
46 names == hana::make_tuple(BOOST_HANA_STRING("name"), BOOST_HANA_STRING("age"))
47);
48
49int main() {
50 ns::Person john{"John", 30}, bob{"Bob", 40};
51 BOOST_HANA_RUNTIME_CHECK(hana::equal(john, john));
52 BOOST_HANA_RUNTIME_CHECK(hana::not_equal(john, bob));
53
54 BOOST_HANA_RUNTIME_CHECK(hana::find(john, BOOST_HANA_STRING("name")) == hana::just("John"));
55 BOOST_HANA_RUNTIME_CHECK(hana::find(john, BOOST_HANA_STRING("age")) == hana::just(30));
56 BOOST_HANA_CONSTANT_CHECK(hana::find(john, BOOST_HANA_STRING("foo")) == hana::nothing);
57
58 BOOST_HANA_RUNTIME_CHECK(hana::to_tuple(john) == hana::make_tuple(
59 hana::make_pair(BOOST_HANA_STRING("name"), "John"),
60 hana::make_pair(BOOST_HANA_STRING("age"), 30)
61 ));
62
63 BOOST_HANA_RUNTIME_CHECK(hana::to_map(john) == hana::make_map(
64 hana::make_pair(BOOST_HANA_STRING("name"), "John"),
65 hana::make_pair(BOOST_HANA_STRING("age"), 30)
66 ));
67}
68

source code of boost/libs/hana/example/adapt_adt.cpp