4

例えば

class A
{
    int m_x;
    float m_y;
    double m_z;

    int x() const {return m_x;}
    float y() const {return m_y;}
    double z() const {return m_z;}
};

のようになります

class A
{
    MY_MACRO((int)(float)(double), (x)(y)(z));
};

このマクロは、既にブースト プリプロセッサ シーケンスを使用している他の既存のマクロと結合するため、ブースト プリプロセッサ シーケンスを使用して実行してください。

4

1 に答える 1

12

免責事項: この回答に満足していても、より良い回答が表示されるまで待つ必要があります。

最初のアプローチ:

//two different sequences
struct A
{
    MY_MACRO1((int)(float)(double),(x)(y)(z))
};

このアプローチにより、見た目がそれほど怖くないマクロが得られると思います。

#define DECLARE_DATA_MEMBER1(R,TYPES,INDEX,NAME) \
BOOST_PP_SEQ_ELEM(INDEX,TYPES) BOOST_PP_CAT(m_,NAME);

#define DEFINE_ACCESSOR1(R,TYPES,INDEX,NAME) \
BOOST_PP_SEQ_ELEM(INDEX,TYPES) NAME(){ return BOOST_PP_CAT(m_,NAME); }

#define MY_MACRO1(TYPES,NAMES) \
BOOST_PP_SEQ_FOR_EACH_I(DECLARE_DATA_MEMBER1,TYPES,NAMES) \
public: \
BOOST_PP_SEQ_FOR_EACH_I(DEFINE_ACCESSOR1,TYPES,NAMES)

MY_MACROと の 2 つのシーケンスを取得TYPESしNAMESます。データ メンバーを宣言するために、マクロを使用BOOST_PP_SEQ_FOR_EACH_Iしてシーケンスでa を使用し、シーケンスをデータとして保持します。これは 4 つのパラメーターで「呼び出し」ます:未使用 (そして、それが何をするのかわかりません)、(型のシーケンス)、(0 から始まる、現在の反復を示します)、および(の要素この反復に対応する元のシーケンス)。と の「本体」は単純です。タイプ シーケンスの th 要素を取得し、 と連結するだけです。NAMESDECLARE_DATA_MEMBER1TYPESDECLARE_DATA_MEMBER1RTYPESINDEXNAMENAMES
DECLARE_DATA_MEMBER1DEFINE_ACCESSOR1INDEXm_NAME

2番目のアプローチ:

//just one sequence but you need to put two sets of parentheses around each pair
struct B
{
    MY_MACRO2(((int, x))((float,y))((double,z)))
};

これはまだかなり単純ですが、二重括弧を使用しなければならないという不便があります。

#define DECLARE_DATA_MEMBER2(R,_,TYPE_AND_NAME) \
BOOST_PP_TUPLE_ELEM(2,0,TYPE_AND_NAME) BOOST_PP_CAT(m_,BOOST_PP_TUPLE_ELEM(2,1,TYPE_AND_NAME));

#define DEFINE_ACCESSOR2(R,_,TYPE_AND_NAME) \
BOOST_PP_TUPLE_ELEM(2,0,TYPE_AND_NAME) BOOST_PP_TUPLE_ELEM(2,1,TYPE_AND_NAME)(){ return BOOST_PP_CAT(m_,BOOST_PP_TUPLE_ELEM(2,1,TYPE_AND_NAME)); }

#define MY_MACRO2(TYPES_AND_NAMES) \
BOOST_PP_SEQ_FOR_EACH(DECLARE_DATA_MEMBER2,_,TYPES_AND_NAMES) \
public: \
BOOST_PP_SEQ_FOR_EACH(DEFINE_ACCESSOR2,_,TYPES_AND_NAMES)

