这个宏中最后一个逗号的目的是什么?
#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 中的第二个参数
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 中的第三个参数
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