Question

我试图强制评估宏参数。

我尝试使用以下模式：Macro evaluation in c preprocessor 但由于某些原因，PP_NARG（ VA_ARGS ）无法正确扩展。

你知道为什么main（）中的第二行没有编译吗？错误：粘贴“RUN_CODE_FOR_EACH”和“（”不提供有效的预处理令牌

#define PP_NARG(...)  (PP_NARG_(__VA_ARGS__,PP_RSEQ_N()) - \
    (sizeof(#__VA_ARGS__) == 1))
#define PP_NARG_(...)  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

#define RUN_CODE(code, x) { \
    decltype(x) &&variadic_item = x; \
    code; \
}

#define RUN_CODE_FOR_EACH1(code, x) RUN_CODE(code, x);
#define RUN_CODE_FOR_EACH2(code, x, ...) RUN_CODE(code, x); RUN_CODE_FOR_EACH1(code, __VA_ARGS__)
#define RUN_CODE_FOR_EACH3(code, x, ...) RUN_CODE(code, x); RUN_CODE_FOR_EACH2(code, __VA_ARGS__)
#define RUN_CODE_FOR_EACH4(code, x, ...) RUN_CODE(code, x); RUN_CODE_FOR_EACH3(code, __VA_ARGS__)
#define RUN_CODE_FOR_EACH5(code, x, ...) RUN_CODE(code, x); RUN_CODE_FOR_EACH4(code, __VA_ARGS__)
#define RUN_CODE_FOR_EACH6(code, x, ...) RUN_CODE(code, x); RUN_CODE_FOR_EACH5(code, __VA_ARGS__)
#define RUN_CODE_FOR_EACH7(code, x, ...) RUN_CODE(code, x); RUN_CODE_FOR_EACH6(code, __VA_ARGS__)
#define RUN_CODE_FOR_EACH8(code, x, ...) RUN_CODE(code, x); RUN_CODE_FOR_EACH7(code, __VA_ARGS__)

#define RUN_CODE_FOR_EACH__(code, size, ...) RUN_CODE_FOR_EACH##size(code, __VA_ARGS__)
#define RUN_CODE_FOR_EACH_(code, size, ...) RUN_CODE_FOR_EACH__(code, size, __VA_ARGS__)
#define RUN_CODE_FOR_EACH(code, ...) RUN_CODE_FOR_EACH_(code, PP_NARG(__VA_ARGS__), __VA_ARGS__)


void print(int i){std::cout << "int: " << i << '\n';}
int print(double d){std::cout << "double: " << d << '\n';return 2;}

int main() {
    RUN_CODE_FOR_EACH_(print(variadic_item), 4, 1, 2., 3., 4); // Working
    RUN_CODE_FOR_EACH(print(variadic_item), 1, 2., 3., 4); // Compilation error
    std::cout << "size=" << PP_NARG(1, 2., 3., 4) << '\n'; // show size=4
    return 0;
}

谢谢

Answer 1

PP_NARG没有意义，因为您在预处理器时使用了编译时结构。您将无法获得有效的预处理器时间参数计数。您需要对参数进行计数，而不需要使用sizeof等内容。

以下是一个关于如何通过vrm_pp library完成此操作的示例。首先，我定义参数计数的接口宏：

#define VRM_PP_IMPL_N_ARG(...) VRM_PP_IMPL_NSEQ(__VA_ARGS__)

#define VRM_PP_IMPL_ARGCOUNT(...) \
    VRM_PP_IMPL_N_ARG(__VA_ARGS__, VRM_PP_IMPL_RSEQ())

#define VRM_PP_ARGCOUNT(...) VRM_PP_IMPL_ARGCOUNT(__VA_ARGS__)

然后我使用generator script生成the count sequences。

VRM_PP_IMPL_RSEQ是反向计数序列：10, 9, 8, 7, 6 ...
VRM_PP_IMPL_NSEQ是一个宏，它接受N个参数（其中N是支持的最大参数数量）并返回{{1 - 论证。

您可以在"C++ preprocessor __VA_ARGS__ number of arguments"问题上找到有关此解决方案的完整说明。

参数

1 个答案: