C宏力参数评估

Question

我正在尝试强制评估宏参数。

我尝试使用以下模式:Macro evaluation in c preprocessor但由于某种原因，这里 PP_NARG(VA_ARGS) 无法正确扩展。

你知道为什么 main() 中的第二行无法编译吗？错误:粘贴“RUN_CODE_FOR_EACH”和“(”不会给出有效的预处理 token

#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 中完成此操作的示例。首先，我定义用于参数计数的接口(interface)宏:

#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 是支持的最大参数数量) 并返回第 N 个参数。

<小时/>

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