c - C での可変個引数関数のオーバーロード

Question

少しの調査と多くのいじくり回した後、私はこれを思いつきました：

#include <stdio.h>

// Variadic Function Overloading:

#define VOID    "__variadic_VOID__"

#define variadic_count(...) variadic_count_(__VA_ARGS__, 6, 5, 4, 3, 2, 1, 0)
#define variadic_count_(_6, _5, _4, _3, _2, _1, count, ...) count

#define variadic_token(func, ...)   variadic_token_(func, variadic_count(__VA_ARGS__))
#define variadic_token_(func, count)    variadic_token__(func, count)
#define variadic_token__(func, count)   func ## _ ## count

#define variadic(func, ...)\
do {\
    if (#__VA_ARGS__ == "\"__variadic_VOID__\"")\
    {\
        variadic_token__(func, 0)();\
    }\
    else\
    {\
        variadic_token(func, __VA_ARGS__)(__VA_ARGS__);\
    }\
} while (0)

// Usage:

#define somefunction(...)   variadic(somefunction, __VA_ARGS__)

#define somefunction_0()\
do {\
    printf("somefunction_0(VOID)\n\n");\
} while (0)

#define somefunction_1(x)\
do {\
    printf("somefunction_1(x = %i)\n\n", (x));\
} while (0)

#define somefunction_2(x, y)\
do {\
    printf("somefunction_2(x = %i, y = %i)\n\n", (x), (y));\
} while (0)

int main(int argc, char* argv[])
{
    //somefunction();   ERROR
    somefunction(VOID);
    somefunction(1);
    somefunction(11);
    somefunction(2, 3);
    //somefunction(1, 2, 3);    ERROR

    printf("\n\n");
    return 0;
}

基本的に、特別なトークン VOID を介して、ゼロ引数と 1 つの引数を区別できます。可変引数関数/マクロが VOID によって定義された文字列リテラルを唯一の引数として渡されない限り、機能します。この場合、 の呼び出しのみsomefunction("__variadic_VOID__");が予期しない動作を引き起こします。文字列リテラルと同じ値の変数を渡しても、予期しない動作は発生しません。

提供されたコードは 0 ～ 6 個の引数に対してのみ機能しますが、より多くの引数で機能するように変更できます。

ただし、コンパイラ (Pelles C) によってif ("blah" == "blah") {doSomething();}最適化されているかどうかについては興味がありますか? doSomething();または、ポインターの比較は実行時に行われますか? 最適化されていない場合、このコード スニペットにより、関数/マクロの簡単かつ効率的な可変個引数のオーバーロードが可能になると思います...そうですか?