2

関数シグネチャを解析するための定義を作成し、Boostプリプロセッサを使用して次のようなものを作成します。

MY_DEFINE std::string fun(int t, float b)
{

または少なくとも：

MY_DEFINE(std::string)(fun)(int t, float b)
{

それは生成します：

class fun_in
{
    int t;
    float b;
}

class fun_out
{
    std::string value;
}

void my_fun_wrapper(int t, float b)
{
}

std::string fun(int t, float b)
{
    my_fun_wrapper(t, b);

その定義を持つ関数ごとに。

NBoost Preprocessorを介して、着信引数および任意の戻り型の関数のそのような定義ラッパーを作成することは可能ですか？

4

2 に答える 2

4

プリプロセッサは、事前に通知せずにトークンを解析することはできません。したがって、代わりにもっと多くの括弧を使用する必要があります。外観は次のとおりです。

DEFINE( (std::string)(fun)((int) a, (float) b) )
{
    return "Hello World!";
}

boostを使用してマクロを作成する方法は次のとおりです（プリプロセッサライブラリに精通していると思います）。1つ目は、括弧を処理するためのいくつかのマクロを定義することです。これは、boostがコンマを含むシーケンスをまったく処理しないためです。

#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

次に、3つの異なる方法で引数を処理する必要があります。まず、それらをメンバー変数（のようなint a; float b;）として出力します。次に、関数として引数（など(int a, float b)）。そして最後に、他の関数（のような(a, b)）に渡すフォワード引数として。

#define DETAIL_DEFINE_MEMBERS_EACH(r, data, x) PAIR(x);
#define DETAIL_DEFINE_ARGS_EACH(r, data, i, x) BOOST_PP_COMMA_IF(i) PAIR(x)
#define DETAIL_DEFINE_FORWARD_EACH(r, data, i, x) BOOST_PP_COMMA_IF(i) STRIP(x)

#define DETAIL_DEFINE_MEMBERS(args) BOOST_PP_SEQ_FOR_EACH(DETAIL_DEFINE_MEMBERS_EACH, data, BOOST_PP_VARIADIC_TO_SEQ args)
#define DETAIL_DEFINE_ARGS(args) BOOST_PP_SEQ_FOR_EACH_I(DETAIL_DEFINE_ARGS_EACH, data, BOOST_PP_VARIADIC_TO_SEQ args)
#define DETAIL_DEFINE_FORWARD(args) BOOST_PP_SEQ_FOR_EACH_I(DETAIL_DEFINE_FORWARD_EACH, data, BOOST_PP_VARIADIC_TO_SEQ args)

次に、DETAIL_DEFINE3つのパラメーターを受け取るマクロを作成します。最初は関数の名前、引数、そして戻り値です。これにより、必要に応じてクラスと関数が生成されます。

#define DETAIL_DEFINE(name, args, ...) \
struct BOOST_PP_CAT(name, _in) \
{ \
    DETAIL_DEFINE_MEMBERS(args) \
}; \
struct BOOST_PP_CAT(name, _out) \
{ \
    __VA_ARGS__ value; \
}; \
__VA_ARGS__ BOOST_PP_CAT(name, _impl) DETAIL_DEFINE_ARGS(args) ; \
__VA_ARGS__ name DETAIL_DEFINE_ARGS(args) \
{ \
    return BOOST_PP_CAT(name, _impl) DETAIL_DEFINE_FORWARD(args); \
} \
__VA_ARGS__ BOOST_PP_CAT(name, _impl) DETAIL_DEFINE_ARGS(args)

最後に、DEFINEマクロはすべての括弧を解析し、それらをDETAIL_DEFINEマクロに渡します。

#define DEFINE(x) DETAIL_DEFINE(TYPEOF(STRIP(x)), (TYPEOF(STRIP(STRIP(x)))), TYPEOF(x))

だから今あなたが書くとき：

DEFINE( (std::string)(fun)((int) a, (float) b) )
{
    return "Hello World!";
}

次のように出力されます。

struct fun_in
{
    int a;
    float b;
};
struct fun_out
{
    std::string value;
};
std::string fun_impl(int a, float b);
std::string fun(int a, float b)
{
    return fun_impl(a, b);
}
std::string fun_impl(int a, float b)
{
    return "Hello World!";
}

これはMSVCでは機能しないことに注意してください。ただし、回避策があります。また、を使用してコンパイルする必要があります-DBOOST_PP_VARIADICS=1。

于 2012-08-03T02:35:00.127 に答える
0

このマクロの最後のコンマの目的は何でしたか？

#define TYPEOF(x) DETAIL_TYPEOF(DETAIL_TYPEOF_PROBE x,)

最後に余分なコンマがあり、次のようにコーディングできると思います 

#define TYPEOF(x) DETAIL_TYPEOF(DETAIL_TYPEOF_PROBE x)

このマクロで最後のコンマなしでどのように機能するかを確認する

1.）DETAIL_DEFINEの最初の引数

STRIP( (std::string)(fun)((int) a, (float) b) ) --> (fun)((int) a, (float) b)

TYPEOF( (fun)((int)a, (float) b)) ) -->  fun

2.）DETAIL_DEFINEの2番目の引数

STRIP( STRIP( (std::string)(fun)((int)a, (float) b) ) ) --> ( ( int ) a , ( float ) b )

TYPEOF ( ( ( int ) a , ( float ) b ) ) --> ( int ) a , ( float ) b

3.）DETAIL_DEFINEの3番目の引数

TYPEOF ( (std::string )( fun )(( int ) a , ( float ) b) ) --> std::string

結果 ：

DETAIL_DEFINE ( fun , (( int ) a , ( float ) b), std::string )

ところで、BOOST_PP_VARIADIC_TO_SEQのない古いブーストが ある場合は、次のようにBOOST_PP_TUPLE_TO_SEQ を使用 します。

#define BOOST_PP_VARIADIC_TO_SEQ(...) BOOST_PP_TUPLE_TO_SEQ(PP_NARG(__VA_ARGS__) , (__VA_ARGS__))

そして、PP_NARGはグーグルでどこでも見つけることができます、ここにあります：

//Original Author: Unknown, but well recognized recursive variadic macro
#define PP_NARG(...)        PP_NARG_IMPL(__VA_ARGS__,PP_RSEQ_N())
#define PP_NARG_IMPL(...)   PP_ARG_N(__VA_ARGS__)
#define PP_ARG_N( \
          _1, _2, _3, _4, _5, _6, _7, _8, _9,_10, \
         _11,_12,_13,_14,_15,_16,_17,_18,_19,_20, \
         _21,_22,_23,_24,_25,_26,_27,_28,_29,_30, \
         _31,_32,_33,_34,_35,_36,_37,_38,_39,_40, \
         _41,_42,_43,_44,_45,_46,_47,_48,_49,_50, \
         _51,_52,_53,_54,_55,_56,_57,_58,_59,_60, \
         _61,_62,_63,N,...) N
#define PP_RSEQ_N() \
         63,62,61,60,                   \
         59,58,57,56,55,54,53,52,51,50, \
         49,48,47,46,45,44,43,42,41,40, \
         39,38,37,36,35,34,33,32,31,30, \
         29,28,27,26,25,24,23,22,21,20, \
         19,18,17,16,15,14,13,12,11,10, \
         9,8,7,6,5,4,3,2,1,0
于 2015-03-31T18:35:52.913 に答える