web-dev-qa-db-ja.com

C / C ++プリプロセッサマクロにデフォルトのパラメータ値を設定できますか?

マクロパラメータのデフォルトパラメータ値を指定できますか?

型チェックがないことはわかっているので、デフォルト値は、パラメーター値が指定されていない場合に、プリプロセッサーがマクロ展開に使用するテキストにすぎないと思います。

13
Giffyguy

あなたは例えばで提供されるマクロ過負荷メカニズムを探しています。 Boost.PPの機能

#define MACRO_2(a, b) std::cout << a << ' ' << b;

#define MACRO_1(a) MACRO_2(a, "test") // Supply default argument

// Magic happens here:

#define MACRO(...) BOOST_PP_OVERLOAD(MACRO_, __VA_ARGS__)(__VA_ARGS__)

デモ。 引数の数はマクロ名と連結され、次のようにBoostなしで簡単に実装できます。

#define VARGS_(_10, _9, _8, _7, _6, _5, _4, _3, _2, _1, N, ...) N 
#define VARGS(...) VARGS_(__VA_ARGS__, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1, 0)

#define CONCAT_(a, b) a##b
#define CONCAT(a, b) CONCAT_(a, b)

そして

#define MACRO_2(a, b) std::cout << a << ' ' << b;

#define MACRO_1(a) MACRO_2(a, "test") // Supply default argument

#define MACRO(...) CONCAT(MACRO_, VARGS(__VA_ARGS__))(__VA_ARGS__)

デモ

13
Columbo

異常な構文を許可する場合は、それを行う方法があります。

#include <stdio.h>
#include <stdint.h>
#include <stdlib.h>

void TestInternal( int n )
{
    printf("%d\n" , n ) ;
}
#define TestGet( f , ... )  f
#define Test( ... ) TestInternal( TestGet( __VA_ARGS__ DEFAULT , DEFAULT ) )
#define DEFAULT 100

int main( void )
{ 
    Test( ) ;
    Test( 12345 , ) ;

return 0 ;
}

これはタイプセーフであり、任意の数の引数に拡張できます。

変数を渡す場合は、コンマが存在する必要があることに注意してください。この関数/マクロにデフォルトのパラメータがあることを示すものとして扱うことができます。

同様のバージョンを使用すると、コンマを省略できますが、関数には、最初に必要なデフォルト以外のパラメーターが少なくとも1つ含まれている必要があります。

7
2501

最も簡単な解決策は、デフォルトのパラメーターが欠落している追加のマクロを定義することのようです。

#define MACRO1( PARAM1 , PARAM2 ) &( PARAM1 + PARAM2 ) // or whatever logic

#define MACRO1_DEFAULT( PARAM1 ) MACRO1 ( PARAM1 , 12 ) // PARAM2 default of 12

また、40twoで言及されているように、この言語は 可変個引数マクロ の省略記号の使用をサポートしています。これは、場合によっては実行可能な解決策になることもあります。

リンクされた記事の内容:

可変個引数マクロは、可変数の引数を含む関数のようなマクロです。

可変個引数マクロを使用するには、マクロ定義の最後の仮引数として省略記号を指定し、定義で置換識別子__VA_ARGS__を使用して追加の引数を挿入できます。
__VA_ARGS__は、省略記号に一致するすべての引数(コンマを含む)に置き換えられます。

C標準では、マクロが末尾にコンマを含む式に解決されないようにするために、少なくとも1つの引数を省略記号に渡す必要があると指定されています。

<Microsoft specific>
Visual C++の実装では、省略記号に引数が渡されない場合、末尾のコンマが抑制されます。
</Microsoft Specific>

// variadic_macros.cpp
#include <stdio.h>
#define EMPTY

#define CHECK1(x, ...) if (!(x)) { printf(__VA_ARGS__); }
#define CHECK2(x, ...) if ((x)) { printf(__VA_ARGS__); }
#define CHECK3(...) { printf(__VA_ARGS__); }
#define MACRO(s, ...) printf(s, __VA_ARGS__)

int main() {
    CHECK1(0, "here %s %s %s", "are", "some", "varargs1(1)\n");
    CHECK1(1, "here %s %s %s", "are", "some", "varargs1(2)\n");   // won't print

    CHECK2(0, "here %s %s %s", "are", "some", "varargs2(3)\n");   // won't print
    CHECK2(1, "here %s %s %s", "are", "some", "varargs2(4)\n");

    // always invokes printf in the macro
    CHECK3("here %s %s %s", "are", "some", "varargs3(5)\n");

    MACRO("hello, world\n");

    MACRO("error\n", EMPTY); // would cause error C2059, except VC++ 
                             // suppresses the trailing comma
}

出力

here are some varargs1(1)
here are some varargs2(4)
here are some varargs3(5)
hello, world
error
1
Giffyguy