Оценка макромолекулы C параметра

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 является максимальным поддерживаемым количеством аргументов) и возвращает N-й аргумент.

---

Вы можете найти полное объяснение этого решения на "C++ preprocessor __VA_ARGS__ number of arguments" вопрос.