프리 프로세서가 필드에 대한 리플렉션 데이터를 생성하도록해야합니다. 이 데이터는 중첩 클래스로 저장 될 수 있습니다.
먼저, 전 처리기에서보다 쉽고 깔끔하게 작성하기 위해 형식화 된 표현을 사용합니다. 유형이 지정된 표현식은 유형을 괄호 안에 넣는 표현식입니다. 따라서 글 int x을 쓰는 대신에 글 을 쓸 것입니다 (int) x. 다음은 유형이 지정된 표현식에 도움이되는 몇 가지 편리한 매크로입니다.
#define REM(...) __VA_ARGS__
#define EAT(...)
// Retrieve the type
#define TYPEOF(x) DETAIL_TYPEOF(DETAIL_TYPEOF_PROBE x,)
#define DETAIL_TYPEOF(...) DETAIL_TYPEOF_HEAD(__VA_ARGS__)
#define DETAIL_TYPEOF_HEAD(x, ...) REM x
#define DETAIL_TYPEOF_PROBE(...) (__VA_ARGS__),
// Strip off the type
#define STRIP(x) EAT x
// Show the type without parenthesis
#define PAIR(x) REM x
다음으로, REFLECTABLE각 필드 (및 필드 자체)에 대한 데이터를 생성 하는 매크로를 정의합니다 . 이 매크로는 다음과 같이 호출됩니다.
REFLECTABLE
(
(const char *) name,
(int) age
)
따라서 Boost.PP 를 사용하여 각 인수를 반복하고 다음과 같은 데이터를 생성합니다.
// A helper metafunction for adding const to a type
template<class M, class T>
struct make_const
{
typedef T type;
};
template<class M, class T>
struct make_const<const M, T>
{
typedef typename boost::add_const<T>::type type;
};
#define REFLECTABLE(...) \
static const int fields_n = BOOST_PP_VARIADIC_SIZE(__VA_ARGS__); \
friend struct reflector; \
template<int N, class Self> \
struct field_data {}; \
BOOST_PP_SEQ_FOR_EACH_I(REFLECT_EACH, data, BOOST_PP_VARIADIC_TO_SEQ(__VA_ARGS__))
#define REFLECT_EACH(r, data, i, x) \
PAIR(x); \
template<class Self> \
struct field_data<i, Self> \
{ \
Self & self; \
field_data(Self & self) : self(self) {} \
\
typename make_const<Self, TYPEOF(x)>::type & get() \
{ \
return self.STRIP(x); \
}\
typename boost::add_const<TYPEOF(x)>::type & get() const \
{ \
return self.STRIP(x); \
}\
const char * name() const \
{\
return BOOST_PP_STRINGIZE(STRIP(x)); \
} \
}; \
이것이하는 일은 fields_n클래스에서 반사 가능한 필드 수인 상수 를 생성하는 것입니다. 그런 다음 field_data각 필드에 대해 전문화 됩니다. 또한 reflector수업과 친구 가되어 비공개로도 필드에 액세스 할 수 있습니다.
struct reflector
{
//Get field_data at index N
template<int N, class T>
static typename T::template field_data<N, T> get_field_data(T& x)
{
return typename T::template field_data<N, T>(x);
}
// Get the number of fields
template<class T>
struct fields
{
static const int n = T::fields_n;
};
};
이제 필드를 반복하기 위해 방문자 패턴을 사용합니다. 0에서 필드 수까지 MPL 범위를 만들고 해당 인덱스의 필드 데이터에 액세스합니다. 그런 다음 필드 데이터를 사용자 제공 방문자에게 전달합니다.
struct field_visitor
{
template<class C, class Visitor, class I>
void operator()(C& c, Visitor v, I)
{
v(reflector::get_field_data<I::value>(c));
}
};
template<class C, class Visitor>
void visit_each(C & c, Visitor v)
{
typedef boost::mpl::range_c<int,0,reflector::fields<C>::n> range;
boost::mpl::for_each<range>(boost::bind<void>(field_visitor(), boost::ref(c), v, _1));
}
이제 진실의 순간에 우리는 모든 것을 하나로 모았습니다. 반영 가능한 Person클래스를 정의하는 방법은 다음과 같습니다 .
struct Person
{
Person(const char *name, int age)
:
name(name),
age(age)
{
}
private:
REFLECTABLE
(
(const char *) name,
(int) age
)
};
print_fields리플렉션 데이터를 사용하여 필드를 반복 하는 일반화 된 함수 는 다음과 같습니다 .
struct print_visitor
{
template<class FieldData>
void operator()(FieldData f)
{
std::cout << f.name() << "=" << f.get() << std::endl;
}
};
template<class T>
void print_fields(T & x)
{
visit_each(x, print_visitor());
}
리 print_fields플렉서블 Person클래스 와 함께 를 사용하는 예 :
int main()
{
Person p("Tom", 82);
print_fields(p);
return 0;
}
어떤 출력 :
name=Tom
age=82
그리고 voila, 우리는 방금 C ++에서 100 줄 이하의 코드로 리플렉션을 구현했습니다.