C 可変個引数テンプレート: すべてのテンプレート引数で関数を呼び出す

C では、多くの場合、可変個引数テンプレート引数を反復処理して、呼び出しなどの特定の操作を実行することが望ましいです。関数。これは、

C 17 Fold Expression

(f(args), ...);

のいずれかを使用して実現できます。ただし、呼び出された関数がオブジェクトを返す可能性がある場合は、オーバーロードされたカンマ演算子を使用する場合は、次を使用する必要があります:

((void)f(args), ...);

Pre-C 17 解決策

一般的なアプローチは、リストの初期化を利用し、その中で展開を実行することです:

{ print(Args)... }

Because print() returns void の場合は、 int:

{ (print(Args), 0)... }

を返すことで問題を回避できます。任意の数の引数で動作します。パックに常に少なくとも 1 つの要素を含めることができます:

{ 0, (print(Args), 0)... }

これをカプセル化できますパターンを再利用可能なマクロに変換します:

namespace so {
    using expand_type = int[];
}

#define SO_EXPAND_SIDE_EFFECTS(PATTERN) ::so::expand_type{ 0, ((PATTERN), 0)... }

オーバーロードされたカンマ演算子を処理するには、マクロを変更できます:

#define SO_EXPAND_SIDE_EFFECTS(PATTERN) \
        ::so::expand_type{ 0, ((PATTERN), void(), 0)... }

不必要なメモリ割り当てが心配な場合は、リストをサポートするカスタム型を定義できます。初期化しますが、データは保存しません:

namespace so {
    struct expand_type {
        template <typename... T>
        expand_type(T&&...) {}
    };
}