Boost Hanaを使ってメソッドをイントロスペクトすることは可能ですか？

Question

Boost Hanaシンプルで美しい方法で、クラスメンバフィールドでイントロスペクションする機能を提供します。

// define: 

struct Person { 
    std::string name; 
    int age; 
}; 

// below could be done inline, but I prefer not polluting the 
// declaration of the struct 
BOOST_HANA_ADAPT_STRUCT(not_my_namespace::Person, name, age); 

// then: 

Person john{"John", 30}; 
hana::for_each(john, [](auto pair) { 
    std::cout << hana::to<char const*>(hana::first(pair)) << ": " 
      << hana::second(pair) << std::endl; 
}); 

ただし、ドキュメントが唯一のメンバーフィールドに言及しています。私は方法についてもイントロスペクトしたいと思います。私はメソッドを使って例を素直に拡張しようとしました：

struct Foo { 
    std::string get_name() const { return "louis"; } 
}; 

BOOST_HANA_ADAPT_STRUCT(::Foo, get_name); 

これはコンパイルされます。しかし、私はそれを使用しようとすぐに、上記のようなコードを使用して（for_each ...）、私は多くのコンパイルエラーを取得します。メソッドのイントロスペクションを示す例はないので、サポートされているかどうかは疑問です。

Answer 1

私の元の回答は虚偽でした。そのために残念。実際に質問に答えるリライトがあります。

カスタムアクセサでStructを簡単に定義できるようにマクロを追加しました。あなたができる方法は次のとおりです。

#include <boost/hana/adapt_adt.hpp> 
#include <boost/hana/at_key.hpp> 
#include <boost/hana/string.hpp> 
#include <cassert> 
#include <string> 
namespace hana = boost::hana; 

struct Person { 
    Person(std::string const& name, int age) : name_(name), age_(age) { } 
    std::string const& get_name() const { return name_; } 
    int get_age() const { return age_; } 
private: 
    std::string name_; 
    int age_; 
}; 

BOOST_HANA_ADAPT_ADT(Person, 
    (name, [](auto const& p) { return p.get_name(); }), 
    (age, [](auto const& p) { return p.get_age(); }) 
); 

int main() { 
    Person bob{"Bob", 30}; 
    assert(hana::at_key(bob, BOOST_HANA_STRING("name")) == "Bob"); 
    assert(hana::at_key(bob, BOOST_HANA_STRING("age")) == 30); 
} 

そのコードはmasterで動作するはずです。あなたのアクセサまたはそれらにマップするために使用されるキーの定義をより詳細に制御する必要がある場合はそれ以外の場合、あなたはまた、手で全体を定義することができます。

namespace boost { namespace hana { 
    template <> 
    struct accessors_impl<Person> { 
     static auto apply() { 
      return hana::make_tuple(
       hana::make_pair(BOOST_HANA_STRING("name"), [](auto&& p) -> std::string const& { 
        return p.get_name(); 
       }), 
       hana::make_pair(BOOST_HANA_STRING("age"), [](auto&& p) { 
        return p.get_age(); 
       }) 
      ); 
     } 
    }; 
}} 

あなたはStruct Sを定義する方法についての詳細な情報を見つけることができますStructのコンセプトのreferenceにあります。