Cマクロの強制的なパラメータ評価

Question

マクロパラメータの評価を強制しようとしています。

私は、パターンを使用しようとしました：Macro evaluation in c preprocessor しかし、ここでいくつかの理由でPP_NARG（VA_ARGS）が正しく展開されません。

main（）の2行目がコンパイルされていない理由は分かりますか？ エラー：貼り付け「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_NSEQN引数を取るマクロある（N引数のサポートされる最大数である）戻りますN番目の引数。

---

あなたは"C++ preprocessor __VA_ARGS__ number of arguments"質問に、このソリューションの完全な説明を見つけることができます。