adapt_adt.cpp 2.2 KB

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