1 Востаннє редагувалося Дмитро-Чебурашка (02.06.2015 16:27:51)

Тема: Допоможіть зрозуміти код з макросами

Допоможіть зрозуміти код з макросами

Я нічого не можу зрозуміти!! Макроси так заплутані - офигеть, голову зламати можна точно.

Навіщо це? Крапи в макросах, порожні скобки- це що?

звідкись з просторів інтернету, не моє

Спочатку, для чистоти коду, будемо юзати вирази, що типізуються. Т.е. замість 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)); \
    } \
}; \

Щоб отримати доступ до полів, які приватні, цим кодом додається у френди ось такий клас:

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;
    };
};

Тепер пройдемося по полях, і віддамо ці дані в visitor:

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));
}

ну і нарешті можна використати!!!

struct Person
{
    Person(const char *name, int age)
        :
        name(name),
        age(age)
    {
    }
private:
    REFLECTABLE
    (
        (const char *) name,
        (int) age
    )
};

І нарешті, щоб роздрукувати поля як хочеться, можна написати таку штуку

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());
}

Приклад використання :

int main()
{
    Person p("sin_a", "ватник", "язабан");
    print_fields(p);
    return 0;
}

та вихлоп:

name= sin _ a
credo="ватник"
action="язабан"

ура, ми поглумилися на C++, тепер у ньому все працює!!!

Re: Допоможіть зрозуміти код з макросами

Чесно кажучи це жах, і я дивлюся на код і не розумію нічого взагалі
як це повинно ( могло ) працювати, взагалі нічого не зрозуміло.


Тобто ніби то більшисть коду знайома, наприклад ось 10.template<class T>

та більшість знайома а у цілому-нияк!!  Дивлюся та в головіаж порожнеча

Re: Допоможіть зрозуміти код з макросами

ура, ми поглумилися на C++, тепер в ньому все працює!


я й не гадав, що гриби можна палити.