今回はシーケンスが 1 つしかないため、ヘルパー マクロにインデックスは必要ありません。このため、マクロを使用し、余分なデータを渡さずBOOST_PP_SEQ_FOR_EACHに TYPES_AND_NAMES で使用されます。DECLARE_DATA_MEMBER2このマクロは 3 つの「引数」を受け取ります:ここRでも未使用、_(またはDATA、ここでも未使用)、およびTYPE_AND_NAME(形式のタプル(TYPE,NAME))。
2 つのヘルパー マクロの「本体」ではBOOST_PP_TUPLE_ELEM、タイプ (インデックス = 0) または名前 (インデックス = 1) のいずれかを取得するために使用されます。このマクロには、タプルのサイズ、必要な要素のインデックス、およびタプルを渡す必要があります。

3番目のアプローチ:

//one sequence but the macro is more complex
struct C
{
    MY_MACRO3((int,x)(float,y)(double,z))
};

BOOST_FUSION_ADAPT_STRUCTこのマクロは、および類似のマクロから大いに借用しています。

//Heavily "inspired" from BOOST_FUSION_ADAPT_STRUCT
#define CREATE_MY_MACRO_PLACEHOLDER_FILLER_0(X, Y)  \
    ((X, Y)) CREATE_MY_MACRO_PLACEHOLDER_FILLER_1
#define CREATE_MY_MACRO_PLACEHOLDER_FILLER_1(X, Y)  \
    ((X, Y)) CREATE_MY_MACRO_PLACEHOLDER_FILLER_0
#define CREATE_MY_MACRO_PLACEHOLDER_FILLER_0_END
#define CREATE_MY_MACRO_PLACEHOLDER_FILLER_1_END

#define DECLARE_DATA_MEMBER3(R,_,TYPE_AND_NAME) \
BOOST_PP_TUPLE_ELEM(2,0,TYPE_AND_NAME) BOOST_PP_CAT(m_,BOOST_PP_TUPLE_ELEM(2,1,TYPE_AND_NAME));

#define DEFINE_ACCESSOR3(R,_,TYPE_AND_NAME) \
BOOST_PP_TUPLE_ELEM(2,0,TYPE_AND_NAME) BOOST_PP_TUPLE_ELEM(2,1,TYPE_AND_NAME)(){ return BOOST_PP_CAT(m_,BOOST_PP_TUPLE_ELEM(2,1,TYPE_AND_NAME)); }

#define MY_MACRO3(TYPES_AND_NAMES) \
BOOST_PP_SEQ_FOR_EACH(DECLARE_DATA_MEMBER3,_,BOOST_PP_CAT(CREATE_MY_MACRO_PLACEHOLDER_FILLER_0 TYPES_AND_NAMES,_END)) \
public: \
BOOST_PP_SEQ_FOR_EACH(DEFINE_ACCESSOR3,_,BOOST_PP_CAT(CREATE_MY_MACRO_PLACEHOLDER_FILLER_0 TYPES_AND_NAMES,_END))

このアプローチでは、ヘルパー マクロは基本的に変更されていません。唯一の (大きな) 違いは、 for_each で使用されるシーケンスが単にTYPES_AND_NAMESbut BOOST_PP_CAT(CREATE_MY_MACRO_PLACEHOLDER_FILLER_0 TYPES_AND_NAMES,_END). これは、二重括弧を強制する巧妙なトリックです。それはこのように動作します：

CREATE_MY_MACRO_PLACEHOLDER_FILLER_0(int,x)(float,y)_END
    //CREATE_MY_MACRO_PLACEHOLDER_FILLER_0(A,B)->((A,B))CREATE_MY_MACRO_PLACEHOLDER_FILLER_1
((int,x))CREATE_MY_MACRO_PLACEHOLDER_FILLER_1(float,y)_END
    //CREATE_MY_MACRO_PLACEHOLDER_FILLER_1(A,B)->((A,B))CREATE_MY_MACRO_PLACEHOLDER_FILLER_0
((int,x))((float,y))CREATE_MY_MACRO_PLACEHOLDER_FILLER_0_END
    //CREATE_MY_MACRO_PLACEHOLDER_FILLER_0_END->
((int,x))((float,y))

Coliruで実行しています。

于 2014-06-19T17:18:41.457 に答える